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", \ |