Searched refs:idt_vectoring_info (Results 1 – 2 of 2) sorted by relevance
5183 vect_info = vmx->idt_vectoring_info; in handle_exception_nmi()5689 idt_v = (vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK); in handle_task_switch()5690 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()5691 type = (vmx->idt_vectoring_info & VECTORING_INFO_TYPE_MASK); in handle_task_switch()5707 if (vmx->idt_vectoring_info & in handle_task_switch()5751 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_ept_violation()5982 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_pml_full()6146 *info2 = vmx->idt_vectoring_info; in vmx_get_exit_info()6407 u32 vectoring_info = vmx->idt_vectoring_info; in __vmx_handle_exit()7024 idtv_info_valid = vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK; in vmx_recover_nmi_blocking()[all …]
265 u32 idt_vectoring_info; member