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