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
495 int base_ipi; in mpic_ipi_init() local