/* Enables the PWM dead band output and sets the dead band delays. */
void PWMDeadBandEnable(unsigned long ulBase, unsigned long ulGen, unsigned short usRise, unsigned short usFall)
/* Enables the PWM dead band output and sets the dead band delays. */
void PWMDeadBandEnable(unsigned long ulBase, unsigned long ulGen, unsigned short usRise, unsigned short usFall)
{
    ASSERT((ulBase == PWM0_BASE) || (ulBase == PWM1_BASE));
    ASSERT(PWMGenValid(ulGen));
    ASSERT(usRise < 4096);
    ASSERT(usFall < 4096);
    ulGen = PWM_GEN_BADDR(ulBase, ulGen);
    HWREG(ulGen + PWM_O_X_DBRISE) = usRise;
    HWREG(ulGen + PWM_O_X_DBFALL) = usFall;
    HWREG(ulGen + PWM_O_X_DBCTL) |= PWM_X_DBCTL_ENABLE;
}