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 /test/test_mutex.c | |
| parent | bf16bb3d761063aee9ee2b20aba15a7267d473ac (diff) | |
| parent | 7769b9765c40a78b8af2568161da404e4e22a77c (diff) | |
Merge branch 'master' into perfmon
Diffstat (limited to 'test/test_mutex.c')
| -rw-r--r-- | test/test_mutex.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/test_mutex.c b/test/test_mutex.c index 684ec1b..49691cf 100644 --- a/test/test_mutex.c +++ b/test/test_mutex.c @@ -38,6 +38,7 @@ #include <kern/log.h> #include <kern/mutex.h> #include <kern/panic.h> +#include <kern/syscnt.h> #include <kern/thread.h> #include <kern/timer.h> #include <test/test.h> |