diff options
| author | Fabian Imhof <fabian.imhof@ost.ch> | 2024-11-03 12:15:43 +0000 |
|---|---|---|
| committer | Fabian Imhof <fabian.imhof@ost.ch> | 2024-11-03 12:15:43 +0000 |
| commit | 756ef3a6d6aa61656dddbfea97482c8698807e39 (patch) | |
| tree | b218624d0beebd2d61b5a5406d69158dad565d3d | |
| parent | 266560b90ab4772702c9c665c017c32cc735746d (diff) | |
| download | teachos-756ef3a6d6aa61656dddbfea97482c8698807e39.tar.xz teachos-756ef3a6d6aa61656dddbfea97482c8698807e39.zip | |
fix assert
| -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()); |