Searched refs:NRF_SPU_FEATURE_DPPI_CHANNEL_COUNT (Results 1 – 1 of 1) sorted by relevance
138 #define NRF_SPU_FEATURE_DPPI_CHANNEL_COUNT SPU_FEATURE_DPPIC_CH_MaxCount macro1177 NRFX_ASSERT(index < NRF_SPU_FEATURE_DPPI_CHANNEL_COUNT); in nrf_spu_feature_secattr_get()1310 NRFX_ASSERT(index < NRF_SPU_FEATURE_DPPI_CHANNEL_COUNT); in nrf_spu_feature_lock_get()1444 NRFX_ASSERT(index < NRF_SPU_FEATURE_DPPI_CHANNEL_COUNT); in nrf_spu_feature_block_get()1579 NRFX_ASSERT(index < NRF_SPU_FEATURE_DPPI_CHANNEL_COUNT); in nrf_spu_feature_ownerid_get()1724 NRFX_ASSERT(index < NRF_SPU_FEATURE_DPPI_CHANNEL_COUNT); in nrf_spu_feature_secattr_set()1943 NRFX_ASSERT(index < NRF_SPU_FEATURE_DPPI_CHANNEL_COUNT); in nrf_spu_feature_lock_enable()2131 NRFX_ASSERT(index < NRF_SPU_FEATURE_DPPI_CHANNEL_COUNT); in nrf_spu_feature_block_enable()2323 NRFX_ASSERT(index < NRF_SPU_FEATURE_DPPI_CHANNEL_COUNT); in nrf_spu_feature_ownerid_set()
