Update

[l4.git] / l4 / pkg / input / lib / src / emul_wait.c

diff --git a/l4/pkg/input/lib/src/emul_wait.c b/l4/pkg/input/lib/src/emul_wait.c
index 66f95caa6e26d6e8a2e26fdadd2f7722f4b9a94f..0d9460bf7496ab024d78ade1f68329ea238c6324 100644 (file)
--- a/l4/pkg/input/lib/src/emul_wait.c
+++ b/l4/pkg/input/lib/src/emul_wait.c
@@ -9,7 +9,9 @@
  * I've no idea if this is really needed.
  */
 /*
- * (c) 2005-2009 Technische Universität Dresden
+ * (c) 2005-2009 Author(s)
+ *     economic rights: Technische Universität Dresden (Germany)
+ *
  * This file is part of TUD:OS and distributed under the terms of the
  * GNU General Public License 2.
  * Please see the COPYING-GPL-2 file for details.
@@ -98,7 +100,7 @@ wakeup(wait_queue_head_t *h)
       tid = e->tid;
       e   = e->next;
 
-      l4_ipc(tid, l4_utcb(), L4_SYSF_SEND, pthread_getl4cap(pthread_self()),
+      l4_ipc(tid, l4_utcb(), L4_SYSF_SEND, pthread_l4_cap(pthread_self()),
              l4_msgtag(0, 0, 0, 0), &dummy, L4_IPC_NEVER);
     }
   h->first = 0;
@@ -162,7 +164,7 @@ __wait_thread(void *ignore)
              dequeue_head(&main_queue, h);
              dbg("  main=%p\n", (void*)main_queue);
               l4_ipc(src, l4_utcb(), L4_SYSF_SEND,
-                     pthread_getl4cap(pthread_self()),
+                     pthread_l4_cap(pthread_self()),
                      l4_msgtag(0, 0, 0, 0), &dummy, L4_IPC_NEVER);
            }
        }
@@ -195,7 +197,7 @@ wake_up(wait_queue_head_t *wq)
   l4_utcb_mr()->mr[0] = 0;
   l4_utcb_mr()->mr[1] = (l4_umword_t)(wq);
   l4_ipc(wait_thread, l4_utcb(), L4_SYSF_CALL,
-         pthread_getl4cap(pthread_self()),
+         pthread_l4_cap(pthread_self()),
          l4_msgtag(0, 2, 0, 0),
          &dummy, L4_IPC_NEVER);
 }
@@ -217,7 +219,7 @@ l4input_internal_wait_init(void)
   if (pthread_create(&t, &a, __wait_thread, NULL))
     return;
 
-  wait_thread = pthread_getl4cap(t);
+  wait_thread = pthread_l4_cap(t);
 
   pthread_attr_destroy(&a);
 }