Symbol: start_kernel
sys/arch/acorn32/stand/boot32/boot32.c
152
extern void start_kernel(
sys/arch/acorn32/stand/boot32/boot32.c
914
start_kernel(
sys/arch/atari/stand/tostools/loadbsd/loadbsd.c
183
start_kernel(od);
sys/arch/atari/stand/tostools/loadbsd/loadbsd.c
63
void start_kernel PROTO((osdsc_t *));
sys/arch/sparc/stand/ofwboot/boot.c
502
start_kernel(kernel, bootline, ofw, isfloppy, kboothowto);