| 50 | void shutdownMemoryManager() { memoryManager().shutdown(); } |
| 51 | |
| 52 | void printMemInfo(const char *msg, const int device) { |
| 53 | memoryManager().printInfo(msg, device); |
| 54 | } |
| 55 | |
| 56 | template<typename T> |
| 57 | unique_ptr<T[], function<void(void *)>> memAlloc(const size_t &elements) { |