FPU_KERN_NOCTX
KASSERT((flags & FPU_KERN_NOCTX) != 0 || ctx != NULL,
if ((flags & FPU_KERN_NOCTX) != 0) {
KASSERT((flags & FPU_KERN_NOCTX) != 0 || ctx != NULL,
if ((flags & FPU_KERN_NOCTX) != 0) {
KASSERT((flags & FPU_KERN_NOCTX) != 0 || ctx != NULL,
if ((flags & FPU_KERN_NOCTX) != 0) {
fpu_kern_enter(curthread, NULL, FPU_KERN_NOCTX);
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_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);
KASSERT((flags & FPU_KERN_NOCTX) != 0 || ctx != NULL,
if ((flags & FPU_KERN_NOCTX) != 0) {
KASSERT((flags & FPU_KERN_NOCTX) != 0 || ctx != NULL,
if ((flags & FPU_KERN_NOCTX) != 0) {
fpu_kern_enter(curthread, NULL, FPU_KERN_NOCTX);
fpu_kern_enter(curthread, NULL, FPU_KERN_NOCTX);