Searched refs:suggested_type (Results 1 – 3 of 3) sorted by relevance
40 load_image (char *kernel, char *arg, kernel_t suggested_type, in load_image() argument102 || suggested_type == KERNEL_TYPE_NETBSD) in load_image()126 if (suggested_type == KERNEL_TYPE_NETBSD) in load_image()129 type = suggested_type; in load_image()454 if (suggested_type != KERNEL_TYPE_NONE in load_image()455 && ((big_linux && suggested_type != KERNEL_TYPE_BIG_LINUX) in load_image()456 || (! big_linux && suggested_type != KERNEL_TYPE_LINUX))) in load_image()762 if (suggested_type != KERNEL_TYPE_NONE && suggested_type != type) in load_image()
2801 kernel_t suggested_type = KERNEL_TYPE_NONE; in kernel_func() local2818 suggested_type = KERNEL_TYPE_NETBSD; in kernel_func()2820 suggested_type = KERNEL_TYPE_FREEBSD; in kernel_func()2824 suggested_type = KERNEL_TYPE_NETBSD; in kernel_func()2826 suggested_type = KERNEL_TYPE_LINUX; in kernel_func()2828 suggested_type = KERNEL_TYPE_BIG_LINUX; in kernel_func()2830 suggested_type = KERNEL_TYPE_MULTIBOOT; in kernel_func()2861 kernel_type = load_image (arg, mb_cmdline, suggested_type, load_flags); in kernel_func()
1072 kernel_t load_image (char *kernel, char *arg, kernel_t suggested_type,