From 67602ce85e490e064fdef32d9b60398a3dc3e9a5 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Sun, 27 Sep 2009 12:37:37 +0000 Subject: [PATCH] field for sanity check feature. --- servers/vm/region.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/servers/vm/region.h b/servers/vm/region.h index 9eaf1d41a..69419ec58 100644 --- 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; -- 2.44.0