/* Synchronizes the counters in one or multiple PWM generator blocks. */
void PWMSyncTimeBase(uint32_t ui32Base, uint32_t ui32GenBits)
/* Synchronizes the counters in one or multiple PWM generator blocks. */
void PWMSyncTimeBase(uint32_t ui32Base, uint32_t ui32GenBits)
{
    ASSERT(ui32Base == PWM0_BASE);
    ASSERT(!(ui32GenBits & ~(PWM_GEN_0_BIT | PWM_GEN_1_BIT | PWM_GEN_2_BIT |
                             PWM_GEN_3_BIT)));
    HWREG(ui32Base + PWM_O_SYNC) = ui32GenBits;
}