kernel: make schedinit() _Noreturn void

sys/src/9/arm64/main.c

@@ -170,7 +170,6 @@ main(void)
 		mmu1init();
 		m->ticks = MACHP(0)->ticks;
 		schedinit();
-		return;
 	}
 	uartconsinit();
 	quotefmtinstall();

sys/src/9/bcm/archbcm2.c

@@ -239,5 +239,4 @@ cpustart(int cpu)
 	active.machs[m->machno] = 1;
 	unlock(&startlock[cpu]);
 	schedinit();
-	panic("schedinit returned");
 }

sys/src/9/bcm/main.c

@@ -119,7 +119,6 @@ main(uintptr arg0)
 	launchinit();
 	mmuinit1(0);
 	schedinit();
-	assert(0);			/* shouldn't have returned */
 }
 
 /*

sys/src/9/bcm64/main.c

@@ -171,7 +171,6 @@ main(uintptr arg0)
 		mmu1init();
 		m->ticks = MACHP(0)->ticks;
 		schedinit();
-		return;
 	}
 	quotefmtinstall();
 	bootargsinit(arg0);

sys/src/9/cycv/main.c

@@ -210,7 +210,6 @@ main(void)
 		synccycles();
 		timersinit();
 		schedinit();
-		return;
 	}
 	uartconsinit();
 	mmuinit();

sys/src/9/imx8/main.c

@@ -335,7 +335,6 @@ main(void)
 		mmu1init();
 		m->ticks = MACHP(0)->ticks;
 		schedinit();
-		return;
 	}
 	uartconsinit();
 	quotefmtinstall();

sys/src/9/kw/main.c

@@ -267,7 +267,6 @@ uartputc(' ');
 	pageinit();
 	userinit();
 	schedinit();
-	panic("schedinit returned");
 }
 
 void

sys/src/9/lx2k/main.c

@@ -320,7 +320,6 @@ main(void)
 		mmu1init();
 		m->ticks = MACHP(0)->ticks;
 		schedinit();
-		return;
 	}
 	quotefmtinstall();
 	bootargsinit();

sys/src/9/mt7688/main.c

@@ -147,8 +147,6 @@ main(void)
 	userinit();
 
 	schedinit();
-
-	panic("schedinit returned");
 }
 
 /*

sys/src/9/port/portfns.h

@@ -325,7 +325,7 @@ void		runlock(RWlock*);
 Proc*		runproc(void);
 void		savefpregs(FPsave*);
 void		sched(void);
-void		schedinit(void);
+_Noreturn void	schedinit(void);
 void		(*screenputs)(char*, int);
 void*		secalloc(ulong);
 void		secfree(void*);

sys/src/9/port/proc.c

@@ -63,8 +63,8 @@ static void pidfree(Proc*);
 /*
  * Always splhi()'ed.
  */
-void
-schedinit(void)		/* never returns */
+_Noreturn void
+schedinit(void)
 {
 	Edf *e;
 

sys/src/9/sgi/main.c

@@ -187,7 +187,6 @@ main(void)
 	chandevreset();
 	userinit();
 	schedinit();
-	panic("schedinit returned");
 }
 
 /*

sys/src/9/teg2/archtegra.c

@@ -733,7 +733,6 @@ cpustart(void)
 	if (Debug)
 		iprint("cpu%d: scheding\n", m->machno);
 	schedinit();
-	panic("cpu%d: schedinit returned", m->machno);
 }
 
 /* mainly used to break out of wfi */

sys/src/9/teg2/main.c

@@ -408,7 +408,6 @@ main(void)
 	l1diag();
 
 	schedinit();
-	panic("cpu%d: schedinit returned", m->machno);
 }
 
 /*

sys/src/9/zynq/main.c

@@ -318,7 +318,6 @@ main(void)
 		synccycles();
 		timersinit();
 		schedinit();
-		return;
 	}
 	uartconsinit();
 	mmuinit();