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