kernel             83 bsp/boot/common/bootinfo.c 	print_module(&bi->kernel);
kernel             84 bsp/boot/common/load.c 	if (load_module((struct ar_hdr *)hdr, &bi->kernel))
kernel             88 bsp/boot/common/main.c 	entry = (entry_t)kvtop(bootinfo->kernel.entry);
kernel            100 include/sys/bootinfo.h 	struct module	kernel;		/* kernel image */