Symbol: start_kernel
sys/arch/acorn32/stand/boot32/start.S
178
ENTRY(start_kernel)
sys/arch/atari/stand/tostools/loadbsd/loadbsd.c
245
start_kernel(osdsc_t *od)
sys/arch/sparc/stand/ofwboot/boot.c
366
start_kernel(char *kernel, char *bootline, void *ofw, int isfloppy,