TSR_IDT_GATE
return (TSR_IDT_GATE);
if (ts->reason == TSR_IDT_GATE) {
assert(task_switch->reason == TSR_IDT_GATE);
if (task_switch->reason == TSR_IDT_GATE) {