1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <console/console.h>
4 #include <device/mmio.h>
5 #include <soc/irq2axi.h>
7 void irq2axi_disable(void)
9 printk(BIOS_DEBUG
, "%s\n", __func__
);
11 write32p(IRQ2AXI_CFG1
, 0x0);
13 /* disable mcusys ack */
14 clrbits32p(MCUSYS_ACK_REG
, MCUSYS_ACK_CLR
);
16 /* switch to legacy channel */
17 clrbits32p(CIRQ_AXI_MODE
, CIRQ_AXI_MODE_LEGACY
);