CTL_P1003_1B_SEM_VALUE_MAX
P1B_SYSCTL(CTL_P1003_1B_SEM_VALUE_MAX, sem_value_max);
p31b_setcfg(CTL_P1003_1B_SEM_VALUE_MAX, SEM_VALUE_MAX);
p31b_unsetcfg(CTL_P1003_1B_SEM_VALUE_MAX);