floatx80_to_int32_round_to_zero
int32 floatx80_to_int32_round_to_zero( floatx80 a )
#define floatx80_to_int32_round_to_zero __fixxfsi