Index: kernel/arch/arm32/include/arch/mm/page_armv6.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision b9eaa00595710b3f670a3def08c17fed9e45b109)
+++ kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision 2e842f2f44fea53af241bdcbe95c939ad9e028b5)
@@ -205,4 +205,5 @@
 		p->ns = 0;
 	}
+	DCCMVAU_write((uint32_t)p);
 }
 
@@ -255,4 +256,5 @@
 			p->access_permission_1 = PTE_AP1_RO;
 	}
+	DCCMVAU_write((uint32_t)p);
 }
 
@@ -265,4 +267,5 @@
 	write_barrier();
 	p->descriptor_type = PTE_DESCRIPTOR_COARSE_TABLE;
+	DCCMVAU_write((uint32_t)p);
 }
 
@@ -272,4 +275,5 @@
 
 	p->descriptor_type = PTE_DESCRIPTOR_SMALL_PAGE;
+	DCCMVAU_write((uint32_t)p);
 }