Method resetMemoryManagerPinned

src/backend/opencl/device_manager.cpp:431–437

}

void DeviceManager::resetMemoryManagerPinned() {
    // Replace with default memory manager
    std::unique_ptr<MemoryManagerBase> mgr(
        new common::DefaultMemoryManager(getDeviceCount(), common::MAX_BUFFERS,
                                         AF_MEM_DEBUG || AF_OPENCL_MEM_DEBUG));
    setMemoryManagerPinned(std::move(mgr));
}

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