Searched refs:fileNumber (Results 1 – 2 of 2) sorted by relevance
94 unsigned int fileNumber = getFileNumber(page); in getReadVout() local95 std::string fileName = std::format("in{}_input", fileNumber); in getReadVout()115 unsigned int fileNumber = getFileNumber(page); in getVoutUVFaultLimit() local116 std::string fileName = std::format("in{}_lcrit", fileNumber); in getVoutUVFaultLimit()162 unsigned int fileNumber; in buildPageToFileNumberMap() local168 if (isLabelFile(fileName, fileNumber)) in buildPageToFileNumberMap()175 pageToFileNumber.emplace(*page, fileNumber); in buildPageToFileNumberMap()191 unsigned int& fileNumber) in isLabelFile() argument206 fileNumber = std::stoul(fileNumberStr); in isLabelFile()
209 unsigned int& fileNumber);