TCMPB
tcmpb = PWM_READ(sc, TCMPB(timer->timer_index));
PWM_WRITE(sc, TCMPB(timer->timer_index), tcmpb - 1);