|
|
| version 1.22, 2011/01/15 17:17:23 | version 1.24, 2011/12/17 02:23:35 |
|---|---|
| Line 277 interrupt(int num, int intrtype, int err | Line 277 interrupt(int num, int intrtype, int err |
| VERBOSE(("interrupt: gate descripter is invalid.")); | VERBOSE(("interrupt: gate descripter is invalid.")); |
| EXCEPTION(GP_EXCEPTION, exc_errcode); | EXCEPTION(GP_EXCEPTION, exc_errcode); |
| } | } |
| if (!SEG_IS_PRESENT(&gsd)) { | |
| VERBOSE(("interrupt: gate descriptor is not present.")); | |
| EXCEPTION(GP_EXCEPTION, exc_errcode); | |
| } | |
| if (!SEG_IS_SYSTEM(&gsd)) { | if (!SEG_IS_SYSTEM(&gsd)) { |
| VERBOSE(("interrupt: gate descriptor is not system segment.")); | VERBOSE(("interrupt: gate descriptor is not system segment.")); |
| EXCEPTION(GP_EXCEPTION, exc_errcode); | EXCEPTION(GP_EXCEPTION, exc_errcode); |
| Line 300 interrupt(int num, int intrtype, int err | Line 296 interrupt(int num, int intrtype, int err |
| break; | break; |
| } | } |
| if (gsd.dpl < CPU_STAT_CPL) { | |
| VERBOSE(("interrupt: gate DPL(%d) < CPL(%d)", gsd.dpl, CPU_STAT_CPL)); | |
| EXCEPTION(GP_EXCEPTION, exc_errcode); | |
| } | |
| /* 5.10.1.1. 例外/割り込みハンドラ・プロシージャの保護 */ | /* 5.10.1.1. 例外/割り込みハンドラ・プロシージャの保護 */ |
| if ((intrtype != INTR_TYPE_EXTINTR) && (gsd.dpl < CPU_STAT_CPL)) { | if ((intrtype != INTR_TYPE_EXTINTR) && (gsd.dpl < CPU_STAT_CPL)) { |
| VERBOSE(("interrupt: intrtype && DPL(%d) < CPL(%d)", gsd.dpl, CPU_STAT_CPL)); | VERBOSE(("interrupt: intrtype && DPL(%d) < CPL(%d)", gsd.dpl, CPU_STAT_CPL)); |
| EXCEPTION(GP_EXCEPTION, exc_errcode); | EXCEPTION(GP_EXCEPTION, exc_errcode); |
| } | } |
| if (!SEG_IS_PRESENT(&gsd)) { | |
| VERBOSE(("interrupt: gate descriptor is not present.")); | |
| EXCEPTION(NP_EXCEPTION, exc_errcode); | |
| } | |
| if (!intrtype && CPU_STAT_HLT) { | if (!intrtype && CPU_STAT_HLT) { |
| CPU_EIP++; | CPU_EIP++; |
| CPU_STAT_HLT = 0; | CPU_STAT_HLT = 0; |
| Line 345 interrupt_task_gate(const descriptor_t * | Line 341 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")); |