Searched refs:write_u64 (Results 1 – 1 of 1) sorted by relevance
47 void write_u64(uint64_t x) { in write_u64() function81 void write_f64(double val) { write_u64(bit_cast<uint64_t>(val)); } in write_f64()