Applied, thanks!
Flavio Cruz, le dim. 27 nov. 2022 20:10:26 -0500, a ecrit:
> Also update C definition to use proper types.
> ---
> include/mach/mach_types.defs | 12 +++++++++++-
> include/mach/port.h | 14 +++++++-------
> 2 files changed, 18 insertions(+), 8 deletions(-)
>
> diff --git a/include/mach/mach_types.defs b/include/mach/mach_types.defs
> index f7106946..3ef9611e 100644
> --- a/include/mach/mach_types.defs
> +++ b/include/mach/mach_types.defs
> @@ -58,7 +58,17 @@ userprefix USERPREFIX;
> serverprefix SERVERPREFIX;
> #endif
>
> -type mach_port_status_t = struct[9] of integer_t;
> +type mach_port_status_t = struct {
> + mach_port_name_t mps_pset; /* containing port set */
> + mach_port_seqno_t mps_seqno; /* sequence number */
> + mach_port_mscount_t mps_mscount; /* make-send count */
> + mach_port_msgcount_t mps_qlimit; /* queue limit */
> + mach_port_msgcount_t mps_msgcount; /* number in the queue */
> + mach_port_rights_t mps_sorights; /* how many send-once rights */
> + boolean_t mps_srights; /* do send rights exist? */
> + boolean_t mps_pdrequest; /* port-deleted requested? */
> + boolean_t mps_nsrequest; /* no-senders requested? */
> +};
>
> type task_t = mach_port_t
> ctype: mach_port_t
> diff --git a/include/mach/port.h b/include/mach/port.h
> index d25eb0b4..caa6b713 100644
> --- a/include/mach/port.h
> +++ b/include/mach/port.h
> @@ -140,13 +140,13 @@ typedef unsigned int mach_port_rights_t; /*
> number of rights */
> typedef struct mach_port_status {
> mach_port_name_t mps_pset; /* containing port set */
> mach_port_seqno_t mps_seqno; /* sequence number */
> -/*mach_port_mscount_t*/natural_t mps_mscount; /* make-send count */
> -/*mach_port_msgcount_t*/natural_t mps_qlimit; /* queue limit */
> -/*mach_port_msgcount_t*/natural_t mps_msgcount; /* number in the queue
> */
> -/*mach_port_rights_t*/natural_t mps_sorights; /* how many send-once
> rights */
> -/*boolean_t*/natural_t mps_srights; /* do send rights
> exist? */
> -/*boolean_t*/natural_t mps_pdrequest; /* port-deleted
> requested? */
> -/*boolean_t*/natural_t mps_nsrequest; /* no-senders
> requested? */
> + mach_port_mscount_t mps_mscount; /* make-send count */
> + mach_port_msgcount_t mps_qlimit; /* queue limit */
> + mach_port_msgcount_t mps_msgcount; /* number in the queue */
> + mach_port_rights_t mps_sorights; /* how many send-once rights */
> + boolean_t mps_srights; /* do send rights exist? */
> + boolean_t mps_pdrequest; /* port-deleted requested? */
> + boolean_t mps_nsrequest; /* no-senders requested? */
> } mach_port_status_t;
>
> #define MACH_PORT_QLIMIT_DEFAULT ((mach_port_msgcount_t) 5)
> --
> 2.37.2
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.
