diff options
| author | Remy Noel <mocramis@gmail.com> | 2018-05-03 16:15:28 +0200 |
|---|---|---|
| committer | Remy Noel <mocramis@gmail.com> | 2018-05-03 16:15:28 +0200 |
| commit | 58c17bd912ec450f8132597cdba6afd300a63586 (patch) | |
| tree | bc78f8d7fc585e4d4762daccf9cbd62f95791ceb /kern/rtmutex.c | |
| parent | bf16bb3d761063aee9ee2b20aba15a7267d473ac (diff) | |
| parent | 7769b9765c40a78b8af2568161da404e4e22a77c (diff) | |
Merge branch 'master' into perfmon
Diffstat (limited to 'kern/rtmutex.c')
| -rw-r--r-- | kern/rtmutex.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/rtmutex.c b/kern/rtmutex.c index 6567b06..10482d5 100644 --- a/kern/rtmutex.c +++ b/kern/rtmutex.c @@ -26,6 +26,7 @@ #include <kern/rtmutex.h> #include <kern/rtmutex_i.h> #include <kern/rtmutex_types.h> +#include <kern/syscnt.h> #include <kern/thread.h> #include <kern/turnstile.h> |