fill_fpregs32
fill_fpregs32(td, fpregset);
return (fill_fpregs32(td, fpregs32));
#ifndef fill_fpregs32
int fill_fpregs32(struct thread *, struct fpreg32 *);