Index: genarch/src/mm/page_ht.c
===================================================================
--- genarch/src/mm/page_ht.c	(revision d87c3f3d6ecce3cef508faa5142aa822aa7ad387)
+++ genarch/src/mm/page_ht.c	(revision 03427d078778ca1fdd95dc67f157523be0328ae8)
@@ -172,5 +172,16 @@
 		t = (pte_t *) malloc(sizeof(pte_t), FRAME_ATOMIC);
 		ASSERT(t != NULL);
-	
+
+		t->g = (flags & PAGE_GLOBAL) != 0;
+		t->x = (flags & PAGE_EXEC) != 0;
+		t->w = (flags & PAGE_WRITE) != 0;
+		t->k = !(flags & PAGE_USER);
+		t->c = (flags & PAGE_CACHEABLE) != 0;
+		t->p = !(flags & PAGE_NOT_PRESENT);
+
+		t->as = as;
+		t->page = page;
+		t->frame = frame;
+
 		hash_table_insert(&page_ht, key, &t->link);
 	}