Searched refs:timer_cpu_pin (Results 1 – 1 of 1) sorted by relevance
56 static unsigned int timer_cpu_pin; variable482 map = GIC_MAP_PIN_MAP_TO_PIN | timer_cpu_pin; in gic_irq_domain_map()729 timer_cpu_pin = gic_cpu_pin; in gic_of_init()749 timer_cpu_pin = read_gic_vl_timer_map() & GIC_MAP_PIN_MAP; in gic_of_init()752 timer_cpu_pin, in gic_of_init()755 timer_cpu_pin = gic_cpu_pin; in gic_of_init()
