Symbol: float64_to_uint32_round_to_zero
lib/libc/softfloat/softfloat-for-gcc.h
41
#define float64_to_uint32_round_to_zero __fixunsdfsi
sys/lib/libkern/softfloat.c
5506
uint32 float64_to_uint32_round_to_zero( float64 a )