share_fpu
static __inline void share_fpu(struct lwp *, struct trapframe *);
share_fpu(l, tf);
share_fpu(l, tf);
share_fpu(l, tf);
share_fpu(l, tf);
static __inline void share_fpu(struct lwp *, struct trapframe64 *);
share_fpu(l, tf);
share_fpu(l, tf);
share_fpu(l, tf);
share_fpu(l, tf);
share_fpu(l, tf);
share_fpu(l, tf);
share_fpu(l, tf);