diff options
| author | Fernando Sahmkow <fsahmkow27@gmail.com> | 2019-10-12 08:21:51 -0400 |
|---|---|---|
| committer | FernandoS27 <fsahmkow27@gmail.com> | 2019-10-15 11:55:24 -0400 |
| commit | 25f8606a6dab595eb7a92fce9be32e0489079964 (patch) | |
| tree | 66ab40014264b8ef8567831ba438e29dd672b255 /src/core/core_cpu.h | |
| parent | b3c1deba494d78158ea6764802880b249fe64416 (diff) | |
Kernel Scheduler: Make sure the global scheduler shutdowns correctly.
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: return core_index; } + void Shutdown(); + static std::unique_ptr<ExclusiveMonitor> MakeExclusiveMonitor(std::size_t num_cores); private: |