170 dif_keymgr_dpe_irq_t irq,
173 if (keymgr_dpe == NULL || is_pending == NULL) {
178 if (!keymgr_dpe_get_irq_bit_index(irq, &index)) {
182 uint32_t intr_state_reg = mmio_region_read32(
184 (ptrdiff_t)KEYMGR_DPE_INTR_STATE_REG_OFFSET);
187 *is_pending = bitfield_bit32_read(intr_state_reg, index);
214 dif_keymgr_dpe_irq_t irq) {
216 if (keymgr_dpe == NULL) {
221 if (!keymgr_dpe_get_irq_bit_index(irq, &index)) {
226 uint32_t intr_state_reg = bitfield_bit32_write(0, index,
true);
229 (ptrdiff_t)KEYMGR_DPE_INTR_STATE_REG_OFFSET,
239 dif_keymgr_dpe_irq_t irq,
242 if (keymgr_dpe == NULL) {
247 if (!keymgr_dpe_get_irq_bit_index(irq, &index)) {
251 uint32_t intr_test_reg = bitfield_bit32_write(0, index, val);
254 (ptrdiff_t)KEYMGR_DPE_INTR_TEST_REG_OFFSET,
264 dif_keymgr_dpe_irq_t irq,
267 if (keymgr_dpe == NULL || state == NULL) {
272 if (!keymgr_dpe_get_irq_bit_index(irq, &index)) {
276 uint32_t intr_enable_reg = mmio_region_read32(
278 (ptrdiff_t)KEYMGR_DPE_INTR_ENABLE_REG_OFFSET);
281 bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
282 *state = is_enabled ?
291 dif_keymgr_dpe_irq_t irq,
294 if (keymgr_dpe == NULL) {
299 if (!keymgr_dpe_get_irq_bit_index(irq, &index)) {
303 uint32_t intr_enable_reg = mmio_region_read32(
305 (ptrdiff_t)KEYMGR_DPE_INTR_ENABLE_REG_OFFSET);
309 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
312 (ptrdiff_t)KEYMGR_DPE_INTR_ENABLE_REG_OFFSET,