diff options
| author | Matteo Gmür <matteo.gmuer1@ost.ch> | 2024-10-28 14:41:31 +0000 |
|---|---|---|
| committer | Matteo Gmür <matteo.gmuer1@ost.ch> | 2024-10-28 14:41:31 +0000 |
| commit | aa981cad951c4aa2a5e2f7a7f8f1b7b9a0ff4bcd (patch) | |
| tree | 1a9f314e3751a164ec20bdd71947d403ec6bbb6f /arch/x86_64/src/kernel | |
| parent | e5925df93411429340d2887594004aaa690d2ef5 (diff) | |
| download | teachos-aa981cad951c4aa2a5e2f7a7f8f1b7b9a0ff4bcd.tar.xz teachos-aa981cad951c4aa2a5e2f7a7f8f1b7b9a0ff4bcd.zip | |
Fix lost updates, because of writing into copies instead of references
Diffstat (limited to 'arch/x86_64/src/kernel')
| -rw-r--r-- | arch/x86_64/src/kernel/main.cpp | 6 |
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); |