|
|
| version 1.11, 2004/02/13 14:50:17 | version 1.12, 2004/02/13 15:08:49 |
|---|---|
| Line 1065 IRET_pm_nested_task(void) | Line 1065 IRET_pm_nested_task(void) |
| /* check system segment */ | /* check system segment */ |
| if (tss_sel.desc.s) { | if (tss_sel.desc.s) { |
| VERBOSE(("IRET_pm: task segment is %d segment", tss_sel.desc.u.seg.c ? "code" : "data")); | VERBOSE(("IRET_pm: task segment is %s segment", tss_sel.desc.u.seg.c ? "code" : "data")); |
| EXCEPTION(GP_EXCEPTION, tss_sel.idx); | EXCEPTION(GP_EXCEPTION, tss_sel.idx); |
| } | } |