Symbol: linux_exec
usr/src/boot/i386/libi386/linux.c
36
static int linux_exec(struct preloaded_file *);
usr/src/boot/i386/libi386/linux.c
39
struct file_format linux = { linux_loadkernel, linux_exec };