diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2013-07-05 13:18:26 -0400 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2013-07-05 13:18:26 -0400 |
| commit | b43e13d9190a165cd3a8b8e9e7221eb2a9cc73d7 (patch) | |
| tree | 5d053102b8d3046b22e17d830607e244f4b63e5d /kernel | |
| parent | c1f183501ce70a510a4d9ab98595500904f33705 (diff) | |
make it compilepgm
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: |