hip04_get_cpumask  244 drivers/irqchip/irq-hip04.c 	cpumask = hip04_get_cpumask(intc);
hip04_get_cpumask  265 drivers/irqchip/irq-hip04.c 	cpu_mask = hip04_get_cpumask(intc);