Searched refs:VMCS_EXIT_REASON (Results 1 – 2 of 2) sorted by relevance
98 #define vmcs_exit_reason() (vmcs_read(VMCS_EXIT_REASON) & 0xffff)200 #define VMCS_EXIT_REASON 0x00004402 macro
599 exit = vmcs_read(VMCS_EXIT_REASON); in DB_SHOW_COMMAND()