/* HRPWM positive edge adjust delay counts configuration for specified channel.  */
void HRPWM_ChPositiveAdjustConfig(uint32_t u32Ch, uint8_t u8DelayNum)
/* HRPWM positive edge adjust delay counts configuration for specified channel.  */
void HRPWM_ChPositiveAdjustConfig(uint32_t u32Ch, uint8_t u8DelayNum)
{
    __IO uint32_t *CRx;
    DDL_ASSERT(IS_VALID_HRPWM_CH(u32Ch));
    CRx = (__IO uint32_t *)(((uint32_t)&CM_HRPWM->CR1) + 4UL * (u32Ch - 1UL));
    MODIFY_REG32(*CRx, HRPWM_CR_PSEL, ((uint32_t)u8DelayNum - 1UL) << HRPWM_CR_PSEL_POS);
}