# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1678470881 -3600
# Node ID 4291b6876e47b5035bbf72141fd9e043cf5ddfd0
# Parent  2bab05fdeee5c723a5feac6dbfe2ca4d42835569
Made use of a utility function for binding the IRQ to a thread.

diff -r 2bab05fdeee5 -r 4291b6876e47 libipc/lib/src/server.c
--- a/libipc/lib/src/server.c	Fri Mar 10 01:21:50 2023 +0100
+++ b/libipc/lib/src/server.c	Fri Mar 10 18:54:41 2023 +0100
@@ -57,7 +57,7 @@
   /* Bind the IRQ to the thread, presenting the label if it provides the
      incoming message. */
 
-  err = l4_error(l4_rcv_ep_bind_thread(*irq, thread, (l4_umword_t) *irq));
+  err = ipc_bind_irq(*irq, (l4_umword_t) *irq, thread);
 
   if (err)
   {