Symbol: hppa_ipi_intr
sys/arch/hppa/dev/cpu.c
178
cpu_intr_establish(IPL_IPI, 30, hppa_ipi_intr, NULL, "ipi");
sys/arch/hppa/dev/cpu.c
94
extern int hppa_ipi_intr(void *);
sys/arch/hppa/include/intr.h
175
int hppa_ipi_intr(void *arg);