Searched refs:idt_vectoring_info (Results 1 – 1 of 1) sorted by relevance
959 u32 idt_vectoring_info; member7048 vect_info = vmx->idt_vectoring_info; in handle_exception()7591 idt_v = (vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK); in handle_task_switch()7592 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()7593 type = (vmx->idt_vectoring_info & VECTORING_INFO_TYPE_MASK); in handle_task_switch()7609 if (vmx->idt_vectoring_info & in handle_task_switch()7661 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_ept_violation()9208 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_pml_full()9644 vmx->idt_vectoring_info, in nested_vmx_exit_reflected()10045 u32 vectoring_info = vmx->idt_vectoring_info; in vmx_handle_exit()[all …]
