1.1 --- a/libipc/lib/src/message.c Wed Sep 14 15:46:07 2022 +0200
1.2 +++ b/libipc/lib/src/message.c Wed Sep 14 15:48:16 2022 +0200
1.3 @@ -225,6 +225,10 @@
1.4
1.5 void ipc_message_wait(ipc_message_t *msg, l4_umword_t *label)
1.6 {
1.7 + /* Since no receive flexpages are expected when waiting for incoming messages,
1.8 + the item count is reset to zero. */
1.9 +
1.10 + msg->receive_items = 0;
1.11 ipc_message_restore_buffer_registers(msg);
1.12 msg->tag = l4_ipc_wait(l4_utcb(), label, L4_IPC_NEVER);
1.13 }