| 451 | } |
| 452 | |
| 453 | void kernel_cache::unload() { |
| 454 | std::lock_guard<std::mutex> lock{_mutex}; |
| 455 | |
| 456 | _code_objects.clear(); |
| 457 | } |
| 458 | |
| 459 | const code_object* kernel_cache::get_code_object(code_object_id id) const { |
| 460 | std::lock_guard<std::mutex> lock{_mutex}; |