178 if (hmac == NULL || is_pending == NULL) {
183 if (!hmac_get_irq_bit_index(irq, &index)) {
187 uint32_t intr_state_reg = mmio_region_read32(
189 (ptrdiff_t)HMAC_INTR_STATE_REG_OFFSET);
192 *is_pending = bitfield_bit32_read(intr_state_reg, index);
272 if (hmac == NULL || state == NULL) {
277 if (!hmac_get_irq_bit_index(irq, &index)) {
281 uint32_t intr_enable_reg = mmio_region_read32(
283 (ptrdiff_t)HMAC_INTR_ENABLE_REG_OFFSET);
286 bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
287 *state = is_enabled ?
304 if (!hmac_get_irq_bit_index(irq, &index)) {
308 uint32_t intr_enable_reg = mmio_region_read32(
310 (ptrdiff_t)HMAC_INTR_ENABLE_REG_OFFSET);
314 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
317 (ptrdiff_t)HMAC_INTR_ENABLE_REG_OFFSET,