|
|
| version 1.18, 2004/03/23 15:29:34 | version 1.19, 2004/03/24 14:34:23 |
|---|---|
| Line 225 task_switch(selector_t *task_sel, task_s | Line 225 task_switch(selector_t *task_sel, task_s |
| if (CPU_STAT_PAGING) { | if (CPU_STAT_PAGING) { |
| /* task state paging check */ | /* task state paging check */ |
| paging_check(cur_base, CPU_TR_DESC.u.seg.limit, CPU_PAGE_WRITE_DATA, CPU_MODE_SUPERVISER); | paging_check(cur_base, CPU_TR_DESC.u.seg.limit, CPU_PAGE_WRITE_DATA|CPU_MODE_SUPERVISER); |
| paging_check(task_base, task_sel->desc.u.seg.limit, CPU_PAGE_WRITE_DATA, CPU_MODE_SUPERVISER); | paging_check(task_base, task_sel->desc.u.seg.limit, CPU_PAGE_WRITE_DATA|CPU_MODE_SUPERVISER); |
| } | } |
| /* load task state */ | /* load task state */ |