Index: kernel/generic/include/ps/meminfo.h
===================================================================
--- kernel/generic/include/ps/meminfo.h	(revision 516adcede91f3e4a1e790d6a39694d4b25772eb9)
+++ kernel/generic/include/ps/meminfo.h	(revision 30a54709ba36bc519d1ad3075734736c27daf220)
@@ -36,4 +36,10 @@
 #define KERN_PS_MEM_H_
 
+#ifdef KERNEL
+#include <typedefs.h>
+#else
+#include <thread.h>
+#endif
+
 typedef struct {
 	uint64_t total;