Searched refs:idt_vectoring_info (Results 1 – 1 of 1) sorted by relevance
526 u32 idt_vectoring_info; member5230 vect_info = vmx->idt_vectoring_info; in handle_exception()5821 idt_v = (vmx->idt_vectoring_info & VECTORING_INFO_VALID_MASK); in handle_task_switch()5822 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()5823 type = (vmx->idt_vectoring_info & VECTORING_INFO_TYPE_MASK); in handle_task_switch()5839 if (vmx->idt_vectoring_info & in handle_task_switch()5905 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_ept_violation()7457 if (!(to_vmx(vcpu)->idt_vectoring_info & VECTORING_INFO_VALID_MASK) && in handle_pml_full()7709 vmx->idt_vectoring_info, in nested_vmx_exit_handled()8078 u32 vectoring_info = vmx->idt_vectoring_info; in vmx_handle_exit()[all …]