CTL_KERN          889 kernel/sysctl_binary.c 	{ CTL_DIR,	CTL_KERN,	"kernel",	bin_kern_table },
CTL_KERN         1340 kernel/sysctl_binary.c 	if (nlen >= 2 && name[0] == CTL_KERN && name[1] == KERN_VERSION)