Changes in kernel/generic/src/time/clock.c [b0c2075:9d58539] in mainline

File:

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

kernel/generic/src/time/clock.c

@@ -81 +81 @@
 void clock_counter_init(void)
 {
-        uintptr_t faddr = frame_alloc(1, FRAME_ATOMIC, 0);
-        if (faddr == 0)
+        void *faddr = frame_alloc(ONE_FRAME, FRAME_ATOMIC);
+        if (!faddr)
                 panic("Cannot allocate page for clock.");
         
@@ -91 +91 @@
         uptime->useconds = 0;
         
-        clock_parea.pbase = faddr;
+        clock_parea.pbase = (uintptr_t) faddr;
         clock_parea.frames = 1;
         clock_parea.unpriv = true;