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