field for sanity check feature.

diff --git a/servers/vm/region.h b/servers/vm/region.h
index 9eaf1d41a749b124ff084a92d77d542c42536a91..69419ec58acd4a2407c148eedf35558e74e47f14 100644 (file)
--- a/servers/vm/region.h
+++ b/servers/vm/region.h
@@ -32,6 +32,9 @@ typedef struct phys_region {
        struct phys_block       *ph;
        struct vir_region       *parent; /* parent vir_region. */
        vir_bytes               offset; /* offset from start of vir region */
+#if SANITYCHECKS
+       int                     written;        /* written to pagetable */
+#endif
 
        /* list of phys_regions that reference the same phys_block */
        struct phys_region      *next_ph_list;