Searched refs:VMCS_EXIT_CTLS (Results 1 – 3 of 3) sorted by relevance
138 #define VMCS_EXIT_CTLS 0x0000400C macro
839 vmcs_write(VMCS_EXIT_CTLS, exit_ctls); in vmx_vminit()
841 error = vm_get_vmcs_field(vcpu, VMCS_EXIT_CTLS, &ctl); in get_misc_vmcs()