Symbol: hppa_ipi_intr
sys/arch/hppa/dev/cpu.c
181
sc->sc_ihipi = hppa_intr_establish(IPL_HIGH, hppa_ipi_intr,
sys/arch/hppa/include/intr.h
190
int hppa_ipi_intr(void *arg);