Index: kernel/generic/src/sysinfo/sysinfo.c
===================================================================
--- kernel/generic/src/sysinfo/sysinfo.c	(revision 9dae191e774f517d5430fc726e4aef5787b1fcd0)
+++ kernel/generic/src/sysinfo/sysinfo.c	(revision a80687e5d0c412f3bad3c9783431cf59986f9006)
@@ -38,4 +38,5 @@
 #include <syscall/copy.h>
 #include <synch/spinlock.h>
+#include <arch/asm.h>
 #include <errno.h>