Symbol: hppa_ipi_broadcast
sys/arch/hppa/hppa/machdep.c
916
hppa_ipi_broadcast(HPPA_IPI_HALT);
sys/arch/hppa/include/intr.h
164
int hppa_ipi_broadcast(u_long);