fpu_kern_leave
int fpu_kern_leave(struct thread *td, struct fpu_kern_ctx *ctx);
int fpu_kern_leave(struct thread *, struct fpu_kern_ctx *);
int fpu_kern_leave(struct thread *, struct fpu_kern_ctx *);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(td, NULL);
fpu_kern_leave(td, NULL);
fpu_kern_leave(td, NULL);
fpu_kern_leave(td, NULL);
fpu_kern_leave(td, NULL);
fpu_kern_leave(curthread, NULL);
int fpu_kern_leave(struct thread *td, struct fpu_kern_ctx *ctx);
int fpu_kern_leave(struct thread *td, struct fpu_kern_ctx *ctx);
fpu_kern_leave(curthread, NULL);
fpu_kern_leave(curthread, NULL);