Searched refs:timer_cpu_pin (Results 1 – 1 of 1) sorted by relevance
57 static unsigned int timer_cpu_pin; variable483 map = GIC_MAP_PIN_MAP_TO_PIN | timer_cpu_pin; in gic_irq_domain_map()730 timer_cpu_pin = gic_cpu_pin; in gic_of_init()750 timer_cpu_pin = read_gic_vl_timer_map() & GIC_MAP_PIN_MAP; in gic_of_init()753 timer_cpu_pin, in gic_of_init()756 timer_cpu_pin = gic_cpu_pin; in gic_of_init()
