| 73,7 → 73,6 |
|---|
| * @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; |
| 84,7 → 83,7 |
|---|
| while (test_and_set(&sl->val)) { |
| |
| /* |
| * We need to be careful about printflock and fb_lock. |
| * We need to be careful about printf_lock and fb_lock. |
| * Both of them are used to report deadlocks via |
| * printf() and fb_putchar(). |
| * |
| 94,13 → 93,13 |
|---|
| * However, we encountered false positives caused by very |
| * slow VESA framebuffer interaction (especially when |
| * run in a simulator) that caused problems with both |
| * printflock and fb_lock. |
| * printf_lock and fb_lock. |
| * |
| * Possible deadlocks on both printflock and fb_lock |
| * Possible deadlocks on both printf_lock and fb_lock |
| * are therefore not reported as they would cause an |
| * infinite recursion. |
| */ |
| if (sl == &printflock) |
| if (sl == &printf_lock) |
| continue; |
| #ifdef CONFIG_FB |
| if (sl == &fb_lock) |