gic_get_cpumask   503 drivers/irqchip/irq-gic.c 	cpumask = gic_get_cpumask(gic);
gic_get_cpumask   534 drivers/irqchip/irq-gic.c 		cpu_mask = gic_get_cpumask(gic);