[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 3/3] fill msg size in the header for user stubs
From: |
Luca Dariz |
Subject: |
[PATCH 3/3] fill msg size in the header for user stubs |
Date: |
Tue, 28 Jun 2022 11:49:27 +0200 |
* 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>
---
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