AIC_FIQ_HWIRQ
AIC_FIQ_HWIRQ(AIC_VGIC_MI));
AIC_FIQ_HWIRQ(AIC_TMR_EL0_PHYS));
AIC_FIQ_HWIRQ(AIC_TMR_EL0_VIRT));
AIC_FIQ_HWIRQ(AIC_TMR_EL02_PHYS));
AIC_FIQ_HWIRQ(AIC_TMR_EL02_VIRT));
AIC_FIQ_HWIRQ(AIC_CPU_PMU_P));
*hwirq = AIC_FIQ_HWIRQ(args[0]);
*hwirq = AIC_FIQ_HWIRQ(AIC_TMR_EL0_PHYS);
*hwirq = AIC_FIQ_HWIRQ(AIC_TMR_EL0_VIRT);