Symbol: DEFKERNELNAME
sys/arch/cobalt/stand/boot/boot.h
39
#define DEFKERNELNAME kernelnames[0]
sys/arch/mmeye/stand/boot/boot.h
37
#define DEFKERNELNAME kernelnames[0]