diff options
| author | Fabian Imhof <fabian.imhof@ost.ch> | 2024-10-20 08:13:33 +0000 |
|---|---|---|
| committer | Fabian Imhof <fabian.imhof@ost.ch> | 2024-10-20 08:13:33 +0000 |
| commit | 5b5e8dec97f6f619faa13ee813df21837fe83a57 (patch) | |
| tree | 7ecc362ebb7e36bc07a3561b16a1a5343643a2f3 | |
| parent | 882ccdcc0e3c19fbcc595c6a371ef79587f63648 (diff) | |
| download | teachos-5b5e8dec97f6f619faa13ee813df21837fe83a57.tar.xz teachos-5b5e8dec97f6f619faa13ee813df21837fe83a57.zip | |
add types
| -rw-r--r-- | arch/x86_64/include/arch/memory/paging/virtual_page.hpp | 4 |
1 files changed, 2 insertions, 2 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 5a025fa..1ba0f7c 100644 --- a/arch/x86_64/include/arch/memory/paging/virtual_page.hpp +++ b/arch/x86_64/include/arch/memory/paging/virtual_page.hpp @@ -84,8 +84,8 @@ namespace teachos::arch::memory::paging if (is_valid) { - auto level1_index = page.get_level_index(page_table::LEVEL1); - auto frame = page_table[level1_index].calculate_pointed_to_frame(); + 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()) { |