Searched refs:device_prefix (Results 1 – 1 of 1) sorted by relevance
90 const string& device_prefix, const string& device_type, in DeviceName() argument98 device_prefix, device_type, ":", id); in DeviceName()