Searched refs:VMCS_EXIT_REASON (Results 1 – 3 of 3) sorted by relevance
153 #define VMCS_EXIT_REASON 0x00004402 macro
2943 (vmcs_read(VMCS_EXIT_REASON) & BASIC_EXIT_REASON_MASK); in vmx_run()
2090 error = vm_get_vmcs_field(vcpu, VMCS_EXIT_REASON, in main()