1.1 --- a/libipc/include/ipc/server.h Wed Mar 22 16:15:04 2023 +0100
1.2 +++ b/libipc/include/ipc/server.h Wed Mar 22 17:31:05 2023 +0100
1.3 @@ -86,6 +86,7 @@
1.4
1.5 int notifications;
1.6 l4_cap_idx_t irq;
1.7 + int auto_deletion;
1.8
1.9 } ipc_server_config_type;
1.10
1.11 @@ -100,13 +101,17 @@
1.12
1.13
1.14
1.15 -/* Associate a notification IRQ with an IPC gate in the main thread. */
1.16 +/* Associate a notification IRQ with the main thread. */
1.17
1.18 -long ipc_server_apply_irq(l4_cap_idx_t cap, l4_cap_idx_t *irq);
1.19 +long ipc_server_apply_irq(l4_cap_idx_t *irq);
1.20 +
1.21 +/* Associate a notification IRQ with the given thread. */
1.22
1.23 -/* Associate a notification IRQ with an IPC gate in the given thread. */
1.24 +long ipc_server_apply_irq_for_thread(l4_cap_idx_t *irq, l4_cap_idx_t thread);
1.25
1.26 -long ipc_server_apply_irq_for_thread(l4_cap_idx_t cap, l4_cap_idx_t *irq, l4_cap_idx_t thread);
1.27 +/* Apply auto-deletion to an IRQ associated with the given thread. */
1.28 +
1.29 +long ipc_server_apply_deletion_for_thread(l4_cap_idx_t cap, l4_cap_idx_t irq, l4_cap_idx_t thread);
1.30
1.31 /* Bind the main thread to a named IPC gate capability. */
1.32