Update

[l4.git] / l4 / pkg / dde / linux26 / examples / ne2k / debug.h

diff --git a/l4/pkg/dde/linux26/examples/ne2k/debug.h b/l4/pkg/dde/linux26/examples/ne2k/debug.h
index 3dd298bb054db3422d9f822aadc37cb7a24f1745..bcade0991706b4c8f3c3301ded454b6b845461dd 100644 (file)
--- a/l4/pkg/dde/linux26/examples/ne2k/debug.h
+++ b/l4/pkg/dde/linux26/examples/ne2k/debug.h
@@ -3,7 +3,7 @@
 #include <l4/sys/types.h>
 typedef long pthread_t;
 extern pthread_t pthread_self(void);
-extern l4_cap_idx_t pthread_getl4cap(pthread_t t);
+extern l4_cap_idx_t pthread_l4_cap(pthread_t t);
 extern long ddekit_self_cap(l4_cap_idx_t);
 #endif