rcr4
load_cr4(rcr4() & ~CR4_LASS);
load_cr4(rcr4() | CR4_LASS);
cr4 = rcr4();
cr4 = rcr4();
db_printf("cr4\t0x%016lx\n", rcr4());
if (rcr4() & CR4_XSAVE)
cr4 = rcr4();
cr4 = rcr4();
cr4 = rcr4();
load_cr4(rcr4() | CR4_PCIDE);
cr4 = rcr4();
cr4 = rcr4();
load_cr4(rcr4() | CR4_XSAVE);
load_cr4(rcr4() & ~CR4_VMXE);
load_cr4(rcr4() | CR4_VMXE);
if (rcr4() & CR4_XSAVE)
if (rcr4() & CR4_XSAVE) {
vmm_host_cr4 = rcr4() | CR4_PGE;
load_cr4(rcr4() | CR4_PCE);
load_cr4(rcr4() & ~CR4_PCE);
load_cr4(rcr4() | CR4_PCE);
PMCDBG1(MDP,SWI,1, "cr4=0x%jx", (uintmax_t) rcr4());
(uintmax_t) rcr4());
load_cr4(rcr4() & ~CR4_PCE);
load_cr4(rcr4() | CR4_FXSR | CR4_XMM);
db_printf("cr4\t0x%08x\n", rcr4());
if (rcr4() & CR4_XSAVE)
load_cr4(rcr4() | CR4_XSAVE);
load_cr4(rcr4() | ncr4);
cr4 = rcr4();
ext->ext_vm86.vm86_has_vme = (rcr4() & CR4_VME ? 1 : 0);
ext->ext_vm86.vm86_has_vme = (rcr4() & CR4_VME ? 1 : 0);
vm86->vm86_has_vme = (rcr4() & CR4_VME ? 1 : 0);
load_cr4(rcr4() | CR4_VME);
load_cr4(rcr4() & ~CR4_VME);
sa.state = (rcr4() & CR4_VME ? 1 : 0);
load_cr4(rcr4() | CR4_MCE);
load_cr4(rcr4() | CR4_PCIDE);
cr4 = rcr4();