diff options
Diffstat (limited to 'debian/patches/vm-external-fixes0003-vm-initialize-external-maps.patch')
-rw-r--r-- | debian/patches/vm-external-fixes0003-vm-initialize-external-maps.patch | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/debian/patches/vm-external-fixes0003-vm-initialize-external-maps.patch b/debian/patches/vm-external-fixes0003-vm-initialize-external-maps.patch deleted file mode 100644 index a1d92a1..0000000 --- a/debian/patches/vm-external-fixes0003-vm-initialize-external-maps.patch +++ /dev/null @@ -1,25 +0,0 @@ -From ca3f6f5c703ea690869c7173be817999e1eddef3 Mon Sep 17 00:00:00 2001 -From: Justus Winter <4winter@informatik.uni-hamburg.de> -Date: Sun, 7 Feb 2016 13:01:10 +0100 -Subject: [PATCH gnumach 3/3] vm: initialize external maps - -* vm/vm_external.c (vm_external_create): Initialize allocated maps. ---- - vm/vm_external.c | 1 + - 1 file changed, 1 insertion(+) - -diff --git a/vm/vm_external.c b/vm/vm_external.c -index 7584a2b..6e71918 100644 ---- a/vm/vm_external.c -+++ b/vm/vm_external.c -@@ -74,6 +74,7 @@ vm_external_t vm_external_create(vm_offset_t size) - (char *) kmem_cache_alloc(&vm_object_large_existence_map_cache); - result->existence_size = LARGE_SIZE; - } -+ memset (result->existence_map, 0, result->existence_size); - return(result); - } - --- -2.1.4 - |