/src/sys/arch/ofppc/stand/ofwboot/ |
boot.c | 109 static char *kernels64[] = { "/netbsd.ofppc64", "/netbsd64", "/netbsd64.gz", variable in typeref:typename:char * [] 242 for (i = 0; kernels64[i]; i++) { 243 DPRINTF("Trying %s\n", kernels64[i]); 246 if (loadfile(kernels64[i], marks, LOAD_KERNEL) >= 0)
|
boot.c | 109 static char *kernels64[] = { "/netbsd.ofppc64", "/netbsd64", "/netbsd64.gz", variable in typeref:typename:char * [] 242 for (i = 0; kernels64[i]; i++) { 243 DPRINTF("Trying %s\n", kernels64[i]); 246 if (loadfile(kernels64[i], marks, LOAD_KERNEL) >= 0)
|
boot.c | 109 static char *kernels64[] = { "/netbsd.ofppc64", "/netbsd64", "/netbsd64.gz", variable in typeref:typename:char * [] 242 for (i = 0; kernels64[i]; i++) { 243 DPRINTF("Trying %s\n", kernels64[i]); 246 if (loadfile(kernels64[i], marks, LOAD_KERNEL) >= 0)
|