Symbol: floatx80_to_int64
lib/libc/softfloat/bits64/softfloat.c
3416
int64 floatx80_to_int64( floatx80 a )
sys/lib/libkern/softfloat.c
3282
int64 floatx80_to_int64( floatx80 a )