diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-08-09 21:43:51 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-08-09 21:45:40 +0200 |
| commit | d1c056f2e23b7a9fa91dd5132b040813bfc00487 (patch) | |
| tree | 9a1a174fa3d76517d5289a81f89b2fd0e8639427 /include | |
| parent | 5179bcf28dac3fb39d7d4949964f038fe697bf4e (diff) | |
| download | gnumach-d1c056f2e23b7a9fa91dd5132b040813bfc00487.tar.gz gnumach-d1c056f2e23b7a9fa91dd5132b040813bfc00487.tar.bz2 gnumach-d1c056f2e23b7a9fa91dd5132b040813bfc00487.zip | |
memory_object_proxy: Explicit that creation wants a send right
This is required anyway, and allows the caller to pass on MAKE_SEND.
Diffstat (limited to 'include')
| -rw-r--r-- | include/mach/mach4.defs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/mach/mach4.defs b/include/mach/mach4.defs index 114edf4e..98af5905 100644 --- a/include/mach/mach4.defs +++ b/include/mach/mach4.defs @@ -98,14 +98,14 @@ skip /* pc_sampling reserved 4*/; /* Create a new proxy memory object from [START;START+LEN) in the - given OBJECT at OFFSET in the new object with the maximum + given memory object OBJECT at OFFSET in the new object with the maximum protection MAX_PROTECTION and return it in *PORT. */ type vm_offset_array_t = array[*:1024] of vm_offset_t; routine memory_object_create_proxy( task : ipc_space_t; max_protection : vm_prot_t; object : memory_object_array_t = - array[*:1024] of memory_object_t; + array[*:1024] of mach_port_send_t; offset : vm_offset_array_t; start : vm_offset_array_t; len : vm_offset_array_t; |