Symbol: mips1_fpu_intr
sys/arch/sgimips/include/intr.h
71
void mips1_fpu_intr(vaddr_t, uint32_t, uint32_t);
sys/arch/sgimips/sgimips/machdep.c
552
platform.intr3 = mips1_fpu_intr;
sys/arch/sgimips/sgimips/machdep.c
573
platform.intr0 = mips1_fpu_intr;