Changes in kernel/generic/include/time/clock.h [96b02eb9:4b662f8c] in mainline

File:

• kernel/generic/include/time/clock.h (modified) (1 diff)

kernel/generic/include/time/clock.h

@@ -36 +36 @@
 #define KERN_CLOCK_H_
 
-#include <typedefs.h>
+#include <arch/types.h>
 
-#define HZ  100
+#define HZ              100
 
 /** Uptime structure */
 typedef struct {
-        sysarg_t seconds1;
-        sysarg_t useconds;
-        sysarg_t seconds2;
+        unative_t seconds1;
+        unative_t useconds;
+        unative_t seconds2;
 } uptime_t;