diff --git a/include/sbi/sbi_types.h b/include/sbi/sbi_types.h
index b59a6ff5..153c1850 100644
--- a/include/sbi/sbi_types.h
+++ b/include/sbi/sbi_types.h
@@ -56,6 +56,8 @@ typedef unsigned long		physical_size_t;
 
 #define TRUE			1
 #define FALSE			0
+#define true			TRUE
+#define false			FALSE
 
 #define NULL			((void *)0)