| 488 | } |
| 489 | |
| 490 | void resetMemoryManager() { |
| 491 | return DeviceManager::getInstance().resetMemoryManager(); |
| 492 | } |
| 493 | |
| 494 | void setMemoryManagerPinned(unique_ptr<MemoryManagerBase> mgr) { |
| 495 | return DeviceManager::getInstance().setMemoryManagerPinned(move(mgr)); |
nothing calls this directly
no test coverage detected