debug14           658 kern/kern_sysctl.c struct ctldebug debug10, debug11, debug12, debug13, debug14;
debug14           663 kern/kern_sysctl.c 	&debug10, &debug11, &debug12, &debug13, &debug14,
debug14           658 sys/sysctl.h   extern struct ctldebug debug10, debug11, debug12, debug13, debug14;