1.1 --- a/libipc/lib/src/message.c Mon Jun 13 17:32:24 2022 +0200
1.2 +++ b/libipc/lib/src/message.c Fri Jun 17 21:30:30 2022 +0200
1.3 @@ -254,7 +254,11 @@
1.4
1.5 void ipc_message_add_fpage(ipc_message_t *msg, l4_snd_fpage_t fpage)
1.6 {
1.7 - ipc_message_export_fpage(msg, msg->items++, fpage);
1.8 + /* Test for {0, l4_fpage_invalid()} as the flexpage to avoid setting an
1.9 + optional flexpage result, useful for the page fault handler. */
1.10 +
1.11 + if (fpage.snd_base || fpage.fpage.raw)
1.12 + ipc_message_export_fpage(msg, msg->items++, fpage);
1.13 }
1.14
1.15 /* Add a receive window flexpage item to the message. */