floatx80_default_nan_high 3663 lib/libkern/softfloat.c         z.high = floatx80_default_nan_high;
floatx80_default_nan_high 3782 lib/libkern/softfloat.c             z.high = floatx80_default_nan_high;
floatx80_default_nan_high 3847 lib/libkern/softfloat.c                 z.high = floatx80_default_nan_high;
floatx80_default_nan_high 3925 lib/libkern/softfloat.c             z.high = floatx80_default_nan_high;
floatx80_default_nan_high 4014 lib/libkern/softfloat.c         z.high = floatx80_default_nan_high;