Index: doc/BUGS_FOUND
===================================================================
--- doc/BUGS_FOUND	(revision 8c5e6c749daf4b1aaa266e21aed9b6fdc3809b02)
+++ doc/BUGS_FOUND	(revision cad5ce88380521f0cbd37f51c10a4cb77b8af8a4)
@@ -14,4 +14,5 @@
 ====
 - Incorrect interpretation of lwl/lwr/swl/swr instructions
+- Omitted excMod case in write_proc_mem()
 
 Gcc
Index: test/mm/mapping1/test.c
===================================================================
--- test/mm/mapping1/test.c	(revision 8c5e6c749daf4b1aaa266e21aed9b6fdc3809b02)
+++ test/mm/mapping1/test.c	(revision cad5ce88380521f0cbd37f51c10a4cb77b8af8a4)
@@ -43,5 +43,5 @@
 {
 	__address frame0, frame1;
-	__u32 v0, v1;
+	volatile __u32 v0, v1;
 
 	printf("Memory management test mapping #1\n");
@@ -70,4 +70,7 @@
 	printf("Writing %X to virtual address %P.\n", 0, PAGE1);
 	*((__u32 *) PAGE1) = 0;	
+
+	v0 = *((__u32 *) PAGE0);
+	v1 = *((__u32 *) PAGE1);
 	
 	printf("Value at virtual address %P is %X.\n", PAGE0, v0 = *((__u32 *) PAGE0));