Changes in kernel/generic/src/time/clock.c [8cbf1c3:b0c2075] in mainline

File:

• kernel/generic/src/time/clock.c (modified) (1 diff)

kernel/generic/src/time/clock.c

@@ -81 +81 @@
 void clock_counter_init(void)
 {
-        uintptr_t faddr = frame_alloc(ONE_FRAME, FRAME_ATOMIC, 0);
+        uintptr_t faddr = frame_alloc(1, FRAME_ATOMIC, 0);
         if (faddr == 0)
                 panic("Cannot allocate page for clock.");