syst_float32_to_floatx80
ENTRY(syst_float32_to_floatx80)
floatx80 syst_float32_to_floatx80( float32 a )