181 if (kmac == NULL || is_pending == NULL) {
186 if (!kmac_get_irq_bit_index(irq, &index)) {
190 uint32_t intr_state_reg = mmio_region_read32(
192 (ptrdiff_t)KMAC_INTR_STATE_REG_OFFSET);
195 *is_pending = bitfield_bit32_read(intr_state_reg, index);
275 if (kmac == NULL || state == NULL) {
280 if (!kmac_get_irq_bit_index(irq, &index)) {
284 uint32_t intr_enable_reg = mmio_region_read32(
286 (ptrdiff_t)KMAC_INTR_ENABLE_REG_OFFSET);
289 bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
290 *state = is_enabled ?
307 if (!kmac_get_irq_bit_index(irq, &index)) {
311 uint32_t intr_enable_reg = mmio_region_read32(
313 (ptrdiff_t)KMAC_INTR_ENABLE_REG_OFFSET);
317 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
320 (ptrdiff_t)KMAC_INTR_ENABLE_REG_OFFSET,