Searched refs:TSR_IDT_GATE (Results 1 – 3 of 3) sorted by relevance
896 assert(task_switch->reason == TSR_IDT_GATE); in vmexit_task_switch()932 if (task_switch->reason == TSR_IDT_GATE) { in vmexit_task_switch()
595 TSR_IDT_GATE, /* task gate in IDT */ enumerator
2287 return (TSR_IDT_GATE); in vmx_task_switch_reason()2442 if (ts->reason == TSR_IDT_GATE) { in vmx_exit_process()