diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-03 19:26:28 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-03 19:26:28 +0100 |
| commit | 1fa721029e3f533c85cdc956026c25341de70e61 (patch) | |
| tree | b01b4fea673b64bc97e26eee0ab1e2a371c2d8db | |
| parent | 60c3e63048b8902aded608a1613a4384afd7ae41 (diff) | |
add mutable-types.patch
| -rw-r--r-- | debian/patches/mutable-types.patch | 91 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 92 insertions, 0 deletions
diff --git a/debian/patches/mutable-types.patch b/debian/patches/mutable-types.patch new file mode 100644 index 0000000..57ef755 --- /dev/null +++ b/debian/patches/mutable-types.patch @@ -0,0 +1,91 @@ +diff --git a/include/mach/default_pager.defs b/include/mach/default_pager.defs +index e2154e2..ecf4aee 100644 +--- a/include/mach/default_pager.defs ++++ b/include/mach/default_pager.defs +@@ -31,17 +31,17 @@ subsystem default_pager 2275; + #include <mach/default_pager_types.defs> + + routine default_pager_object_create( +- default_pager : mach_port_t; ++ default_pager : default_pager_t; + out memory_object : memory_object_t = + MACH_MSG_TYPE_MAKE_SEND; + object_size : vm_size_t); + + routine default_pager_info( +- default_pager : mach_port_t; ++ default_pager : default_pager_t; + out info : default_pager_info_t); + + routine default_pager_objects( +- default_pager : mach_port_t; ++ default_pager : default_pager_t; + out objects : default_pager_object_array_t, + CountInOut, Dealloc; + out ports : mach_port_array_t = +@@ -49,17 +49,17 @@ routine default_pager_objects( + CountInOut, Dealloc); + + routine default_pager_object_pages( +- default_pager : mach_port_t; ++ default_pager : default_pager_t; + memory_object : memory_object_name_t; + out pages : default_pager_page_array_t, + CountInOut, Dealloc); + + routine default_pager_paging_file( +- default_pager : mach_port_t; ++ default_pager : default_pager_t; + master_device_port : mach_port_t; + filename : default_pager_filename_t; + add : boolean_t); + + routine default_pager_register_fileserver( +- default_pager : mach_port_t; ++ default_pager : default_pager_t; + fileserver_port : mach_port_t); +diff --git a/include/mach/default_pager_types.defs b/include/mach/default_pager_types.defs +index 3164f04..bca0f01 100644 +--- a/include/mach/default_pager_types.defs ++++ b/include/mach/default_pager_types.defs +@@ -29,6 +29,19 @@ + + #include <mach/std_types.defs> + ++type default_pager_t = mach_port_t ++ ctype: mach_port_t ++#ifdef DEFAULT_PAGER_INTRAN ++ intran: DEFAULT_PAGER_INTRAN ++#endif ++#ifdef DEFAULT_PAGER_OUTTRAN ++ outtran: DEFAULT_PAGER_OUTTRAN ++#endif ++#ifdef DEFAULT_PAGER_DESTRUCTOR ++ destructor: DEFAULT_PAGER_DESTRUCTOR ++#endif ++ ; ++ + type default_pager_info_t = struct[3] of natural_t; + + 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 +--- a/include/mach/mach_types.defs ++++ b/include/mach/mach_types.defs +@@ -150,6 +150,16 @@ type memory_object_name_t = mach_port_t + #if KERNEL_SERVER + intran: vm_object_t vm_object_lookup_name(mach_port_t) + destructor: vm_object_deallocate(vm_object_t) ++#else /* KERNEL_SERVER */ ++#ifdef MEMORY_OBJECT_INTRAN ++ intran: MEMORY_OBJECT_INTRAN ++#endif ++#ifdef MEMORY_OBJECT_OUTTRAN ++ outtran: MEMORY_OBJECT_OUTTRAN ++#endif ++#ifdef MEMORY_OBJECT_DESTRUCTOR ++ destructor: MEMORY_OBJECT_DESTRUCTOR ++#endif + #endif /* KERNEL_SERVER */ + ; + diff --git a/debian/patches/series b/debian/patches/series index 6b215aa..1ef9fa0 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,3 +5,4 @@ 70_dde.patch protected_payload.patch +mutable-types.patch |