Function getActiveDeviceId

src/backend/opencl/platform.cpp:231–235

}

int getActiveDeviceId() {
    // Second element is the queue id, which is
    // what we mean by active device id in opencl backend
    return get<1>(tlocalActiveDeviceId());
}

int getDeviceIdFromNativeId(cl_device_id id) {
    DeviceManager& devMngr = DeviceManager::getInstance();