Searched refs:writeHex_bits12 (Results 1 – 1 of 1) sorted by relevance
51 static void writeHex_bits12( int16 a, FILE *stream ) in writeHex_bits12() function122 writeHex_bits12( a>>52, stream ); in writeHex_float64()124 writeHex_bits12( a>>40, stream ); in writeHex_float64()135 writeHex_bits12( a.high>>20, stream ); in writeHex_float64()137 writeHex_bits12( a.high>>8, stream ); in writeHex_float64()