Rev 1970 | Rev 3120 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1970 | Rev 2967 | ||
|---|---|---|---|
| Line 540... | Line 540... | ||
| 540 | # define might_lock(lock) do { } while (0) |
540 | # define might_lock(lock) do { } while (0) |
| 541 | # define might_lock_read(lock) do { } while (0) |
541 | # define might_lock_read(lock) do { } while (0) |
| 542 | #endif |
542 | #endif |
| Line 543... | Line 543... | ||
| 543 | 543 | ||
| 544 | #ifdef CONFIG_PROVE_RCU |
544 | #ifdef CONFIG_PROVE_RCU |
| 545 | extern void lockdep_rcu_dereference(const char *file, const int line); |
545 | void lockdep_rcu_suspicious(const char *file, const int line, const char *s); |
| Line 546... | Line 546... | ||
| 546 | #endif |
546 | #endif |