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