1.1 --- a/pkg/devices/lib/dma/src/x1600.cc Mon Feb 26 16:18:13 2024 +0100
1.2 +++ b/pkg/devices/lib/dma/src/x1600.cc Tue Feb 27 17:20:03 2024 +0100
1.3 @@ -27,8 +27,7 @@
1.4 #include <l4/sys/rcv_endpoint.h>
1.5 #include <l4/util/util.h>
1.6
1.7 -#include <pthread.h>
1.8 -#include <pthread-l4.h>
1.9 +#include <systypes/thread.h>
1.10
1.11 #include <stdio.h>
1.12
1.13 @@ -351,7 +350,7 @@
1.14 bool
1.15 Dma_x1600_channel::wait_for_irq()
1.16 {
1.17 - if (l4_error(l4_rcv_ep_bind_thread(_irq, pthread_l4_cap(pthread_self()), 0)))
1.18 + if (l4_error(l4_rcv_ep_bind_thread(_irq, get_current_thread(), 0)))
1.19 return false;
1.20
1.21 return !l4_error(l4_irq_receive(_irq, L4_IPC_NEVER)) && _chip->have_interrupt(_channel);
1.22 @@ -363,7 +362,7 @@
1.23 bool
1.24 Dma_x1600_channel::wait_for_irq(unsigned int timeout)
1.25 {
1.26 - if (l4_error(l4_rcv_ep_bind_thread(_irq, pthread_l4_cap(pthread_self()), 0)))
1.27 + if (l4_error(l4_rcv_ep_bind_thread(_irq, get_current_thread(), 0)))
1.28 return false;
1.29
1.30 return !l4_error(l4_irq_receive(_irq, l4_timeout(L4_IPC_TIMEOUT_NEVER, l4util_micros2l4to(timeout)))) && _chip->have_interrupt(_channel);