Searched refs:idt_vectoring_info (Results 1 – 2 of 2) sorted by relevance
5201 vect_info = vmx->idt_vectoring_info; in handle_exception_nmi()5707 idt_v = (vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK); in handle_task_switch()5708 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()5709 type = (vmx->idt_vectoring_info & VECTORING_INFO_TYPE_MASK); in handle_task_switch()5725 if (vmx->idt_vectoring_info & in handle_task_switch()5769 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_ept_violation()6000 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_pml_full()6164 *info2 = vmx->idt_vectoring_info; in vmx_get_exit_info()6425 u32 vectoring_info = vmx->idt_vectoring_info; in __vmx_handle_exit()7042 idtv_info_valid = vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK; in vmx_recover_nmi_blocking()[all …]
265 u32 idt_vectoring_info; member