Symbol: SYSCTL_BIT32
sys/kern/kern_debug.c
84
SYSCTL_BIT32(_debug, OID_AUTO, b32_0, CTLFLAG_RW, &debug_32bit, 0, 0, "");
sys/kern/kern_debug.c
85
SYSCTL_BIT32(_debug, OID_AUTO, b32_31, CTLFLAG_RW, &debug_32bit, 0, 31, "");