|
|
| version 1.27, 2011/12/20 09:03:28 | version 1.28, 2011/12/20 09:55:07 |
|---|---|
| Line 466 task_switch(selector_t *task_sel, task_s | Line 466 task_switch(selector_t *task_sel, task_s |
| EXCEPTION(TS_EXCEPTION, ldtr_sel.idx); | EXCEPTION(TS_EXCEPTION, ldtr_sel.idx); |
| } | } |
| /* invalidate segreg, ldtr descriptor */ | |
| for (i = 0; i < CPU_SEGREG_NUM; i++) { | |
| CPU_STAT_SREG(i).valid = 0; | |
| } | |
| CPU_LDTR_DESC.valid = 0; | |
| /* set new CR3 */ | /* set new CR3 */ |
| if (!task16 && CPU_STAT_PAGING) { | if (!task16 && CPU_STAT_PAGING) { |
| set_cr3(cr3); | set_cr3(cr3); |