Searched refs:double_to_float (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/tools/nanopb/examples/using_double_on_avr/
H A Ddouble_conversion.h22 extern float double_to_float(uint64_t value);
H A Ddecode_double.c19 float v1 = double_to_float(message.field1);
20 float v2 = double_to_float(message.field2);
H A Ddouble_conversion.c62 float double_to_float(uint64_t value) function
H A Dtest_conversions.c28 float got_float = double_to_float(*(uint64_t*)&orig);
38 printf("%3d double_to_float fail: %08x != %08x\n", i, g1, e1);

Completed in 31 milliseconds