181 if (mbx == NULL || is_pending == NULL) {
186 if (!mbx_get_irq_bit_index(irq, &index)) {
190 uint32_t intr_state_reg = mmio_region_read32(
192 (ptrdiff_t)MBX_INTR_STATE_REG_OFFSET);
195 *is_pending = bitfield_bit32_read(intr_state_reg, index);
307 if (!mbx_get_irq_bit_index(irq, &index)) {
311 uint32_t intr_enable_reg = mmio_region_read32(
313 (ptrdiff_t)MBX_INTR_ENABLE_REG_OFFSET);
317 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
320 (ptrdiff_t)MBX_INTR_ENABLE_REG_OFFSET,