_fp_write_vfreg
pfpsd->fp_current_write_freg = _fp_write_vfreg;
extern void _fp_write_vfreg(FPU_REGS_TYPE *, uint_t, fp_simd_type *);