diff options
Diffstat (limited to 'src/kernel_iface.c')
| -rw-r--r-- | src/kernel_iface.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/kernel_iface.c b/src/kernel_iface.c index afb6202..25e0cea 100644 --- a/src/kernel_iface.c +++ b/src/kernel_iface.c | |||
| @@ -8,7 +8,7 @@ | |||
| 8 | 8 | ||
| 9 | #include "litmus.h" | 9 | #include "litmus.h" |
| 10 | #include "internal.h" | 10 | #include "internal.h" |
| 11 | #include "asm.h" | 11 | #include "asm/atomic.h" |
| 12 | 12 | ||
| 13 | #define LITMUS_CTRL_DEVICE "/dev/litmus/ctrl" | 13 | #define LITMUS_CTRL_DEVICE "/dev/litmus/ctrl" |
| 14 | #define CTRL_PAGES 1 | 14 | #define CTRL_PAGES 1 |