Symbol: DEFKERNELNAME
sys/arch/cobalt/stand/boot/boot.c
284
bootstr_kname ? bootstr_kname : DEFKERNELNAME);
sys/arch/cobalt/stand/boot/devopen.c
54
*file = DEFKERNELNAME;
sys/arch/mmeye/stand/boot/boot.c
114
printf("Boot [" DEFBOOTDEV ":%s]: ", DEFKERNELNAME);
sys/arch/mmeye/stand/boot/devopen.c
54
*file = DEFKERNELNAME;