Symbol: mips64_ipi_ddb
sys/arch/mips64/mips64/ipifuncs.c
49
void mips64_ipi_ddb(void);
sys/arch/mips64/mips64/ipifuncs.c
72
mips64_ipi_ddb