Symbol: ipi_send
sys/arch/arm/gemini/gemini_ipivar.h
29
extern int ipi_send(void);
sys/arch/arm/gemini/gemini_ipm.c
288
ipi_send();
sys/arch/ia64/include/smp.h
36
void ipi_send(u_int64_t lid, int ipi);