aboutsummaryrefslogtreecommitdiff
path: root/arch/x86_64/include
diff options
context:
space:
mode:
Diffstat (limited to 'arch/x86_64/include')
-rw-r--r--arch/x86_64/include/arch/memory/paging/page_mapper.hpp5
1 files changed, 2 insertions, 3 deletions
diff --git a/arch/x86_64/include/arch/memory/paging/page_mapper.hpp b/arch/x86_64/include/arch/memory/paging/page_mapper.hpp
index a8cca4c..24d8cde 100644
--- a/arch/x86_64/include/arch/memory/paging/page_mapper.hpp
+++ b/arch/x86_64/include/arch/memory/paging/page_mapper.hpp
@@ -73,12 +73,11 @@ namespace teachos::arch::memory::paging
if (!next_handle)
{
auto allocated_frame = allocator.allocate_frame();
- exception_handling::assert(!allocated_frame.has_value(), "[Page mapper] Unable to allocate frame");
+ exception_handling::assert(allocated_frame.has_value(), "[Page mapper] Unable to allocate frame");
current_handle[level_index].set_entry(allocated_frame.value(), entry::PRESENT | entry::WRITABLE);
// There should now be an entry at the previously not existent index, therefore we can simply access it again.
next_handle = current_handle.next_table(page.get_level_index(level));
- exception_handling::assert(!next_handle.has_value(),
- "[Page mapper] Unable to create new entry into page table");
+ exception_handling::assert(next_handle.has_value(), "[Page mapper] Unable to create new entry into page table");
next_handle.value().zero_entries();
}
current_handle = next_handle.value();