/* Check whether a channel is a programmable channel and can be used by an application.  */
__STATIC_INLINE bool is_programmable_app_channel(nrf_ppi_channel_t channel)
/* Check whether a channel is a programmable channel and can be used by an application.  */
__STATIC_INLINE bool is_programmable_app_channel(nrf_ppi_channel_t channel)
{
    return ((NRF_PPI_PROG_APP_CHANNELS_MASK & nrf_drv_ppi_channel_to_mask(channel)) != 0);
}