Symbol: x86_ipi_db
sys/arch/amd64/amd64/ipifuncs.c
100
x86_ipi_db,
sys/arch/amd64/include/db_machdep.h
86
void x86_ipi_db(struct cpu_info *);