| 284 | } |
| 285 | |
| 286 | std::shared_ptr<MemoryManager> CPUDevice::memory_manager(MemoryPool* pool) { |
| 287 | if (pool == default_memory_pool()) { |
| 288 | return default_cpu_memory_manager(); |
| 289 | } else { |
| 290 | return CPUMemoryManager::Make(Instance(), pool); |
| 291 | } |
| 292 | } |
| 293 | |
| 294 | std::shared_ptr<MemoryManager> CPUDevice::default_memory_manager() { |
| 295 | return default_cpu_memory_manager(); |