|
|
| version 1.35, 2012/02/07 08:01:03 | version 1.36, 2012/02/07 08:01:55 |
|---|---|
| Line 378 task_switch(selector_t *task_sel, task_s | Line 378 task_switch(selector_t *task_sel, task_s |
| #if defined(MORE_DEBUG) | #if defined(MORE_DEBUG) |
| VERBOSE(("task_switch: current task")); | VERBOSE(("task_switch: current task")); |
| for (i = 0; i < CPU_TR_LIMIT; i += 4) { | for (i = 0; i < CPU_TR_LIMIT; i += 4) { |
| v = cpu_memoryread_d(cur_paddr + i); | |
| VERBOSE(("task_switch: 0x%08x: %08x", cur_base + i, | VERBOSE(("task_switch: 0x%08x: %08x", cur_base + i, |
| cpu_memoryread_d(cur_paddr + i))); | cpu_memoryread_d(cur_paddr + i))); |
| } | } |