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