Symbol: float64_to_uint64
sys/arch/alpha/alpha/fp_complete.c
358
tfc.i = tfb.sign ? float64_to_int64(tfb.i) : float64_to_uint64(tfb.i);
sys/lib/libkern/softfloat.h
217
uint64_t float64_to_uint64( float64 );