Searched refs:idt_vectoring_info (Results 1 – 2 of 2) sorted by relevance
4871 vect_info = vmx->idt_vectoring_info; in handle_exception_nmi()5380 idt_v = (vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK); in handle_task_switch()5381 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()5382 type = (vmx->idt_vectoring_info & VECTORING_INFO_TYPE_MASK); in handle_task_switch()5398 if (vmx->idt_vectoring_info & in handle_task_switch()5442 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_ept_violation()5694 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_pml_full()5815 *info2 = vmx->idt_vectoring_info; in vmx_get_exit_info()6056 u32 vectoring_info = vmx->idt_vectoring_info; in vmx_handle_exit()6550 idtv_info_valid = vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK; in vmx_recover_nmi_blocking()[all …]
220 u32 idt_vectoring_info; member