Re: [PATCH 3/3] fill msg size in the header for user stubs

[Samuel Thibault]

Luca Dariz, le mar. 28 juin 2022 11:49:27 +0200, a ecrit:
> * user.c:
>   - adjust comment in generated file
>   - set msgh_size with the same value passed to mach_msg()
> 
> Signed-off-by: Luca Dariz <luca@orpolo.org>

Applied, thanks!

> ---
>  user.c | 6 +++++-
>  1 file changed, 5 insertions(+), 1 deletion(-)
> 
> diff --git a/user.c b/user.c
> index 9a84fe4..886198b 100644
> --- a/user.c
> +++ b/user.c
> @@ -159,7 +159,7 @@ WriteRequestHead(FILE *file, const routine_t *rt)
>               WriteHeaderPortType(rt->rtUReplyPort));
>      }
>  
> -    fprintf(file, "\t/* msgh_size passed as argument */\n");
> +    fprintf(file, "\t/* msgh_size filled below */\n");
>  
>      /*
>       *       KernelUser stubs need to cast the request and reply ports
> @@ -282,6 +282,8 @@ WriteMsgSend(FILE *file, const routine_t *rt)
>      else
>       strcpy(SendSize, "msgh_size");
>  
> +    fprintf(file, "\tInP->Head.msgh_size = %s;\n\n", SendSize);
> +
>      if (IsKernelUser)
>      {
>       fprintf(file, "\t%s %smach_msg_send_from_kernel(",
> @@ -348,6 +350,8 @@ WriteMsgRPC(FILE *file, const routine_t *rt)
>      } else
>       strcpy(SendSize, "msgh_size");
>  
> +    fprintf(file, "\tInP->Head.msgh_size = %s;\n\n", SendSize);
> +
>      if (IsKernelUser)
>       fprintf(file, "\tmsg_result = %smach_msg_rpc_from_kernel(&InP->Head, 
> %s, sizeof(Reply));\n",
>               SubrPrefix,
> -- 
> 2.30.2
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.