aboutsummaryrefslogtreecommitdiff
path: root/arch/x86_64/src/kernel/main.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'arch/x86_64/src/kernel/main.cpp')
-rw-r--r--arch/x86_64/src/kernel/main.cpp6
1 files changed, 5 insertions, 1 deletions
diff --git a/arch/x86_64/src/kernel/main.cpp b/arch/x86_64/src/kernel/main.cpp
index e067b48..5c55213 100644
--- a/arch/x86_64/src/kernel/main.cpp
+++ b/arch/x86_64/src/kernel/main.cpp
@@ -28,9 +28,13 @@ namespace teachos::arch::kernel
video::vga::text::write("Mapped physical frame: ", video::vga::text::common_attributes::green_on_black);
video::vga::text::write_number(optional_frame.value().frame_number,
video::vga::text::common_attributes::green_on_black);
+ video::vga::text::write(" to virtual page: ", video::vga::text::common_attributes::green_on_black);
+ video::vga::text::write_number(page.page_number, video::vga::text::common_attributes::green_on_black);
memory::paging::unmap_page(allocator, page);
- video::vga::text::write("Unapped physical page: ", video::vga::text::common_attributes::green_on_black);
+ video::vga::text::newline();
+ video::vga::text::write("Unapped virtual page from physical frame: ",
+ video::vga::text::common_attributes::green_on_black);
optional_frame = memory::paging::translate_page(page);
exception_handling::assert(!optional_frame.has_value(), "[Main] Ummapping failed");
video::vga::text::write_number(page.page_number, video::vga::text::common_attributes::green_on_black);