Symbol: openpic_ipi_ddb
sys/arch/macppc/dev/openpic.c
127
void openpic_ipi_ddb(void);
sys/arch/macppc/dev/openpic.c
644
openpic_ipi_ddb();