Searched refs:timer_cpu_pin (Results 1 – 1 of 1) sorted by relevance
57 static unsigned int timer_cpu_pin; variable503 map = GIC_MAP_PIN_MAP_TO_PIN | timer_cpu_pin; in gic_irq_domain_map()798 timer_cpu_pin = gic_cpu_pin; in gic_of_init()818 timer_cpu_pin = read_gic_vl_timer_map() & GIC_MAP_PIN_MAP; in gic_of_init()821 timer_cpu_pin, in gic_of_init()824 timer_cpu_pin = gic_cpu_pin; in gic_of_init()
