VCPU_REGS_EFER
msrs[VCPU_REGS_EFER] = vmcb->v_efer;
vmcb->v_efer |= msrs[VCPU_REGS_EFER];
if (vrs->vrs_msrs[VCPU_REGS_EFER] & EFER_LMA)
!(vrs->vrs_msrs[VCPU_REGS_EFER] & EFER_LMA)) {
msr_store[VCPU_REGS_EFER].vms_index = MSR_EFER;
if (vrs.vrs_msrs[VCPU_REGS_EFER] & EFER_LMA) {
efer = msr_store[VCPU_REGS_EFER].vms_data;
if (msr_store[VCPU_REGS_EFER].vms_data & EFER_LME)
vrs->vrs_msrs[VCPU_REGS_EFER] = 0ULL;
efer = vrs->vrs_msrs[VCPU_REGS_EFER];
if (vrs->vrs_msrs[VCPU_REGS_EFER] & EFER_LMA) {
.vrs_msrs[VCPU_REGS_EFER] = 0ULL,
.vrs_msrs[VCPU_REGS_EFER] = EFER_LME | EFER_LMA,