Searched refs:gic_cpu_pin (Results 1 – 1 of 1) sorted by relevance
39 static unsigned int gic_cpu_pin; variable711 u32 val = GIC_MAP_TO_PIN_MSK | gic_cpu_pin; in gic_local_irq_domain_map()765 gic_map_to_pin(intr, gic_cpu_pin); in gic_shared_irq_domain_map()828 gic_cpu_pin = 0; in __gic_init()829 timer_cpu_pin = gic_cpu_pin; in __gic_init()830 set_vi_handler(gic_cpu_pin + GIC_PIN_TO_VEC_OFFSET, in __gic_init()833 gic_cpu_pin = cpu_vec - GIC_CPU_PIN_OFFSET; in __gic_init()857 timer_cpu_pin = gic_cpu_pin; in __gic_init()