Searched refs:zonetab_offset (Results 1 – 1 of 1) sorted by relevance
152 int zonetab_offset = (int) f.getFilePointer(); in ZoneCompactor() local170 f.writeInt(zonetab_offset); in ZoneCompactor()