Index: genarch/src/mm/page_ht.c
===================================================================
--- genarch/src/mm/page_ht.c	(revision ecbdc7245534ef719f1c33d657c2cee6ab034ab6)
+++ genarch/src/mm/page_ht.c	(revision 9ad03fec78002f6c5bc6a172560ca90686f6e17d)
@@ -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);
 	}