Function init

src/backend/opencl/platform.cpp:226–229

}

void init() {
    thread_local const DeviceManager& devMngr = DeviceManager::getInstance();
    UNUSED(devMngr);
}

int getActiveDeviceId() {
    // Second element is the queue id, which is