Searched refs:xMSR (Results 1 – 2 of 2) sorted by relevance
71 u64 xMSR; // Machine State Register 300-307 member
1212 printf(" Saved Msr =%.16lx Saved Nia =%.16lx \n", ptrLpRegSave->xMSR, ptrLpRegSave->xNIA); in super_regs()