From 68b3d8fe3a9595b7a5cb2bb6bc5973ba26139704 Mon Sep 17 00:00:00 2001 From: Luca Dariz Date: Tue, 28 Jun 2022 11:49:27 +0200 Subject: fill msg size in the header for user stubs * user.c: - adjust comment in generated file - set msgh_size with the same value passed to mach_msg() Signed-off-by: Luca Dariz Message-Id: <20220628094927.442907-4-luca@orpolo.org> --- 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, -- cgit v1.2.3