fpu_emulate_cop1
return fpu_emulate_cop1(p, tf, insn);
int fpu_emulate_cop1(struct proc *, struct trapframe *, uint32_t);