AIC_HWIRQ_IRQ
u32 irq = AIC_HWIRQ_IRQ(hwirq);
aic_ic_write(ic, ic->info.target_cpu + AIC_HWIRQ_IRQ(hwirq) * 4, BIT(cpu));
return AIC_HWIRQ_IRQ(irqd_to_hwirq(d));