Symbol: call_kernel
sys/arch/emips/stand/common/boot.c
157
call_kernel(entry, name, options, BOOTINFO_MAGIC, bootinfo);
sys/arch/emips/stand/common/common.h
58
extern void call_kernel(uint32_t, char *, char *, u_int, char *);
sys/arch/emips/stand/common/raw.c
132
call_kernel(load_address,"raw","",0,NULL);