bcm1480_unmask_irq
extern void bcm1480_unmask_irq(int cpu, int irq);
bcm1480_unmask_irq(cpu, irq);
bcm1480_unmask_irq(bcm1480_irq_owner[irq], irq);