Symbol: DEFAULT_KERNEL
sys/arch/ofppc/stand/ofwboot/ofdev.c
216
strcpy(buf, DEFAULT_KERNEL);
sys/arch/shark/stand/ofwboot/ofdev.c
267
strcpy(buf, DEFAULT_KERNEL);
sys/arch/sparc/stand/ofwboot/ofdev.c
456
strcpy(b.buf, DEFAULT_KERNEL);