Searched defs:base_ipi (Results 1 – 3 of 3) sorted by relevance
259 int base_ipi, mux_irq; in bcm2836_arm_irqchip_smp_init() local
495 int base_ipi; in mpic_ipi_init() local
814 int base_ipi; in aic_init_smp() local