Symbol: hppa_ipi_fpu_save
sys/arch/hppa/hppa/ipi.c
33
void hppa_ipi_fpu_save(void);
sys/arch/hppa/hppa/ipi.c
40
hppa_ipi_fpu_save,