diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-03 20:59:57 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-03 20:59:57 +0100 |
| commit | 79e8292a3be9a8786cfe14caa1ef074e98f95af7 (patch) | |
| tree | 315c015453ca8383f77fd9c79855d64619af0061 /debian | |
| parent | 1fa721029e3f533c85cdc956026c25341de70e61 (diff) | |
fix mutable-types.patch
Diffstat (limited to 'debian')
| -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 |