Method ~DeviceManager

src/backend/oneapi/device_manager.cpp:289–295

}

DeviceManager::~DeviceManager() {
    for (int i = 0; i < getDeviceCount(); ++i) { gfxManagers[i] = nullptr; }
    memManager       = nullptr;
    pinnedMemManager = nullptr;

    // TODO: cleanup mQueues, mContexts, mDevices??
}

void DeviceManager::markDeviceForInterop(const int device,
                                         const void* wHandle) {