Searched refs:loadkernel (Results 1 – 4 of 4) sorted by relevance
30 void loadkernel(const char *);
113 loadkernel(const char *file) in loadkernel() function
77 loadkernel(file); in ukc()
491 extern void loadkernel(const char *);519 loadkernel(filename); in verify_kernel()