Searched refs:timer_cpu_pin (Results 1 – 1 of 1) sorted by relevance
40 static unsigned int timer_cpu_pin; variable677 val = GIC_MAP_TO_PIN_MSK | timer_cpu_pin; in gic_local_irq_domain_map()775 timer_cpu_pin = gic_cpu_pin; in __gic_init()795 timer_cpu_pin = gic_read(GIC_REG(VPE_LOCAL, in __gic_init()800 timer_cpu_pin, in __gic_init()803 timer_cpu_pin = gic_cpu_pin; in __gic_init()