Searched refs:writeHex_bits12 (Results 1 – 1 of 1) sorted by relevance
83 static void writeHex_bits12( int16 a, FILE *stream ) in writeHex_bits12() function154 writeHex_bits12( a>>52, stream ); in writeHex_float64()156 writeHex_bits12( a>>40, stream ); in writeHex_float64()167 writeHex_bits12( a.high>>20, stream ); in writeHex_float64()169 writeHex_bits12( a.high>>8, stream ); in writeHex_float64()