Searched refs:idt_vectoring_info (Results 1 – 2 of 2) sorted by relevance
4745 vect_info = vmx->idt_vectoring_info; in handle_exception_nmi()5202 idt_v = (vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK); in handle_task_switch()5204 type = (vmx->idt_vectoring_info & VECTORING_INFO_TYPE_MASK); in handle_task_switch()5220 if (vmx->idt_vectoring_info & in handle_task_switch()5617 *info2 = vmx->idt_vectoring_info; in vmx_get_exit_info()5869 u32 vectoring_info = vmx->idt_vectoring_info; in __vmx_handle_exit()6459 u32 idt_vectoring_info, in __vmx_complete_interrupts() argument6478 vector = idt_vectoring_info & VECTORING_INFO_VECTOR_MASK; in __vmx_complete_interrupts()6479 type = idt_vectoring_info & VECTORING_INFO_TYPE_MASK; in __vmx_complete_interrupts()6495 if (idt_vectoring_info & VECTORING_INFO_DELIVER_CODE_MASK) { in __vmx_complete_interrupts()[all …]
253 u32 idt_vectoring_info; member
Completed in 19 milliseconds