Lines Matching refs:default_kernel
50 char default_kernel[20] = variable
251 strcpy(filename, default_kernel); in boot()
266 strcpy(filename, default_kernel); in boot()
289 strcpy(filename, default_kernel); in cmd_ls()
292 strcpy(filename, default_kernel); in cmd_ls()
311 default_kernel, n); in bootmenu()
315 default_kernel, n); in bootmenu()
318 printf("booting %s - starting in %d seconds. ", default_kernel, 0); in bootmenu()
322 doboot(default_kernel, 0); in bootmenu()
323 printf("Could not start %s; ", default_kernel); in bootmenu()
324 strcat(default_kernel, ".gz"); in bootmenu()
325 printf("trying %s.\n", default_kernel); in bootmenu()
326 doboot(default_kernel, 0); in bootmenu()
327 printf("Could not start %s; ", default_kernel); in bootmenu()
412 default_kernel[0] = 'f'; in bootmain()
413 default_kernel[2] = '0' + B_UNIT(bootdev); in bootmain()
414 default_kernel[3] = 'a'; in bootmain()
417 default_kernel[2] = '0' + B_X68K_SCSI_ID(bootdev); in bootmain()
418 default_kernel[3] = in bootmain()
423 default_kernel[0] = 'c'; in bootmain()
424 default_kernel[2] = '0' + B_X68K_SCSI_ID(bootdev); in bootmain()
425 default_kernel[3] = 'a'; in bootmain()