Searched refs:tnf_get_float64 (Results 1 – 4 of 4) sorted by relevance
159 tnf_get_float64(tnf_datum_t datum) in tnf_get_float64() function
190 tnf_float64_t tnf_get_float64(tnf_datum_t);
57 tnf_get_float64;
294 (void) printf("%f", tnf_get_float64(datum)); in describe_scalar()