| 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); |