1.1 --- a/templates.h Tue Jul 07 23:07:30 2020 +0200
1.2 +++ b/templates.h Wed Jul 08 01:07:22 2020 +0200
1.3 @@ -84,6 +84,7 @@
1.4 "#include \"%s_server.h\"\n"
1.5
1.6 #define compound_dispatch_function_prologue \
1.7 +" long err;\n\n" \
1.8 " switch (l4_msgtag_label(msg->tag))\n" \
1.9 " {\n"
1.10
1.11 @@ -325,7 +326,7 @@
1.12 #define dispatch_function_reply_wrapper_case \
1.13 " case %s:\n" \
1.14 " err = %s_%s(msg, %s);\n" \
1.15 -" ipc_message_send_error(msg, err != IPC_MESSAGE_SENT ? err : L4_EOK);\n" \
1.16 +" ipc_message_send_error(msg, err != IPC_MESSAGE_SENT ? err : (long) L4_EOK);\n" \
1.17 " if (err != IPC_MESSAGE_SENT)\n" \
1.18 " ipc_message_reply(msg);\n" \
1.19 " break;\n\n"