Как получить доступ к числовому значению переменной cl_device_id в OpenCL C++ ⇐ C++

[Гость]

Я создал вектор произвольного типа, размер которого равен количеству графических устройств на платформе. Теперь идея состоит в том, чтобы получить доступ к элементу из этого вектора по индексу текущего устройства, ссылающегося на этот вектор. Например, если устройство с идентификатором 0 в данный момент ссылается на этот вектор, мне нужно получить доступ к элементу с индексом 0 из этого вектора.
Фактическая проблема заключается в типе идентификатора устройства, который, похоже, имеет тип cl_Device_id. Поскольку для доступа к вектору с помощью [] нам нужен тип int, нам нужно числовое значение идентификатора устройства. Поскольку я новичок, я не знаю, как получить доступ к числовому значению этой переменной, то есть к фактическому идентификатору устройства.
После просмотра файла заголовка (cl.h) кажется, что это struct, но его определения нигде нет.