use DeviceUid setter in generic device constructor

Author: ro-i

offload/plugins-nextgen/common/src/PluginInterface.cpp

@@ -715,8 +715,9 @@ GenericDeviceTy::GenericDeviceTy(GenericPluginTy &Plugin, int32_t DeviceId,
       DeviceId(DeviceId), GridValues(OMPGridValues),
       PeerAccesses(NumDevices, PeerAccessState::PENDING), PeerAccessesLock(),
       PinnedAllocs(*this), RPCServer(nullptr) {
-  DeviceUid = std::string(Plugin.getName()) + "-" +
-              std::to_string(static_cast<uint64_t>(DeviceId));
+  // Conservative fall-back to the plugin's device uid for the case that no real
+  // vendor (u)uid will become available later.
+  setDeviceUidFromVendorUid(std::to_string(static_cast<uint64_t>(DeviceId)));
 
 #ifdef OMPT_SUPPORT
   OmptInitialized.store(false);