Symbol: ecb_binary32_to_float
crypto/krb5/src/util/verto/ev.c
1385
ecb_function_ ecb_const float ecb_binary32_to_float (uint32_t x);
crypto/krb5/src/util/verto/ev.c
1497
return ecb_binary32_to_float (ecb_binary16_to_binary32 (x));