Lines Matching defs:type
45 kernel_t type = KERNEL_TYPE_NONE;
88 type = KERNEL_TYPE_MULTIBOOT;
99 if ((type == KERNEL_TYPE_MULTIBOOT
106 if (type == KERNEL_TYPE_MULTIBOOT)
122 if (type == KERNEL_TYPE_NONE)
125 kernel, so rely on the suggested type by the user. */
129 type = suggested_type;
134 type = KERNEL_TYPE_FREEBSD;
176 if (type == KERNEL_TYPE_NONE)
193 type = KERNEL_TYPE_FREEBSD;
199 type = KERNEL_TYPE_NETBSD;
610 if (type == KERNEL_TYPE_FREEBSD || type == KERNEL_TYPE_NETBSD)
621 if (type == KERNEL_TYPE_MULTIBOOT
756 type = KERNEL_TYPE_NONE;
762 if (suggested_type != KERNEL_TYPE_NONE && suggested_type != type)
768 return type;
887 bsd_boot (kernel_t type, int bootdev, char *arg)
938 if (type == KERNEL_TYPE_FREEBSD)