| 166 | } |
| 167 | |
| 168 | void Server::ProcessTerminate(PID pid) |
| 169 | { |
| 170 | auto e = std::make_shared<ProcessDestroyEvent>(pid); |
| 171 | scheduler_->RecvEvent(e); |
| 172 | this->CleanUpProcess(pid); |
| 173 | ipc::Channel::Remove((ipc::ChannelKey)pid); |
| 174 | } |
| 175 | |
| 176 | void Server::SendHint(std::shared_ptr<const sched::Hint> hint) |
| 177 | { |
nothing calls this directly
no test coverage detected