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