Symbol: setup_hammerhead_ipi
sys/arch/macppc/include/intr.h
57
void setup_hammerhead_ipi(void);
sys/arch/macppc/macppc/interrupts.c
173
setup_hammerhead_ipi();