Index: kernel/generic/include/time/clock.h
===================================================================
--- kernel/generic/include/time/clock.h	(revision 4365d108fca11d735aaf46f7098b7f1d5c2cbb52)
+++ kernel/generic/include/time/clock.h	(revision 4f42d52e33ada8d9034f22f9f731bb5660569488)
@@ -36,5 +36,16 @@
 #define KERN_CLOCK_H_
 
+#include <arch/types.h>
+
 #define HZ		100
+
+/** Uptime structure */
+typedef struct {
+	unative_t seconds1;
+	unative_t useconds;
+	unative_t seconds2;
+} uptime_t;
+
+extern uptime_t *uptime;
 
 extern void clock(void);