CTL_P1003_1B_PRIORITY_SCHEDULING
mib[1] = CTL_P1003_1B_PRIORITY_SCHEDULING;
p31b_setcfg(CTL_P1003_1B_PRIORITY_SCHEDULING, 200112L);
P1B_SYSCTL(CTL_P1003_1B_PRIORITY_SCHEDULING, priority_scheduling);