Searched refs:KERNEL_TYPE_FREEBSD (Results 1 – 4 of 4) sorted by relevance
134 type = KERNEL_TYPE_FREEBSD; in load_image()193 type = KERNEL_TYPE_FREEBSD; in load_image()610 if (type == KERNEL_TYPE_FREEBSD || type == KERNEL_TYPE_NETBSD) in load_image()938 if (type == KERNEL_TYPE_FREEBSD) in bsd_boot()
934 KERNEL_TYPE_FREEBSD, /* FreeBSD. */ enumerator
279 case KERNEL_TYPE_FREEBSD: in boot_func()2827 suggested_type = KERNEL_TYPE_FREEBSD; in kernel_func()
5169 (bsd_boot): If TYPE is not KERNEL_TYPE_FREEBSD (i.e. NetBSD or5180 KERNEL_TYPE_FREEBSD, KERNEL_TYPE_NETBSD, KERNEL_TYPE_LINUX,