Symbol: hppa_ipi_halt
sys/arch/hppa/hppa/ipi.c
32
void hppa_ipi_halt(void);
sys/arch/hppa/hppa/ipi.c
39
hppa_ipi_halt,