Searched refs:idt_vectoring_info (Results 1 – 2 of 2) sorted by relevance
4767 vect_info = vmx->idt_vectoring_info; in handle_exception_nmi()5224 idt_v = (vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK); in handle_task_switch()5225 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()5226 type = (vmx->idt_vectoring_info & VECTORING_INFO_TYPE_MASK); in handle_task_switch()5242 if (vmx->idt_vectoring_info & in handle_task_switch()5286 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_ept_violation()5508 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_pml_full()5643 *info2 = vmx->idt_vectoring_info; in vmx_get_exit_info()5895 u32 vectoring_info = vmx->idt_vectoring_info; in __vmx_handle_exit()6423 idtv_info_valid = vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK; in vmx_recover_nmi_blocking()[all …]
243 u32 idt_vectoring_info; member