FPU_KERN_KTHR
if ((flags & FPU_KERN_KTHR) != 0 && is_fpu_kern_thread(0)) {
if ((flags & FPU_KERN_KTHR) != 0 && is_fpu_kern_thread(0)) {
if ((flags & FPU_KERN_KTHR) != 0 && is_fpu_kern_thread(0)) {
if ((flags & FPU_KERN_KTHR) != 0 && is_fpu_kern_thread(0)) {