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 <[email protected]>
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.
