CTL_P1003_1B_RTSIG_MAX
mib[1] = CTL_P1003_1B_RTSIG_MAX;
p31b_setcfg(CTL_P1003_1B_RTSIG_MAX, SIGRTMAX - SIGRTMIN + 1);
P1B_SYSCTL(CTL_P1003_1B_RTSIG_MAX, rtsig_max);