IDT_TS
sel_exception(vcpu, IDT_TS, sel, ts->ext);
sel_exception(vcpu, IDT_TS, sel, ts->ext);
sel_exception(vcpu, IDT_TS, sel, ts->ext);
sel_exception(vcpu, IDT_TS, sel, ts->ext);
sel_exception(vcpu, IDT_TS, sel, ts->ext);
idtvec = IDT_TS;
sel_exception(vcpu, IDT_TS, sel, ts->ext);
sel_exception(vcpu, IDT_TS, sel, ts->ext);
sel_exception(vcpu, IDT_TS, sel, ts->ext);
sel_exception(vcpu, IDT_TS, nt_sel, ext);
sel_exception(vcpu, IDT_TS, nt_sel, ext);
sel_exception(vcpu, IDT_TS, nt_sel, ext);
sel_exception(vcpu, IDT_TS, ot_sel, task_switch->ext);
case IDT_TS:
case IDT_TS: