Searched refs:VMCS_EXIT_REASON (Results 1 – 1 of 1) sorted by relevance
429 #define VMCS_EXIT_REASON 0x00004402 macro2364 exitcode = vmx_vmread(VMCS_EXIT_REASON); in vmx_vcpu_run()