linux_exec
static int linux_exec(struct preloaded_file *);
struct file_format linux = { linux_loadkernel, linux_exec };