VCPU_REGS_CR3
if (vmread(VMCS_GUEST_IA32_CR3, &crs[VCPU_REGS_CR3]))
crs[VCPU_REGS_CR3] = vmcb->v_cr3;
if (vmwrite(VMCS_GUEST_IA32_CR3, crs[VCPU_REGS_CR3]))
vmcb->v_cr3 = crs[VCPU_REGS_CR3];
cr3 = vrs->vrs_crs[VCPU_REGS_CR3];
vrs.vrs_crs[VCPU_REGS_CR0], vrs.vrs_crs[VCPU_REGS_CR3]);
pt_paddr = vrs.vrs_crs[VCPU_REGS_CR3];
vrs->vrs_crs[VCPU_REGS_CR3] = 0ULL;
pt_paddr = vrs->vrs_crs[VCPU_REGS_CR3];
vrs->vrs_crs[VCPU_REGS_CR0], vrs->vrs_crs[VCPU_REGS_CR3]);
.vrs_crs[VCPU_REGS_CR3] = 0,
.vrs_crs[VCPU_REGS_CR3] = PML4_PAGE,