Function getActiveDeviceId

src/backend/cpu/platform.cpp:125–125

Get the currently active device id

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

size_t getDeviceMemorySize(int device) {
    UNUSED(device);