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