Searched refs:vmcs_idt_vectoring_info (Results 1 – 2 of 2) sorted by relevance
105 #define vmcs_idt_vectoring_info() vmcs_read(VMCS_IDT_VECTORING_INFO) macro
2373 idtvec_info = vmcs_idt_vectoring_info(); in vmx_exit_process()