diff options
| -rw-r--r-- | debian/patches/mutable-types.patch | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/debian/patches/mutable-types.patch b/debian/patches/mutable-types.patch index 57ef755..c1160c9 100644 --- a/debian/patches/mutable-types.patch +++ b/debian/patches/mutable-types.patch @@ -69,13 +69,13 @@ index 3164f04..bca0f01 100644 type default_pager_object_t = struct[2] of natural_t; diff --git a/include/mach/mach_types.defs b/include/mach/mach_types.defs -index 607d5d9..ba39a4b 100644 +index 607d5d9..bfce6cb 100644 --- a/include/mach/mach_types.defs +++ b/include/mach/mach_types.defs -@@ -150,6 +150,16 @@ type memory_object_name_t = mach_port_t +@@ -135,6 +135,16 @@ type memory_object_t = mach_port_t + ctype: mach_port_t #if KERNEL_SERVER - intran: vm_object_t vm_object_lookup_name(mach_port_t) - destructor: vm_object_deallocate(vm_object_t) + intran: ipc_port_t null_conversion(mach_port_t) +#else /* KERNEL_SERVER */ +#ifdef MEMORY_OBJECT_INTRAN + intran: MEMORY_OBJECT_INTRAN |