diff options
| -rw-r--r-- | arch/x86_64/include/arch/memory/paging/kernel_mapper.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/x86_64/include/arch/memory/paging/kernel_mapper.hpp b/arch/x86_64/include/arch/memory/paging/kernel_mapper.hpp index f06c4e2..3931db3 100644 --- a/arch/x86_64/include/arch/memory/paging/kernel_mapper.hpp +++ b/arch/x86_64/include/arch/memory/paging/kernel_mapper.hpp @@ -77,7 +77,7 @@ namespace teachos::arch::memory::paging active_page_table & active_table) -> void { auto physical_address = active_table.translate_address(PAGE_TABLE_LEVEL_4_ADDRESS); - exception_handling::assert(!physical_address.has_value(), + exception_handling::assert(physical_address.has_value(), "[Kernel Mapper] Physical address for active table not mapped"); auto const backup = allocator::physical_frame::containing_address(physical_address.value()); |