Searched refs:data_space_used (Results 1 – 2 of 2) sorted by relevance
125 int data_space_used, in WriteSpaceUsed() argument137 data_space_used); in WriteSpaceUsed()
201 int data_space_used,216 int data_space_used, in WriteSpaceUsed() argument228 fprintf(fp, "data %d\n", data_space_used); in WriteSpaceUsed()