/* Enable the given interrupt source. The PIO must be configured as an NVIC interrupt source as well.  */
void pio_enable_interrupt(Pio *p_pio, const uint32_t ul_mask)
/* Enable the given interrupt source. The PIO must be configured as an NVIC interrupt source as well.  */
void pio_enable_interrupt(Pio *p_pio, const uint32_t ul_mask)
{
	p_pio->PIO_IER = ul_mask;
}