CONFIG_USE_PRINTK_IN_CAR and ht chain id for HTX support in

[coreboot.git] / src / arch / i386 / include / stddef.h

diff --git a/src/arch/i386/include/stddef.h b/src/arch/i386/include/stddef.h
index 4bf6b0a8670b8e418624c70518a13dfd0111acc6..e4fc019c87ac6e38c3d01de9bbe9060caafa1d00 100644 (file)
--- a/src/arch/i386/include/stddef.h
+++ b/src/arch/i386/include/stddef.h
@@ -8,7 +8,7 @@ typedef long ssize_t;
 typedef int wchar_t;
 typedef unsigned int wint_t;
 
-#define NULL 0
+#define NULL ((void *)0)
 
 #define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)