GIC_SHARED_TO_HWIRQ
GIC_SHARED_TO_HWIRQ(intr));
GIC_SHARED_TO_HWIRQ(intr));
*out_hwirq = GIC_SHARED_TO_HWIRQ(intspec[1]);
hwirq = GIC_SHARED_TO_HWIRQ(fwspec->param[1]);
hwirq = GIC_SHARED_TO_HWIRQ(base_hwirq + i);