Searched refs:linux_loadkernel (Results 1 – 1 of 1) sorted by relevance
33 static int linux_loadkernel(char *, u_int64_t, struct preloaded_file **);38 struct file_format linux = { linux_loadkernel, linux_exec };90 linux_loadkernel(char *filename, uint64_t dest, struct preloaded_file **result) in linux_loadkernel() function