/* Set specified Event port output data port pins.  */
void EP_SetPins(uint8_t u8EventPort, uint16_t u16EventPin)
/* Set specified Event port output data port pins.  */
void EP_SetPins(uint8_t u8EventPort, uint16_t u16EventPin)
{
    DDL_ASSERT(IS_EVENT_PORT(u8EventPort));
    DDL_ASSERT(IS_EVENT_PIN(u16EventPin));
    SET_REG32_BIT(PEVNTODR_REG(u8EventPort), u16EventPin);
}