fpu_fcopy
void fpu_fcopy(u_int *, u_int *, int);
fpu_fcopy(space, fs->fs_regs + rd, rdtype);
fpu_fcopy(fs->fs_regs + rs, fs->fs_regs + rd, rtype);
fpu_fcopy(fs->fs_regs + rs, fs->fs_regs + rd, rtype);
fpu_fcopy(fs->fs_regs + rs, fs->fs_regs + rd, rtype);
fpu_fcopy(fs->fs_regs + rs, fs->fs_regs + rd, rtype);
fpu_fcopy(fs->fs_regs + rs2, fs->fs_regs + rd, rtype);