Function init

src/backend/cpu/platform.cpp:119–122

int getDeviceCount() { return DeviceManager::NUM_DEVICES; }

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

// Get the currently active device id
unsigned getActiveDeviceId() { return DeviceManager::ACTIVE_DEVICE_ID; }