Symbol: i386_ipi_db
sys/arch/i386/i386/ipifuncs.c
78
i386_ipi_db,
sys/arch/i386/include/db_machdep.h
85
void i386_ipi_db(struct cpu_info *);