BRIDGE_IRQ_CAUSE_ARMADAXP
irq_cause = read_cpu_ctrl(BRIDGE_IRQ_CAUSE_ARMADAXP);
write_cpu_ctrl(BRIDGE_IRQ_CAUSE_ARMADAXP, irq_cause);
BRIDGE_IRQ_CAUSE_ARMADAXP,