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

  /src/sys/arch/bebox/stand/boot/
boot.c 69 void exec_kernel(char *, void *);
142 exec_kernel(name, bootinfo);
150 exec_kernel(char *name, void *bootinfo) function in typeref:typename:void
  /src/sys/arch/prep/stand/boot/
boot.c 71 static void exec_kernel(char *);
159 exec_kernel(name);
167 exec_kernel(char *name) function in typeref:typename:void
  /src/sys/arch/amd64/stand/prekern/
prekern.c 228 exec_kernel(vaddr_t ent) function in typeref:typename:void
  /src/sys/arch/rs6000/stand/boot/
boot.c 69 static void exec_kernel(char *);
221 exec_kernel(name);
230 exec_kernel(char *name) function in typeref:typename:void

Completed in 12 milliseconds