170 dif_keymgr_irq_t irq,
173 if (keymgr == NULL || is_pending == NULL) {
178 if (!keymgr_get_irq_bit_index(irq, &index)) {
182 uint32_t intr_state_reg = mmio_region_read32(
184 (ptrdiff_t)KEYMGR_INTR_STATE_REG_OFFSET);
187 *is_pending = bitfield_bit32_read(intr_state_reg, index);
264 dif_keymgr_irq_t irq,
267 if (keymgr == NULL || state == NULL) {
272 if (!keymgr_get_irq_bit_index(irq, &index)) {
276 uint32_t intr_enable_reg = mmio_region_read32(
278 (ptrdiff_t)KEYMGR_INTR_ENABLE_REG_OFFSET);
281 bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
282 *state = is_enabled ?
291 dif_keymgr_irq_t irq,
294 if (keymgr == NULL) {
299 if (!keymgr_get_irq_bit_index(irq, &index)) {
303 uint32_t intr_enable_reg = mmio_region_read32(
305 (ptrdiff_t)KEYMGR_INTR_ENABLE_REG_OFFSET);
309 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
312 (ptrdiff_t)KEYMGR_INTR_ENABLE_REG_OFFSET,