summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2021-08-09 21:43:51 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2021-08-09 21:45:40 +0200
commitd1c056f2e23b7a9fa91dd5132b040813bfc00487 (patch)
tree9a1a174fa3d76517d5289a81f89b2fd0e8639427
parent5179bcf28dac3fb39d7d4949964f038fe697bf4e (diff)
memory_object_proxy: Explicit that creation wants a send right
This is required anyway, and allows the caller to pass on MAKE_SEND.
-rw-r--r--include/mach/mach4.defs4
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;