Searched defs:write_table64 (Results 1 – 3 of 3) sorted by relevance
478 local void write_table64(out, table, k) in write_table64() function