Symbol: exec_kernel
sys/arch/amd64/stand/prekern/prekern.c
228
exec_kernel(vaddr_t ent)
sys/arch/bebox/stand/boot/boot.c
150
exec_kernel(char *name, void *bootinfo)
sys/arch/prep/stand/boot/boot.c
167
exec_kernel(char *name)
sys/arch/rs6000/stand/boot/boot.c
230
exec_kernel(char *name)