process_write_fpregs_xmm
process_write_fpregs_xmm(l,
process_write_fpregs_xmm(l, ®s.fxstate);
process_write_fpregs_xmm(l, (const struct fxsave *)
process_write_fpregs_xmm(l, ®s->fxstate);
process_write_fpregs_xmm(l, (const struct fxsave *)
process_write_fpregs_xmm(l, (const struct fxsave *)regs);
void process_write_fpregs_xmm(struct lwp *, const struct fxsave *);