| 53 | void shutdownPinnedMemoryManager() { pinnedMemoryManager().shutdown(); } |
| 54 | |
| 55 | void printMemInfo(const char *msg, const int device) { |
| 56 | memoryManager().printInfo(msg, device); |
| 57 | } |
| 58 | |
| 59 | template<typename T> |
| 60 | // unique_ptr<cl::Buffer, function<void(cl::Buffer *)>> memAlloc( |