|
|
| version 1.21, 2008/01/25 17:49:46 | version 1.22, 2008/01/25 18:12:13 |
|---|---|
| Line 414 task_switch(selector_t *task_sel, task_s | Line 414 task_switch(selector_t *task_sel, task_s |
| /* set new EIP, GPR */ | /* set new EIP, GPR */ |
| CPU_PREV_EIP = CPU_EIP = eip; | CPU_PREV_EIP = CPU_EIP = eip; |
| CPU_PREFETCH_CLEAR(); | |
| for (i = 0; i < CPU_REG_NUM; i++) { | for (i = 0; i < CPU_REG_NUM; i++) { |
| CPU_REGS_DWORD(i) = regs[i]; | CPU_REGS_DWORD(i) = regs[i]; |
| } | } |