/* Disable a given interrupt source, with no added side effects.  */
void pio_disable_interrupt(Pio *p_pio, const uint32_t ul_mask)
/* Disable a given interrupt source, with no added side effects.  */
void pio_disable_interrupt(Pio *p_pio, const uint32_t ul_mask)
{
	p_pio->PIO_IDR = ul_mask;
}