Changes in kernel/generic/src/main/main.c [4760793:151c050] in mainline

File:

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

kernel/generic/src/main/main.c

@@ -285 +285 @@
 
         /*
-         * This call to scheduler() will return to kinit,
+         * This call to scheduler_run() will return to kinit,
          * starting the thread of kernel threads.
          */
-        scheduler();
+        scheduler_run();
         /* not reached */
 }
@@ -356 +356 @@
 
         semaphore_up(&ap_completion_semaphore);
-        scheduler();
+        scheduler_run();
         /* not reached */
 }