/* Compute a group mask (needed for driver internals, not used for NRF_PPI registers).  */
__STATIC_INLINE uint32_t group_to_mask(nrf_ppi_channel_group_t group)
/* Compute a group mask (needed for driver internals, not used for NRF_PPI registers).  */
__STATIC_INLINE uint32_t group_to_mask(nrf_ppi_channel_group_t group)
{
    return (1uL << (uint32_t) group);
}