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;