Searched refs:exec_kernel (Results 1 – 7 of 7) sorted by relevance
71 static void exec_kernel(char *);159 exec_kernel(name); in boot()167 exec_kernel(char *name) in exec_kernel() function
69 void exec_kernel(char *, void *);142 exec_kernel(name, bootinfo); in main()150 exec_kernel(char *name, void *bootinfo) in exec_kernel() function
69 static void exec_kernel(char *);221 exec_kernel(name); in boot()230 exec_kernel(char *name) in exec_kernel() function
55 void __dead exec_kernel(struct execkern_arg *);
40 ENTRY_NOPROFILE(exec_kernel)
228 exec_kernel(vaddr_t ent) in exec_kernel() function
638 callq exec_kernel