From 3b762cafe0975dc3644ea60557fa788db6095847 Mon Sep 17 00:00:00 2001
From: Philipp Oppermann <dev@phil-opp.com>
Date: Fri, 9 Oct 2015 15:16:36 +0200
Subject: [PATCH] Add unmap assertion

---
 src/memory/paging/table.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/memory/paging/table.rs b/src/memory/paging/table.rs
index a2f2edc2..a5cc4076 100644
--- a/src/memory/paging/table.rs
+++ b/src/memory/paging/table.rs
@@ -60,7 +60,7 @@ pub fn map_to<A>(lock: &mut Lock, page: Page, frame: Frame, writable: bool,
 }
 
 pub fn unmap<A>(lock: &mut Lock, page: Page, allocator: &mut A) where A: FrameAllocator {
-    // TODO assertions
+    assert!(!page.is_unused());
     let p1_field = page.p1_page().field(page.p1_index());
     let frame = p1_field.pointed_frame();
     p1_field.set_unused();