diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-03 21:27:01 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-03 21:27:01 +0100 |
| commit | 5f76922e9f8a60d86ae1911fd99a6bfacaab649f (patch) | |
| tree | 9faccf17c170a6ee037dbfb434a366b42fb6d4ba | |
| parent | 79e8292a3be9a8786cfe14caa1ef074e98f95af7 (diff) | |
fix mutable-types.patch
| -rw-r--r-- | debian/patches/mutable-types.patch | 26 |
1 files changed, 23 insertions, 3 deletions
diff --git a/debian/patches/mutable-types.patch b/debian/patches/mutable-types.patch index c1160c9..5857d1c 100644 --- a/debian/patches/mutable-types.patch +++ b/debian/patches/mutable-types.patch @@ -1,10 +1,15 @@ diff --git a/include/mach/default_pager.defs b/include/mach/default_pager.defs -index e2154e2..ecf4aee 100644 +index e2154e2..242734d 100644 --- a/include/mach/default_pager.defs +++ b/include/mach/default_pager.defs -@@ -31,17 +31,17 @@ subsystem default_pager 2275; +@@ -30,18 +30,22 @@ subsystem default_pager 2275; + #include <mach/mach_types.defs> #include <mach/default_pager_types.defs> ++#ifdef DEFAULT_PAGER_IMPORTS ++DEFAULT_PAGER_IMPORTS ++#endif ++ routine default_pager_object_create( - default_pager : mach_port_t; + default_pager : default_pager_t; @@ -23,7 +28,7 @@ index e2154e2..ecf4aee 100644 out objects : default_pager_object_array_t, CountInOut, Dealloc; out ports : mach_port_array_t = -@@ -49,17 +49,17 @@ routine default_pager_objects( +@@ -49,17 +53,17 @@ routine default_pager_objects( CountInOut, Dealloc); routine default_pager_object_pages( @@ -89,3 +94,18 @@ index 607d5d9..bfce6cb 100644 #endif /* KERNEL_SERVER */ ; +diff --git a/include/mach/memory_object.defs b/include/mach/memory_object.defs +index ea7989a..7732955 100644 +--- a/include/mach/memory_object.defs ++++ b/include/mach/memory_object.defs +@@ -42,6 +42,10 @@ subsystem + #include <mach/std_types.defs> + #include <mach/mach_types.defs> + ++#ifdef MEMORY_OBJECT_IMPORTS ++MEMORY_OBJECT_IMPORTS ++#endif ++ + #if SEQNOS + serverprefix seqnos_; + serverdemux seqnos_memory_object_server; |