|
|
| version 1.22, 2011/01/15 17:17:23 | version 1.23, 2011/01/15 18:36:12 |
|---|---|
| Line 345 interrupt_task_gate(const descriptor_t * | Line 345 interrupt_task_gate(const descriptor_t * |
| VERBOSE(("interrupt: TASK-GATE")); | VERBOSE(("interrupt: TASK-GATE")); |
| (void)intrtype; | |
| rv = parse_selector(&task_sel, gsdp->u.gate.selector); | rv = parse_selector(&task_sel, gsdp->u.gate.selector); |
| if (rv < 0 || task_sel.ldt || !SEG_IS_SYSTEM(&task_sel.desc)) { | if (rv < 0 || task_sel.ldt || !SEG_IS_SYSTEM(&task_sel.desc)) { |
| VERBOSE(("interrupt: parse_selector (selector = %04x, rv = %d, %cDT, type = %s)", gsdp->u.gate.selector, rv, task_sel.ldt ? 'L' : 'G', task_sel.desc.s ? "code/data" : "system")); | VERBOSE(("interrupt: parse_selector (selector = %04x, rv = %d, %cDT, type = %s)", gsdp->u.gate.selector, rv, task_sel.ldt ? 'L' : 'G', task_sel.desc.s ? "code/data" : "system")); |