[Openmp-commits] [openmp] [OpenMP][OMPT] Fix device identifier collision during callbacks (PR #65595)

[Jan Patrick Lehr via Openmp-commits]

================
@@ -1010,6 +1018,10 @@ struct GenericPluginTy {
   /// Number of devices available for the plugin.
   int32_t NumDevices = 0;
 
+  /// Offset which when added to a DeviceId will yield a unique, user-observable
+  /// device identifier.
----------------
jplehr wrote:

Should this be reworded in the sense that makes it clear that this is (mainly/only?) in scenarios with multiple different supported devices?

https://github.com/llvm/llvm-project/pull/65595