Symbol: exec_kernel
sys/arch/bebox/stand/boot/boot.c
142
exec_kernel(name, bootinfo);
sys/arch/bebox/stand/boot/boot.c
69
void exec_kernel(char *, void *);
sys/arch/prep/stand/boot/boot.c
159
exec_kernel(name);
sys/arch/prep/stand/boot/boot.c
71
static void exec_kernel(char *);
sys/arch/rs6000/stand/boot/boot.c
221
exec_kernel(name);
sys/arch/rs6000/stand/boot/boot.c
69
static void exec_kernel(char *);
sys/arch/x68k/stand/common/execkern.h
55
void __dead exec_kernel(struct execkern_arg *);