| 462 | } |
| 463 | |
| 464 | const code_object* kernel_cache::get_code_object_impl(code_object_id id) const { |
| 465 | auto it = _code_objects.find(id); |
| 466 | if(it == _code_objects.end()) |
| 467 | return nullptr; |
| 468 | return it->second.get(); |
| 469 | } |
| 470 | |
| 471 | std::string kernel_cache::get_persistent_cache_file(code_object_id id_of_binary) { |
| 472 | using namespace common::filesystem; |