Changes in kernel/generic/src/time/clock.c [d0c82c5:96b02eb9] in mainline

File:

• kernel/generic/src/time/clock.c (modified) (2 diffs)

kernel/generic/src/time/clock.c

@@ -70 +70 @@
  *
  */
-static unative_t secfrag = 0;
+static sysarg_t secfrag = 0;
 
 /** Initialize realtime clock counter
@@ -100 +100 @@
          *
          */
-        sysinfo_set_item_val("clock.cacheable", NULL, (unative_t) true);
-        sysinfo_set_item_val("clock.faddr", NULL, (unative_t) faddr);
+        sysinfo_set_item_val("clock.cacheable", NULL, (sysarg_t) true);
+        sysinfo_set_item_val("clock.faddr", NULL, (sysarg_t) faddr);
 }