1.1 --- a/libipc/lib/src/message.c Fri Jun 17 21:30:30 2022 +0200
1.2 +++ b/libipc/lib/src/message.c Fri Jun 17 23:18:38 2022 +0200
1.3 @@ -236,6 +236,9 @@
1.4 void ipc_message_add_capability(ipc_message_t *msg, l4_cap_idx_t cap)
1.5 {
1.6 ipc_message_export_capability(msg, msg->items++, cap);
1.7 +
1.8 + /* NOTE: Might use the "grant" operation instead of explicitly discarding. */
1.9 +
1.10 if (cap & IPC_DISCARD_CAP_FLAG)
1.11 ipc_message_discard_capability(msg, cap & ~IPC_DISCARD_CAP_FLAG);
1.12 }
1.13 @@ -245,6 +248,9 @@
1.14 void ipc_message_add_item(ipc_message_t *msg, l4_cap_idx_t cap)
1.15 {
1.16 ipc_message_export_capability(msg, msg->items++, cap);
1.17 +
1.18 + /* NOTE: Might use the "grant" operation instead of explicitly discarding. */
1.19 +
1.20 if (cap & IPC_DISCARD_CAP_FLAG)
1.21 ipc_message_discard_capability(msg, cap & ~IPC_DISCARD_CAP_FLAG);
1.22 }