From 5b5e8dec97f6f619faa13ee813df21837fe83a57 Mon Sep 17 00:00:00 2001
From: Fabian Imhof <fabian.imhof@ost.ch>
Date: Sun, 20 Oct 2024 08:13:33 +0000
Subject: add types

---
 arch/x86_64/include/arch/memory/paging/virtual_page.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'arch/x86_64')

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())
           {
-- 
cgit v1.2.3