Searched refs:json_writer_uint64 (Results 1 – 3 of 3) sorted by relevance
31 void json_writer_uint64(JSONWriter *, const char *name, uint64_t val);
166 json_writer_uint64(writer, name, val->u.u64); in to_json()
221 void json_writer_uint64(JSONWriter *writer, const char *name, uint64_t val) in json_writer_uint64() function