Lines Matching refs:kernel_type
53 kernel_t kernel_type;
91 kernel_type = KERNEL_TYPE_NONE;
246 if (kernel_type != KERNEL_TYPE_NONE)
254 switch (kernel_type)
259 bsd_boot (kernel_type, bootdev, (char *) mbi.cmdline);
424 kernel_type = KERNEL_TYPE_NONE;
432 kernel_type = KERNEL_TYPE_NONE;
449 kernel_type = KERNEL_TYPE_NONE;
454 kernel_type = KERNEL_TYPE_CHAINLOADER;
1743 switch (kernel_type)
2434 kernel_type = load_image (arg, mb_cmdline, suggested_type, load_flags);
2435 if (kernel_type == KERNEL_TYPE_NONE)
2678 switch (kernel_type)
4492 kernel_type = KERNEL_TYPE_NONE;