diff options
Diffstat (limited to 'arch')
| -rw-r--r-- | arch/x86_64/include/arch/memory/paging/virtual_page.hpp | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/arch/x86_64/include/arch/memory/paging/virtual_page.hpp b/arch/x86_64/include/arch/memory/paging/virtual_page.hpp index 1ba0f7c..46140ff 100644 --- a/arch/x86_64/include/arch/memory/paging/virtual_page.hpp +++ b/arch/x86_64/include/arch/memory/paging/virtual_page.hpp @@ -87,10 +87,7 @@ namespace teachos::arch::memory::paging std::size_t level1_index = page.get_level_index(page_table::LEVEL1); std::optional<allocator::physical_frame> frame = page_table[level1_index].calculate_pointed_to_frame(); - if (frame.has_value()) - { - return frame; - } + return frame; } } } |