summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2016-02-07 12:54:49 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2016-02-07 12:54:49 +0100
commit48f34366eb90ce0fe1f4237f6e3aaa09256ed354 (patch)
tree1e287ba480b814462e8191893b5b9983270b580c
parenta8fd18db14cb2fd1f595be9f560fe18efb966774 (diff)
vm: remove unused field from struct vm_external
* vm/vm_external.h (struct vm_external): Remove unused field 'existence_count'.
-rw-r--r--vm/vm_external.h5
1 files changed, 5 insertions, 0 deletions
diff --git a/vm/vm_external.h b/vm/vm_external.h
index 55c9e48..4e44ddf 100644
--- a/vm/vm_external.h
+++ b/vm/vm_external.h
@@ -46,9 +46,14 @@ typedef struct vm_external {
* been written to backing
* storage.
*/
+#if 0
+ /* XXX: Currently, existence_count is not used. I guess it
+ could be useful to get rid of the map if the count drops to
+ zero. */
int existence_count;/* Number of bits turned on in
* existence_map.
*/
+#endif
} *vm_external_t;
#define VM_EXTERNAL_NULL ((vm_external_t) 0)