is_fpu_kern_thread
if ((flags & FPU_KERN_KTHR) != 0 && is_fpu_kern_thread(0)) {
if (is_fpu_kern_thread(0) &&
int is_fpu_kern_thread(u_int flags);
if ((flags & FPU_KERN_KTHR) != 0 && is_fpu_kern_thread(0)) {
if (is_fpu_kern_thread(0) &&
int is_fpu_kern_thread(u_int);
if ((flags & FPU_KERN_KTHR) != 0 && is_fpu_kern_thread(0)) {
if (is_fpu_kern_thread(0) &&
int is_fpu_kern_thread(u_int);
if (is_fpu_kern_thread(0)) {
if ((flags & FPU_KERN_KTHR) != 0 && is_fpu_kern_thread(0)) {
if (is_fpu_kern_thread(0) &&
int is_fpu_kern_thread(u_int flags);
int is_fpu_kern_thread(u_int flags);