+ for them). The kernel may throw an exception if the actual size
+ is greater than specified in this field.
+
+ This only covers the "normal" segments which are mapped only
+ for the duration of the call. Copy segments are handled
+ separately.
+
+ copy_size 32-bit Size of all Copy segments.
+
+ This is like buffer_size, but for Copy segments.
+
+ objlist_ptr pointer Pointer to the object list
+ newobj_ptr pointer Pointer to the new object list.
+ objlist_len 32-bit Length of the object list, in IDs
+ newobj_len 32-bit Length of the new object list.
+
+ The object list is a special segment that contains object IDs
+ rather than arbitrary data. Each object ID will be translated
+ into the destination ID-space, allocating new IDs when
+ necessary. The IDs themselves are 32 bits each, unsigned,
+ regardless of the pointer size. The first object in the list
+ is the object to receive the message.
+
+ Objects which live in this address space have the high bit
+ clear; remote objects have the high bit set. When sending
+ an object reference that has not been exposed to the kernel
+ before, its interface hash should exist in the newobj list.