CTL_P1003_1B_SEMAPHORES
mib[1] = CTL_P1003_1B_SEMAPHORES;
p31b_setcfg(CTL_P1003_1B_SEMAPHORES, _POSIX_SEMAPHORES);
P1B_SYSCTL(CTL_P1003_1B_SEMAPHORES, semaphores,