From 85cc826d76ad8bcfeb675710c49c410583cc86a9 Mon Sep 17 00:00:00 2001 From: Bjoern Brandenburg Date: Sun, 21 Jul 2013 13:35:24 +0200 Subject: Switch NP flag format back to 32 bits (uint32_t) This matches the corresponding change in the kernel. --- src/kernel_iface.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) long page_size = sysconf(_SC_PAGESIZE); void* mapped_at = NULL; - BUILD_BUG_ON(sizeof(union np_flag) != sizeof(uint64_t)); + BUILD_BUG_ON(sizeof(union np_flag) != sizeof(uint32_t)); BUILD_BUG_ON(offsetof(struct control_page, sched.raw) != LITMUS_CP_OFFSET_SCHED); -- cgit v1.2.2