Symbol: p31b_getcfg
sys/kern/uipc_sem.c
306
if (nsems == p31b_getcfg(CTL_P1003_1B_SEM_NSEMS_MAX) || ksem_dead) {
sys/sys/posix4.h
61
int p31b_getcfg(int);