Searched refs:idt_vectoring_info (Results 1 – 1 of 1) sorted by relevance
538 u32 idt_vectoring_info; member5469 vect_info = vmx->idt_vectoring_info; in handle_exception()6063 idt_v = (vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK); in handle_task_switch()6064 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()6065 type = (vmx->idt_vectoring_info & VECTORING_INFO_TYPE_MASK); in handle_task_switch()6081 if (vmx->idt_vectoring_info & in handle_task_switch()6147 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_ept_violation()7571 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_pml_full()7820 vmx->idt_vectoring_info, in nested_vmx_exit_handled()8187 u32 vectoring_info = vmx->idt_vectoring_info; in vmx_handle_exit()[all …]