Symbol: int64_to_float32
lib/libc/softfloat/softfloat-for-gcc.h
34
#define int64_to_float32 __floatdisf
sys/lib/libkern/softfloat.c
1271
float32 int64_to_float32( int64 a )