77,78c77,79
< xc->getCpuPtr()->kernelStats->setIdleProcess(
< xc->readMiscReg(AlphaISA::IPR_PALtemp23), xc);
---
> if (xc->getKernelStats())
> xc->getKernelStats()->setIdleProcess(
> xc->readMiscReg(AlphaISA::IPR_PALtemp23), xc);
85c86,87
< xc->getCpuPtr()->kernelStats->mode(Kernel::interrupt, xc);
---
> if (xc->getKernelStats())
> xc->getKernelStats()->mode(Kernel::interrupt, xc);
93c95,96
< xc->getCpuPtr()->kernelStats->mode(Kernel::kernel, xc);
---
> if (xc->getKernelStats())
> xc->getKernelStats()->mode(Kernel::kernel, xc);