Searched defs:exec_kernel (Results 1 – 4 of 4) sorted by relevance
167 exec_kernel(char *name) in exec_kernel() function
150 exec_kernel(char *name, void *bootinfo) in exec_kernel() function
230 exec_kernel(char *name) in exec_kernel() function
228 exec_kernel(vaddr_t ent) in exec_kernel() function