Symbol: ecb_binary32_to_binary16
crypto/krb5/src/util/verto/ev.c
1229
ecb_function_ ecb_const uint16_t ecb_binary32_to_binary16 (uint32_t x);
crypto/krb5/src/util/verto/ev.c
1489
return ecb_binary32_to_binary16 (ecb_float_to_binary32 (x));