Searched refs:header_file_size (Results 1 – 2 of 2) sorted by relevance
587 unsigned header_file_size() const { return FileInfo.size(); } in header_file_size() function
1711 if (FilesByUID.size() > HS.header_file_size()) in WriteHeaderSearch()1712 FilesByUID.resize(HS.header_file_size()); in WriteHeaderSearch()