_POSIX_TIMERS
#if _POSIX_TIMERS == 0
return (_POSIX_TIMERS);
p31b_setcfg(CTL_P1003_1B_TIMERS, _POSIX_TIMERS);