Symbol: CTL_P1003_1B_TIMER_MAX
lib/libc/gen/sysconf.c
309
mib[1] = CTL_P1003_1B_TIMER_MAX;
sys/kern/kern_time.c
1192
p31b_setcfg(CTL_P1003_1B_TIMER_MAX, TIMER_MAX);
sys/kern/posix4_mib.c
104
P1B_SYSCTL(CTL_P1003_1B_TIMER_MAX, timer_max);