Searched refs:VMCS_EXIT_REASON (Results 1 – 3 of 3) sorted by relevance
98 #define vmcs_exit_reason() (vmcs_read(VMCS_EXIT_REASON) & 0xffff)200 #define VMCS_EXIT_REASON 0x00004402 macro
600 exit = vmcs_read(VMCS_EXIT_REASON); in DB_SHOW_COMMAND()
2143 error = vm_get_vmcs_field(vcpu, VMCS_EXIT_REASON, in main()