Searched refs:idt_vectoring_info (Results 1 – 2 of 2) sorted by relevance
5064 vect_info = vmx->idt_vectoring_info; in handle_exception_nmi()5566 idt_v = (vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK); in handle_task_switch()5567 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()5568 type = (vmx->idt_vectoring_info & VECTORING_INFO_TYPE_MASK); in handle_task_switch()5584 if (vmx->idt_vectoring_info & in handle_task_switch()5628 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_ept_violation()5859 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_pml_full()6023 *info2 = vmx->idt_vectoring_info; in vmx_get_exit_info()6284 u32 vectoring_info = vmx->idt_vectoring_info; in __vmx_handle_exit()6867 idtv_info_valid = vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK; in vmx_recover_nmi_blocking()[all …]
277 u32 idt_vectoring_info; member