hip04_irq
u32 mask = 1 << (hip04_irq(d) % 32);
(hip04_irq(d) / 32) * 4);
writel_relaxed(hip04_irq(d), hip04_cpu_base(d) + GIC_CPU_EOI);
unsigned int irq = hip04_irq(d);
unsigned int cpu, shift = (hip04_irq(d) % 2) * 16;
reg = hip04_dist_base(d) + GIC_DIST_TARGET + ((hip04_irq(d) * 2) & ~3);
u32 mask = 1 << (hip04_irq(d) % 32);
(hip04_irq(d) / 32) * 4);