KERNEL_TYPE_NONE
if (type == KERNEL_TYPE_NONE)
if (type == KERNEL_TYPE_NONE)
return KERNEL_TYPE_NONE;
kernel_t type = KERNEL_TYPE_NONE;
if (suggested_type != KERNEL_TYPE_NONE
return KERNEL_TYPE_NONE;
return KERNEL_TYPE_NONE;
return KERNEL_TYPE_NONE;
return KERNEL_TYPE_NONE;
type = KERNEL_TYPE_NONE;
if (suggested_type != KERNEL_TYPE_NONE && suggested_type != type)
return KERNEL_TYPE_NONE;
return KERNEL_TYPE_NONE;
kernel_type = KERNEL_TYPE_NONE;
if (kernel_type != KERNEL_TYPE_NONE)
kernel_t suggested_type = KERNEL_TYPE_NONE;
if (kernel_type == KERNEL_TYPE_NONE)
kernel_type = KERNEL_TYPE_NONE;
kernel_type = KERNEL_TYPE_NONE;
kernel_type = KERNEL_TYPE_NONE;
kernel_type = KERNEL_TYPE_NONE;
if (kernel_type == KERNEL_TYPE_NONE)