Method getCPUInfo

src/backend/cpu/device_manager.cpp:142–142

}

CPUInfo DeviceManager::getCPUInfo() const { return cinfo; }

void DeviceManager::resetMemoryManager() {
    // Replace with default memory manager