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