Searched refs:idt_vectoring_info (Results 1 – 2 of 2) sorted by relevance
5178 vect_info = vmx->idt_vectoring_info; in handle_exception_nmi()5685 idt_v = (vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK); in handle_task_switch()5687 type = (vmx->idt_vectoring_info & VECTORING_INFO_TYPE_MASK); in handle_task_switch()5703 if (vmx->idt_vectoring_info & in handle_task_switch()6142 *info2 = vmx->idt_vectoring_info; in vmx_get_exit_info()6403 u32 vectoring_info = vmx->idt_vectoring_info; in __vmx_handle_exit()7012 u32 idt_vectoring_info, in __vmx_complete_interrupts() argument7031 vector = idt_vectoring_info & VECTORING_INFO_VECTOR_MASK; in __vmx_complete_interrupts()7032 type = idt_vectoring_info & VECTORING_INFO_TYPE_MASK; in __vmx_complete_interrupts()7048 if (idt_vectoring_info & VECTORING_INFO_DELIVER_CODE_MASK) { in __vmx_complete_interrupts()[all …]
277 u32 idt_vectoring_info; member
Completed in 22 milliseconds