fpu_kern_enter
void fpu_kern_enter(struct thread *td, struct fpu_kern_ctx *ctx,
void fpu_kern_enter(struct thread *, struct fpu_kern_ctx *, u_int);
void fpu_kern_enter(struct thread *, struct fpu_kern_ctx *, u_int);
fpu_kern_enter(curthread, NULL, FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL,
fpu_kern_enter(curthread, NULL, FPU_KERN_NORMAL | FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL, FPU_KERN_NORMAL | FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL, FPU_KERN_NORMAL | FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL, FPU_KERN_NORMAL | FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL, FPU_KERN_NORMAL | FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL, FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL, FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL, FPU_KERN_NOCTX);
fpu_kern_enter(td, NULL, FPU_KERN_NORMAL | FPU_KERN_NOCTX);
fpu_kern_enter(td, NULL, FPU_KERN_NORMAL | FPU_KERN_NOCTX);
fpu_kern_enter(td, NULL, FPU_KERN_NORMAL | FPU_KERN_NOCTX);
fpu_kern_enter(td, NULL, FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL, FPU_KERN_NORMAL | FPU_KERN_NOCTX);
void fpu_kern_enter(struct thread *td, struct fpu_kern_ctx *ctx,
void fpu_kern_enter(struct thread *td, struct fpu_kern_ctx *ctx,
fpu_kern_enter(curthread, NULL, FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL, FPU_KERN_NOCTX);