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

  /src/sys/arch/x68k/stand/common/
execkern.h 2 * definitions for exec_kernel()
55 void __dead exec_kernel(struct execkern_arg *);
execkern.S 40 ENTRY_NOPROFILE(exec_kernel)
  /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/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
  /src/sys/arch/amd64/stand/prekern/
prekern.c 228 exec_kernel(vaddr_t ent) function in typeref:typename:void
locore.S 638 callq exec_kernel

Completed in 16 milliseconds