Symbol: ipi_db
sys/arch/sparc64/sparc64/db_interface.c
329
void ipi_db(void);
sys/arch/sparc64/sparc64/db_interface.c
446
sparc64_send_ipi(ci->ci_itid, ipi_db, 0, 0);
sys/arch/sparc64/sparc64/db_interface.c
512
sparc64_send_ipi(ci->ci_itid, ipi_db, 0, 0);