|
|
| version 1.9, 2004/02/05 16:43:44 | version 1.10, 2004/02/06 16:49:51 |
|---|---|
| Line 394 task_switch(selector_t* task_sel, int ty | Line 394 task_switch(selector_t* task_sel, int ty |
| /* set new EFLAGS */ | /* set new EFLAGS */ |
| mask = I_FLAG|IOPL_FLAG|RF_FLAG|VM_FLAG|VIF_FLAG|VIP_FLAG; | mask = I_FLAG|IOPL_FLAG|RF_FLAG|VM_FLAG|VIF_FLAG|VIP_FLAG; |
| set_eflags(new_flags, mask); | if (!task16) { |
| set_eflags(new_flags, mask); | |
| } else { | |
| set_flags(new_flags, mask); | |
| } | |
| /* load new LDTR */ | /* load new LDTR */ |
| load_ldtr(ldtr, TS_EXCEPTION); | load_ldtr(ldtr, TS_EXCEPTION); |