Lines Matching defs:vmcs_read
77 vmcs_read(uint32_t encoding)
83 KASSERT(error == 0, ("vmcs_read(%u) error %d", encoding, error));
97 #define vmexit_instruction_length() vmcs_read(VMCS_EXIT_INSTRUCTION_LENGTH)
98 #define vmcs_guest_rip() vmcs_read(VMCS_GUEST_RIP)
99 #define vmcs_instruction_error() vmcs_read(VMCS_INSTRUCTION_ERROR)
100 #define vmcs_exit_reason() (vmcs_read(VMCS_EXIT_REASON) & 0xffff)
101 #define vmcs_exit_qualification() vmcs_read(VMCS_EXIT_QUALIFICATION)
102 #define vmcs_guest_cr3() vmcs_read(VMCS_GUEST_CR3)
103 #define vmcs_gpa() vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS)
104 #define vmcs_gla() vmcs_read(VMCS_GUEST_LINEAR_ADDRESS)
105 #define vmcs_idt_vectoring_info() vmcs_read(VMCS_IDT_VECTORING_INFO)
106 #define vmcs_idt_vectoring_err() vmcs_read(VMCS_IDT_VECTORING_ERROR)