Searched refs:VMCS_EXIT_REASON (Results 1 – 3 of 3) sorted by relevance
87 #define vmcs_exit_reason() (vmcs_read(VMCS_EXIT_REASON) & 0xffff)189 #define VMCS_EXIT_REASON 0x00004402 macro
475 exit = vmcs_read(VMCS_EXIT_REASON); in DB_SHOW_COMMAND()
2202 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_REASON, in main()