diff options
Diffstat (limited to 'debian/patches/vm-external-fixes0001-vm-remove-unused-field-from-struct-vm_external.patch')
| -rw-r--r-- | debian/patches/vm-external-fixes0001-vm-remove-unused-field-from-struct-vm_external.patch | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/debian/patches/vm-external-fixes0001-vm-remove-unused-field-from-struct-vm_external.patch b/debian/patches/vm-external-fixes0001-vm-remove-unused-field-from-struct-vm_external.patch deleted file mode 100644 index 7e7eb8c..0000000 --- a/debian/patches/vm-external-fixes0001-vm-remove-unused-field-from-struct-vm_external.patch +++ /dev/null @@ -1,33 +0,0 @@ -From 48f34366eb90ce0fe1f4237f6e3aaa09256ed354 Mon Sep 17 00:00:00 2001 -From: Justus Winter <4winter@informatik.uni-hamburg.de> -Date: Sun, 7 Feb 2016 12:54:49 +0100 -Subject: [PATCH gnumach 1/3] vm: remove unused field from struct vm_external - -* vm/vm_external.h (struct vm_external): Remove unused field -'existence_count'. ---- - vm/vm_external.h | 5 +++++ - 1 file changed, 5 insertions(+) - -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) --- -2.1.4 - |