Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision 74c579084c8b9609f2f13a636f829296ce55ddfe)
+++ kernel/generic/include/typedefs.h	(revision 7e1f9b7138c76a3ff70800594a3cae2de37a1c43)
@@ -40,5 +40,5 @@
 #include <arch/types.h>
 
-#define NULL  0UL
+#define NULL	((void *) 0)
 
 #define false  0