VM_ENTRY_IA32E_MODE
VM_ENTRY_IA32E_MODE | \
else if (vmcs12->vm_entry_controls & VM_ENTRY_IA32E_MODE)
exec_control &= ~(VM_ENTRY_IA32E_MODE | VM_ENTRY_LOAD_IA32_EFER);
exec_control |= VM_ENTRY_IA32E_MODE;
if (CC(vmcs12->vm_entry_controls & VM_ENTRY_IA32E_MODE) ||
bool ia32e = !!(vmcs12->vm_entry_controls & VM_ENTRY_IA32E_MODE);
(vmcs12->vm_entry_controls & ~VM_ENTRY_IA32E_MODE) |
(vm_entry_controls_get(to_vmx(vcpu)) & VM_ENTRY_IA32E_MODE);
VM_ENTRY_IA32E_MODE |
vm_entry_controls_setbit(vmx, VM_ENTRY_IA32E_MODE);
vm_entry_controls_clearbit(vmx, VM_ENTRY_IA32E_MODE);
VM_ENTRY_IA32E_MODE);
else if (vmentry_ctl & VM_ENTRY_IA32E_MODE)
VM_ENTRY_IA32E_MODE)
VM_ENTRY_IA32E_MODE); /* 64-bit guest */