Searched refs:VMCS_ENTRY_CTLS (Results 1 – 3 of 3) sorted by relevance
141 #define VMCS_ENTRY_CTLS 0x00004012 macro
840 vmcs_write(VMCS_ENTRY_CTLS, entry_ctls); in vmx_vminit()1678 ctrl = vmcs_read(VMCS_ENTRY_CTLS); in vmx_sync_efer_state()1684 vmcs_write(VMCS_ENTRY_CTLS, ctrl); in vmx_sync_efer_state()
847 error = vm_get_vmcs_field(vcpu, VMCS_ENTRY_CTLS, &ctl); in get_misc_vmcs()