9 std::string deviceName, std::string deviceFile, std::string mapFileName) {
10 static int lineNumber = 1;
12 if(deviceFile ==
"/dev/dummy_device_identifier") deviceFile =
appendNumberToName(deviceName, lineNumber);
13 if(mapFileName ==
"/dev/dummy_map_file") mapFileName =
appendNumberToName(deviceName, lineNumber);
16 deviceInfo.
uri = deviceFile;
23 std::stringstream deviceName;
24 deviceName << name << suffixNumber;
25 return (deviceName.str());