diff --git a/kernel/include/hfi1/ihk_hfi1_common.h b/kernel/include/hfi1/ihk_hfi1_common.h
index 12e2b43d..91f5fa7d 100644
--- a/kernel/include/hfi1/ihk_hfi1_common.h
+++ b/kernel/include/hfi1/ihk_hfi1_common.h
@@ -9,6 +9,7 @@
 #include <arch-lock.h>
 #include <page.h>
 #include <string.h>
+#include <lwk/stddef.h>
 
 //#define VERBOSE_DEBUG
 
@@ -220,8 +221,6 @@ typedef unsigned int uint;
 
 /* TODO: There should be a header file that I can include */
 typedef _Bool bool;
-#define false 0
-#define true !false
 
 /* TODO: double check this typedef */
 typedef u64 dma_addr_t;