Searched refs:timer_cpu_pin (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/drivers/irqchip/
H A Dirq-mips-gic.c40 static unsigned int timer_cpu_pin; variable
725 val = GIC_MAP_TO_PIN_MSK | timer_cpu_pin; gic_local_irq_domain_map()
829 timer_cpu_pin = gic_cpu_pin; __gic_init()
849 timer_cpu_pin = gic_read32(GIC_REG(VPE_LOCAL, __gic_init()
854 timer_cpu_pin, __gic_init()
857 timer_cpu_pin = gic_cpu_pin; __gic_init()

Completed in 49 milliseconds