168 dif_pwrmgr_irq_t irq,
171 if (pwrmgr == NULL || is_pending == NULL) {
176 if (!pwrmgr_get_irq_bit_index(irq, &index)) {
180 uint32_t intr_state_reg = mmio_region_read32(
182 (ptrdiff_t)PWRMGR_INTR_STATE_REG_OFFSET);
185 *is_pending = bitfield_bit32_read(intr_state_reg, index);
262 dif_pwrmgr_irq_t irq,
265 if (pwrmgr == NULL || state == NULL) {
270 if (!pwrmgr_get_irq_bit_index(irq, &index)) {
274 uint32_t intr_enable_reg = mmio_region_read32(
276 (ptrdiff_t)PWRMGR_INTR_ENABLE_REG_OFFSET);
279 bool is_enabled = bitfield_bit32_read(intr_enable_reg, index);
280 *state = is_enabled ?
289 dif_pwrmgr_irq_t irq,
292 if (pwrmgr == NULL) {
297 if (!pwrmgr_get_irq_bit_index(irq, &index)) {
301 uint32_t intr_enable_reg = mmio_region_read32(
303 (ptrdiff_t)PWRMGR_INTR_ENABLE_REG_OFFSET);
307 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
310 (ptrdiff_t)PWRMGR_INTR_ENABLE_REG_OFFSET,