_POSIX_SEMAPHORES
#if _POSIX_SEMAPHORES == 0
return (_POSIX_SEMAPHORES);
p31b_setcfg(CTL_P1003_1B_SEMAPHORES, _POSIX_SEMAPHORES);