Symbol: ddb_ipi
sys/arch/amd64/amd64/db_interface.c
287
ddb_ipi(struct trapframe frame)
sys/arch/i386/i386/db_interface.c
316
ddb_ipi(struct trapframe frame)