Searched refs:timer_cpu_pin (Results 1 – 1 of 1) sorted by relevance
40 static unsigned int timer_cpu_pin; variable725 val = GIC_MAP_TO_PIN_MSK | timer_cpu_pin; in gic_local_irq_domain_map()829 timer_cpu_pin = gic_cpu_pin; in __gic_init()849 timer_cpu_pin = gic_read32(GIC_REG(VPE_LOCAL, in __gic_init()854 timer_cpu_pin, in __gic_init()857 timer_cpu_pin = gic_cpu_pin; in __gic_init()