| /kernel/trunk/arch/ia32/src/proc/scheduler.c |
|---|
| 40,11 → 40,13 |
| #ifdef CONFIG_DEBUG_AS_WATCHPOINT |
| /* Set watchpoint on AS to ensure that nobody sets it to zero */ |
| if (CPU->id < BKPOINTS_MAX) |
| breakpoint_add(&((the_t *) THREAD->kstack)->as, |
| BKPOINT_WRITE | BKPOINT_CHECK_ZERO, |
| CPU->id); |
| static int old_slot = -1; |
| if (old_slot >=0) |
| breakpoint_del(old_slot); |
| old_slot = breakpoint_add(&((the_t *) THREAD->kstack)->as, |
| BKPOINT_WRITE | BKPOINT_CHECK_ZERO); |
| #endif |
| } |
| void after_thread_ran_arch(void) |