CTL_P1003_1B_TIMERS
mib[1] = CTL_P1003_1B_TIMERS;
p31b_setcfg(CTL_P1003_1B_TIMERS, _POSIX_TIMERS);
P1B_SYSCTL(CTL_P1003_1B_TIMERS, timers,