| /kernel/trunk/generic/src/synch/spinlock.c |
|---|
| 69,6 → 69,7 |
| * @param sl Pointer to spinlock_t structure. |
| */ |
| #ifdef CONFIG_DEBUG_SPINLOCK |
| #define DEADLOCK_THRESHOLD 100000000 |
| void spinlock_lock_debug(spinlock_t *sl) |
| { |
| count_t i = 0; |
| 101,7 → 102,7 |
| if (sl == &fb_lock) |
| continue; |
| #endif |
| if (i++ > 10000000) { |
| if (i++ > DEADLOCK_THRESHOLD) { |
| printf("cpu%d: looping on spinlock %.*p:%s, caller=%.*p", |
| CPU->id, sizeof(__address) * 2, sl, sl->name, sizeof(__address) * 2, CALLER); |
| symbol = get_symtab_entry(CALLER); |
| /kernel/trunk/arch/ia32/src/smp/apic.c |
|---|
| 171,7 → 171,9 |
| */ |
| void apic_spurious(int n, istate_t *istate) |
| { |
| #ifdef CONFIG_DEBUG |
| printf("cpu%d: APIC spurious interrupt\n", CPU->id); |
| #endif |
| } |
| /** Poll for APIC errors. |
| /kernel/trunk/arch/ia32/src/drivers/i8259.c |
|---|
| 120,5 → 120,7 |
| void pic_spurious(int n, istate_t *istate) |
| { |
| #ifdef CONFIG_DEBUG |
| printf("cpu%d: PIC spurious interrupt\n", CPU->id); |
| #endif |
| } |