# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1663163296 -7200
# Node ID bbfbe842133121c80302f76099155768c4c675fc
# Parent  29eca0a93b69f30107cdbb9d78201c7bc23c8196
Fixed incoming message initialisation: no receive flexpages are to be expected.

diff -r 29eca0a93b69 -r bbfbe8421331 libipc/lib/src/message.c
--- a/libipc/lib/src/message.c	Wed Sep 14 15:46:07 2022 +0200
+++ b/libipc/lib/src/message.c	Wed Sep 14 15:48:16 2022 +0200
@@ -225,6 +225,10 @@
 
 void ipc_message_wait(ipc_message_t *msg, l4_umword_t *label)
 {
+  /* Since no receive flexpages are expected when waiting for incoming messages,
+     the item count is reset to zero. */
+
+  msg->receive_items = 0;
   ipc_message_restore_buffer_registers(msg);
   msg->tag = l4_ipc_wait(l4_utcb(), label, L4_IPC_NEVER);
 }