rcr3
cr3 = rcr3();
db_printf("cr3\t0x%016lx\n", rcr3());
cr3 = rcr3();
cr3 = rcr3();
cr3 = rcr3();
KPML4phys = rcr3() & 0xfffff000; /* pml4 from loader must be < 4G */
load_cr3(rcr3());
vmcs_write(VMCS_HOST_CR3, rcr3());
db_printf("cr3\t0x%08x\n", rcr3());
load_cr3(rcr3()); /* invalidate TLB */
load_cr3(rcr3());