| /branches/dd/kernel/generic/include/synch/futex.h |
|---|
| 49,7 → 49,7 |
| /** Futex hash table link. */ |
| link_t ht_link; |
| /** Number of tasks that reference this futex. */ |
| count_t refcount; |
| size_t refcount; |
| } futex_t; |
| extern void futex_init(void); |
| /branches/dd/kernel/generic/include/synch/rwlock.h |
|---|
| 53,7 → 53,7 |
| */ |
| mutex_t exclusive; |
| /** Number of readers in critical section. */ |
| count_t readers_in; |
| size_t readers_in; |
| } rwlock_t; |
| #define rwlock_write_lock(rwl) \ |
| /branches/dd/kernel/generic/include/synch/spinlock.h |
|---|
| 107,7 → 107,7 |
| extern int printf(const char *, ...); |
| #define DEADLOCK_THRESHOLD 100000000 |
| #define DEADLOCK_PROBE_INIT(pname) count_t pname = 0 |
| #define DEADLOCK_PROBE_INIT(pname) size_t pname = 0 |
| #define DEADLOCK_PROBE(pname, value) \ |
| if ((pname)++ > (value)) { \ |
| (pname) = 0; \ |