185 if (csrng == NULL || is_pending == NULL) {
190 if (!csrng_get_irq_bit_index(irq, &index)) {
194 uint32_t intr_state_reg = mmio_region_read32(
196 (ptrdiff_t)CSRNG_INTR_STATE_REG_OFFSET);
199 *is_pending = bitfield_bit32_read(intr_state_reg, index);
279 if (csrng == NULL || state == NULL) {
284 if (!csrng_get_irq_bit_index(irq, &index)) {
288 uint32_t intr_enable_reg = mmio_region_read32(
290 (ptrdiff_t)CSRNG_INTR_ENABLE_REG_OFFSET);
293 bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
294 *state = is_enabled ?
311 if (!csrng_get_irq_bit_index(irq, &index)) {
315 uint32_t intr_enable_reg = mmio_region_read32(
317 (ptrdiff_t)CSRNG_INTR_ENABLE_REG_OFFSET);
321 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
324 (ptrdiff_t)CSRNG_INTR_ENABLE_REG_OFFSET,