Searched refs:timer_cpu_pin (Results 1 – 1 of 1) sorted by relevance
55 static unsigned int timer_cpu_pin; variable486 map = GIC_MAP_PIN_MAP_TO_PIN | timer_cpu_pin; in gic_irq_domain_map()782 timer_cpu_pin = gic_cpu_pin; in gic_of_init()802 timer_cpu_pin = read_gic_vl_timer_map() & GIC_MAP_PIN_MAP; in gic_of_init()805 timer_cpu_pin, in gic_of_init()808 timer_cpu_pin = gic_cpu_pin; in gic_of_init()