i386_broadcast_ipi  229 arch/i386/i386/lapic.c 		i386_broadcast_ipi(I386_IPI_MICROSET);
i386_broadcast_ipi  141 arch/i386/include/intr.h void i386_broadcast_ipi(int);