Rev 3578 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3578 | Rev 4490 | ||
|---|---|---|---|
| Line 105... | Line 105... | ||
| 105 | #ifdef CONFIG_DEBUG_SPINLOCK |
105 | #ifdef CONFIG_DEBUG_SPINLOCK |
| 106 | 106 | ||
| 107 | extern int printf(const char *, ...); |
107 | extern int printf(const char *, ...); |
| 108 | 108 | ||
| 109 | #define DEADLOCK_THRESHOLD 100000000 |
109 | #define DEADLOCK_THRESHOLD 100000000 |
| 110 | #define DEADLOCK_PROBE_INIT(pname) count_t pname = 0 |
110 | #define DEADLOCK_PROBE_INIT(pname) size_t pname = 0 |
| 111 | #define DEADLOCK_PROBE(pname, value) \ |
111 | #define DEADLOCK_PROBE(pname, value) \ |
| 112 | if ((pname)++ > (value)) { \ |
112 | if ((pname)++ > (value)) { \ |
| 113 | (pname) = 0; \ |
113 | (pname) = 0; \ |
| 114 | printf("Deadlock probe %s: exceeded threshold %u\n", \ |
114 | printf("Deadlock probe %s: exceeded threshold %u\n", \ |
| 115 | "cpu%u: function=%s, line=%u\n", \ |
115 | "cpu%u: function=%s, line=%u\n", \ |