VCPU_REGS_CR4
if (vmread(VMCS_GUEST_IA32_CR4, &crs[VCPU_REGS_CR4]))
crs[VCPU_REGS_CR4] = vmcb->v_cr4;
if (vmwrite(VMCS_GUEST_IA32_CR4, crs[VCPU_REGS_CR4]))
vmcb->v_cr4 = crs[VCPU_REGS_CR4];
cr4 = vrs->vrs_crs[VCPU_REGS_CR4] | CR4_VMXE;
vrs->vrs_crs[VCPU_REGS_CR4] = cr4;
if (vrs.vrs_crs[VCPU_REGS_CR4] & CR4_PAE) {
vrs->vrs_crs[VCPU_REGS_CR4] = 0ULL;
cr4 = vrs->vrs_crs[VCPU_REGS_CR4];
if (vrs->vrs_crs[VCPU_REGS_CR4] & CR4_PAE) {
.vrs_crs[VCPU_REGS_CR4] = CR4_PAE | CR4_PSE,