Searched refs:idt_index (Results 1 – 1 of 1) sorted by relevance
5922 int reason, type, idt_v, idt_index; in handle_task_switch() local5925 idt_index = (vmx->idt_vectoring_info & VECTORING_INFO_VECTOR_MASK); in handle_task_switch()5968 type == INTR_TYPE_SOFT_INTR ? idt_index : -1, in handle_task_switch()