1.1 --- a/templates.h Sun Apr 26 22:59:15 2020 +0200
1.2 +++ b/templates.h Sat Jul 04 23:24:20 2020 +0200
1.3 @@ -195,6 +195,9 @@
1.4 #define server_completion_function_signature_prologue \
1.5 "\nlong complete_%s(l4_cap_idx_t _endp"
1.6
1.7 +#define server_completion_synchronous_function_signature_prologue \
1.8 +"\nlong complete_%s("
1.9 +
1.10 #define server_completion_function_body_prologue \
1.11 " ipc_message_t msg;\n"
1.12
1.13 @@ -202,6 +205,10 @@
1.14 "\n ipc_message_send(&msg, %s, %s);\n\n" \
1.15 " return l4_error(msg.tag);\n"
1.16
1.17 +#define server_completion_synchronous_function_body_epilogue \
1.18 +"\n ipc_message_reply(&msg);\n\n" \
1.19 + " return l4_error(msg.tag);\n"
1.20 +
1.21 #define server_initiation_function_body_epilogue \
1.22 "\n ipc_message_prepare(msg);\n\n" \
1.23 " return L4_EOK;\n"