Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 47607932cbd36ab7b6c155cdf94805b947d98d82)
+++ kernel/generic/src/main/main.c	(revision 151c0503e1c1b615f0f4fe97cc31a4dfe16b78df)
@@ -285,8 +285,8 @@
 
 	/*
-	 * 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,5 +356,5 @@
 
 	semaphore_up(&ap_completion_semaphore);
-	scheduler();
+	scheduler_run();
 	/* not reached */
 }