/* Disable channel and remove it from the map of used channels. 
This is the alternative API, which requires the caller to store the mask of used channels. */
void ppi_remove_channel(uint32_t *chan_map, uint8_t chan_num)
/* Disable channel and remove it from the map of used channels. 
This is the alternative API, which requires the caller to store the mask of used channels. */
void ppi_remove_channel(uint32_t *chan_map, uint8_t chan_num)
{
    ppi_disable_channels(PPI_CH(chan_num));
    *chan_map &= ~(PPI_CH(chan_num));
}