| 57 | void shutdownPinnedMemoryManager() { pinnedMemoryManager().shutdown(); } |
| 58 | |
| 59 | void printMemInfo(const char *msg, const int device) { |
| 60 | memoryManager().printInfo(msg, device); |
| 61 | } |
| 62 | |
| 63 | template<typename T> |
| 64 | uptr<T> memAlloc(const size_t &elements) { |