HomeSort by: relevance | last modified time | path
    Searched refs:DEFKERNELNAME (Results 1 - 6 of 6) sorted by relevancy

  /src/sys/arch/mmeye/stand/boot/
boot.h 37 #define DEFKERNELNAME kernelnames[0]
devopen.c 54 *file = DEFKERNELNAME;
boot.c 114 printf("Boot [" DEFBOOTDEV ":%s]: ", DEFKERNELNAME);
  /src/sys/arch/cobalt/stand/boot/
boot.h 39 #define DEFKERNELNAME kernelnames[0]
devopen.c 54 *file = DEFKERNELNAME;
boot.c 284 bootstr_kname ? bootstr_kname : DEFKERNELNAME);

Completed in 13 milliseconds