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

  /src/sys/arch/acorn32/stand/boot32/
start.S 178 ENTRY(start_kernel) function
  /src/sys/arch/atari/stand/tostools/loadbsd/
loadbsd.c 63 void start_kernel PROTO((osdsc_t *));
183 start_kernel(od);
245 start_kernel(osdsc_t *od) function in typeref:typename:void
  /src/sys/arch/sparc/stand/ofwboot/
boot.c 366 start_kernel(char *kernel, char *bootline, void *ofw, int isfloppy, function in typeref:typename:void
502 start_kernel(kernel, bootline, ofw, isfloppy, kboothowto);

Completed in 12 milliseconds