1.1 --- a/libipc/include/ipc/server.h Fri Feb 23 01:29:50 2024 +0100
1.2 +++ b/libipc/include/ipc/server.h Fri Feb 23 01:33:47 2024 +0100
1.3 @@ -113,10 +113,6 @@
1.4
1.5 long ipc_server_apply_deletion_for_thread(l4_cap_idx_t cap, l4_cap_idx_t irq, l4_cap_idx_t thread);
1.6
1.7 -/* Bind the main thread to a named IPC gate capability. */
1.8 -
1.9 -long ipc_server_bind(const char *name, l4_umword_t id, l4_cap_idx_t *server);
1.10 -
1.11 /* Create a new IPC gate for the main thread. */
1.12
1.13 long ipc_server_new(l4_cap_idx_t *cap, void *obj);