diff options
| author | Fabian Imhof <fabian.imhof@ost.ch> | 2024-10-27 13:27:33 +0000 |
|---|---|---|
| committer | Fabian Imhof <fabian.imhof@ost.ch> | 2024-10-27 13:27:33 +0000 |
| commit | 1518177efac38961a36db0bc40152d00c38e6281 (patch) | |
| tree | 8c4ce4f8c5b967533a0a4b14aa1460cee9508405 /arch/x86_64/include | |
| parent | ca17ed52ea768f1e1c837207f7d27afa6ed99cc2 (diff) | |
| download | teachos-1518177efac38961a36db0bc40152d00c38e6281.tar.xz teachos-1518177efac38961a36db0bc40152d00c38e6281.zip | |
add correct optional handling
Diffstat (limited to 'arch/x86_64/include')
| -rw-r--r-- | arch/x86_64/include/arch/memory/paging/page_table.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/x86_64/include/arch/memory/paging/page_table.hpp b/arch/x86_64/include/arch/memory/paging/page_table.hpp index 291ea8d..8fcde9f 100644 --- a/arch/x86_64/include/arch/memory/paging/page_table.hpp +++ b/arch/x86_64/include/arch/memory/paging/page_table.hpp @@ -83,7 +83,7 @@ namespace teachos::arch::memory::paging // been created itself. So we have to do that before we are able to allocate the wanted frame. This has to be done // for every level, meaning we potenitally create a level 4, level 3 and level 2 page entry, each pointing to a // page table one level below. - if (!next_handle) + if (!next_handle.has_value()) { auto allocated_frame = allocator.allocate_frame(); exception_handling::assert(allocated_frame.has_value(), "[Page mapper] Unable to allocate frame"); |
