[SCM] MIG branch, master, updated. v1.8-42-gc406040

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "MIG".

The branch, master has been updated
       via  c40604042bd6e9f80e4f5fe6bc9deefb29c4b94a (commit)
      from  b5a567954ce3b4d236b7a2375a6a00f3a4a853e8 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit c40604042bd6e9f80e4f5fe6bc9deefb29c4b94a
Author: Flavio Cruz <flaviocruz@gmail.com>
Date:   Fri Nov 24 16:30:40 2023 -0500

    x86_64: adapt MiG generated stubs to use mach_port_name_inlined_t for 
inlined port rights.
    
    For i686, we just change the code to use mach_port_name_inlined_t when
    defining the types. This is a no-op.
    
    For x86_64, there's a few things that are different:
    - In the server code, the server handler can get inlined ports and the
      array will be resized and cast as an array of mach_port_name_t. Output
      parameters have a similar treatment where the inlined array in the
      output is used as an array of mach_port_name_t but resized to look like
      a mach_port_name_inlined_t.
    - In the user side, we follow the same approach. Input ports as arrays
      of mach_port_name_t are expanded into an array of 
mach_port_name_inlined_t.
      Output ports are then converted back into an array of
      mach_port_name_inlined_t so that they fit into the expected message
      format.
    
    Essentially, regardless of whether port rights are inline or out of
    line, user interfaces and server stubs always receive an array of port
    rights, not mach_port_name_inlined_t. However, inlined port rights will
    be exchanged using mach_port_name_inlined_t.
    Message-ID: <20231124213041.952886-4-flaviocruz@gmail.com>

-----------------------------------------------------------------------

Summary of changes:
 cpu.sym   |   1 +
 global.c  |   4 +-
 parser.y  |   4 --
 routine.c |   6 +++
 server.c  | 155 +++++++++++++++++++++++++++++++++++++++++++++++---------------
 type.c    |  36 ++++++++++-----
 type.h    |   5 ++
 user.c    | 123 ++++++++++++++++++++++++++++++++++++-------------
 utils.c   |  28 +++++++++---
 9 files changed, 271 insertions(+), 91 deletions(-)


hooks/post-receive
-- 
MIG