schedule           98 src/pkg/runtime/proc.c static void schedule(void);
schedule          633 src/pkg/runtime/proc.c 	schedule();
schedule         1410 src/pkg/runtime/proc.c 	schedule();
schedule         1436 src/pkg/runtime/proc.c 	schedule();
schedule         1477 src/pkg/runtime/proc.c 	schedule();
schedule         1700 src/pkg/runtime/proc.c 	schedule();  // Never returns.