diff options
Diffstat (limited to 'src/core/core_cpu.h')
| -rw-r--r-- | src/core/core_cpu.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/core/core_cpu.h b/src/core/core_cpu.h index 80261daf7..cafca8df7 100644 --- a/src/core/core_cpu.h +++ b/src/core/core_cpu.h | |||
| @@ -84,6 +84,8 @@ public: | |||
| 84 | return core_index; | 84 | return core_index; |
| 85 | } | 85 | } |
| 86 | 86 | ||
| 87 | void Shutdown(); | ||
| 88 | |||
| 87 | static std::unique_ptr<ExclusiveMonitor> MakeExclusiveMonitor(std::size_t num_cores); | 89 | static std::unique_ptr<ExclusiveMonitor> MakeExclusiveMonitor(std::size_t num_cores); |
| 88 | 90 | ||
| 89 | private: | 91 | private: |