HomeSort by: relevance | last modified time | path
    Searched defs:kernels64 (Results 1 - 3 of 3) sorted by relevancy

  /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)

Completed in 29 milliseconds