GIC_MAP_PIN_MAP_TO_PIN  425 drivers/irqchip/irq-mips-gic.c 	write_gic_map_pin(intr, GIC_MAP_PIN_MAP_TO_PIN | gic_cpu_pin);
GIC_MAP_PIN_MAP_TO_PIN  477 drivers/irqchip/irq-mips-gic.c 	map = GIC_MAP_PIN_MAP_TO_PIN | gic_cpu_pin;
GIC_MAP_PIN_MAP_TO_PIN  482 drivers/irqchip/irq-mips-gic.c 		map = GIC_MAP_PIN_MAP_TO_PIN | timer_cpu_pin;