Symbol: float64_to_float32
lib/libc/softfloat/softfloat-for-gcc.h
43
#define float64_to_float32 __truncdfsf2
lib/libc/softfloat/softfloat.c
1529
float32 float64_to_float32( float64 a )
sys/lib/libkern/softfloat.c
2549
float32 float64_to_float32( float64 a )