74,75c74,76
< xc->getCpuPtr()->kernelStats->setIdleProcess(
< xc->readMiscReg(AlphaISA::IPR_PALtemp23), xc);
---
> if (xc->getKernelStats())
> xc->getKernelStats()->setIdleProcess(
> xc->readMiscReg(AlphaISA::IPR_PALtemp23), xc);
82c83,84
< xc->getCpuPtr()->kernelStats->mode(Kernel::interrupt, xc);
---
> if (xc->getKernelStats())
> xc->getKernelStats()->mode(Kernel::interrupt, xc);
90c92,93
< xc->getCpuPtr()->kernelStats->mode(Kernel::kernel, xc);
---
> if (xc->getKernelStats())
> xc->getKernelStats()->mode(Kernel::kernel, xc);