Lines Matching refs:kernel_t
53 kernel_t kernel_type;2363 kernel_t suggested_type = KERNEL_TYPE_NONE;