1.1 --- a/pkg/devices/lib/lcd/src/jz4740/lcd-jz4740.cc Mon Feb 26 16:18:13 2024 +0100
1.2 +++ b/pkg/devices/lib/lcd/src/jz4740/lcd-jz4740.cc Tue Feb 27 17:20:03 2024 +0100
1.3 @@ -28,8 +28,7 @@
1.4 #include <l4/sys/types.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 "lcd-jz4740.h"
1.12 #include "lcd-jz4740-config.h"
1.13 @@ -630,7 +629,7 @@
1.14
1.15 _regs[Lcd_status] = _regs[Lcd_status] & ~(_status_irq());
1.16
1.17 - long err = l4_error(l4_rcv_ep_bind_thread(_irq, pthread_l4_cap(pthread_self()), 0));
1.18 + long err = l4_error(l4_rcv_ep_bind_thread(_irq, get_current_thread(), 0));
1.19
1.20 if (err)
1.21 return err;