m88110_fpu_fetch
m88110_fpu_fetch(frame, rs1, t1, tmax, &arg1);
m88110_fpu_fetch(frame, rs2, t2, tmax, &arg2);
m88110_fpu_fetch(frame, rs2, t2, tmax, &dest);
m88110_fpu_fetch(frame, rs2, FTYPE_INT, td, &dest);
m88110_fpu_fetch(frame, rs1, t1, tmax, &arg1);
m88110_fpu_fetch(frame, rs2, t2, tmax, &arg2);
void m88110_fpu_fetch(struct trapframe *, u_int, u_int, u_int, fparg *);
m88110_fpu_fetch(frame, rs1, t1, tmax, &arg1);
m88110_fpu_fetch(frame, rs2, t2, tmax, &arg2);
m88110_fpu_fetch(frame, rs1, t1, tmax, &arg1);
m88110_fpu_fetch(frame, rs2, t2, tmax, &arg2);
m88110_fpu_fetch(frame, rs2, t2, t2, &dest);
m88110_fpu_fetch(frame, rs1, t1, tmax, &arg1);
m88110_fpu_fetch(frame, rs2, t2, tmax, &arg2);
m88110_fpu_fetch(frame, rs2, t2, tmax, &arg1);