diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/mutex.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/mutex.c b/kernel/mutex.c index ff56dc04f648..e980a5b64227 100644 --- a/kernel/mutex.c +++ b/kernel/mutex.c | |||
| @@ -24,6 +24,8 @@ | |||
| 24 | #include <linux/interrupt.h> | 24 | #include <linux/interrupt.h> |
| 25 | #include <linux/debug_locks.h> | 25 | #include <linux/debug_locks.h> |
| 26 | 26 | ||
| 27 | #include <litmus/litmus.h> | ||
| 28 | |||
| 27 | /* | 29 | /* |
| 28 | * In the DEBUG case we are using the "NULL fastpath" for mutexes, | 30 | * In the DEBUG case we are using the "NULL fastpath" for mutexes, |
| 29 | * which forces all calls into the slowpath: | 31 | * which forces all calls into the slowpath: |