set_fpregs32
return (set_fpregs32(td, fpregset) == 0);
return (set_fpregs32(td, fpregs32));
#ifndef set_fpregs32
int set_fpregs32(struct thread *, struct fpreg32 *);