Searched refs:gic_cpu_pin (Results 1 – 1 of 1) sorted by relevance
39 static unsigned int gic_cpu_pin; variable664 u32 val = GIC_MAP_TO_PIN_MSK | gic_cpu_pin; in gic_local_irq_domain_map()713 gic_map_to_pin(intr, gic_cpu_pin); in gic_shared_irq_domain_map()774 gic_cpu_pin = 0; in __gic_init()775 timer_cpu_pin = gic_cpu_pin; in __gic_init()776 set_vi_handler(gic_cpu_pin + GIC_PIN_TO_VEC_OFFSET, in __gic_init()779 gic_cpu_pin = cpu_vec - GIC_CPU_PIN_OFFSET; in __gic_init()803 timer_cpu_pin = gic_cpu_pin; in __gic_init()