Method resetMemoryManagerPinned

src/backend/cuda/device_manager.cpp:438–444

}

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

/// A debug only function that checks to see if the driver or runtime
/// function is part of the CudaToDriverVersion array. If the runtime