Home | Sort by: relevance | last modified time | path |
/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 |