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

[Luca Dariz]

* user.c:
  - adjust comment in generated file
  - set msgh_size with the same value passed to mach_msg()

Signed-off-by: Luca Dariz <l...@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