72 alert_idx = MBX_ALERT_TEST_FATAL_FAULT_BIT;
75 alert_idx = MBX_ALERT_TEST_RECOV_FAULT_BIT;
81 uint32_t alert_test_reg = bitfield_bit32_write(0, alert_idx,
true);
83 alert_test_reg = bitfield_bit32_write(
84 alert_test_reg, MBX_ALERT_TEST_REGWEN_BIT,
true);
87 (ptrdiff_t)MBX_ALERT_TEST_REG_OFFSET,
184 if (mbx == NULL || is_pending == NULL) {
189 if (!mbx_get_irq_bit_index(irq, &index)) {
193 uint32_t intr_state_reg = mmio_region_read32(
195 (ptrdiff_t)MBX_INTR_STATE_REG_OFFSET);
198 *is_pending = bitfield_bit32_read(intr_state_reg, index);
310 if (!mbx_get_irq_bit_index(irq, &index)) {
314 uint32_t intr_enable_reg = mmio_region_read32(
316 (ptrdiff_t)MBX_INTR_ENABLE_REG_OFFSET);
320 intr_enable_reg = bitfield_bit32_write(intr_enable_reg, index, enable_bit);
323 (ptrdiff_t)MBX_INTR_ENABLE_REG_OFFSET,