Searched refs:LEON3_IRQ_TICKER (Results 1 – 2 of 2) sorted by relevance
172 leon_enable_irq_cpu(LEON3_IRQ_TICKER, me); in leon_boot_cpus()175 leon_smp_setbroadcast(1 << LEON3_IRQ_TICKER); in leon_boot_cpus()221 leon_enable_irq_cpu(LEON3_IRQ_TICKER, i); in leon_boot_one_cpu()
138 # define LEON3_IRQ_TICKER (leon3_gptimer_irq) macro