typedef uint64_t ompd_device_t;
Summary The ompd_device_t type provides information about OpenMP devices.
Description OpenMP runtimes may utilize different underlying devices, each represented by a device identifier. The device identifiers can vary in size and format and, thus, are not explicitly represented in the OMPD interface. Instead, a device identifier is passed across the interface via its ompd_device_t kind, its size in bytes and a pointer to where it is stored. The OMPD library and the third-party tool use the ompd_device_t kind to interpret the format of the device identifier that is referenced by the pointer argument. Each different device identifier kind is represented by a unique unsigned 64-bit integer value.
Recommended values of ompd_device_t kinds are defined in the ompd-types.h header file, which is available on http://www.openmp.org/.