Searched refs:opensource_kernel (Results 1 – 1 of 1) sorted by relevance
417 int opensource_kernel = 1; variable418 SYSCTL_INT(_kern, OID_AUTO, opensource_kernel, CTLFLAG_KERN | CTLFLAG_RD | CTLFLAG_LOCKED,419 &opensource_kernel, 0, "Opensource Kernel");