diff --git a/src/kernel/memory/vmm.tt b/src/kernel/memory/vmm.tt index 398e027..a505d67 100644 --- a/src/kernel/memory/vmm.tt +++ b/src/kernel/memory/vmm.tt @@ -155,3 +155,13 @@ TEST(free_page_does_not_unset_P2_entry_if_not_asked_to) ASSERT_NEQ_PTR(p2[3], 0); } +TEST(free_page_does_not_unset_P2_entry_if_P1_is_not_empty) +{ + BUILD_PT(1,2,3); + p1[4] = PAGE_PRESENT; + p1[0] = PAGE_PRESENT; + + free_page(p4, ADDR1234, 1); + + ASSERT_NEQ_PTR(p2[3], 0); +}