diff options
-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 98449b0..ca874ff 100644 --- a/src/kernel_iface.c +++ b/src/kernel_iface.c | |||
@@ -88,7 +88,7 @@ int init_kernel_iface(void) | |||
88 | long page_size = sysconf(_SC_PAGESIZE); | 88 | long page_size = sysconf(_SC_PAGESIZE); |
89 | void* mapped_at = NULL; | 89 | void* mapped_at = NULL; |
90 | 90 | ||
91 | BUILD_BUG_ON(sizeof(union np_flag) != sizeof(uint64_t)); | 91 | BUILD_BUG_ON(sizeof(union np_flag) != sizeof(uint32_t)); |
92 | 92 | ||
93 | BUILD_BUG_ON(offsetof(struct control_page, sched.raw) | 93 | BUILD_BUG_ON(offsetof(struct control_page, sched.raw) |
94 | != LITMUS_CP_OFFSET_SCHED); | 94 | != LITMUS_CP_OFFSET_SCHED); |