1.1 --- a/pkg/devices/lcd/include/lcd-device.h Sun Jun 11 15:42:11 2023 +0200
1.2 +++ b/pkg/devices/lcd/include/lcd-device.h Sun Jun 18 00:19:36 2023 +0200
1.3 @@ -31,9 +31,8 @@
1.4
1.5 #ifdef __cplusplus
1.6
1.7 -#include <l4/re/dataspace>
1.8 -#include <l4/re/dma_space>
1.9 -#include <l4/sys/capability>
1.10 +#include <l4/re/c/dataspace.h>
1.11 +#include <l4/re/c/dma_space.h>
1.12
1.13 class Lcd_device
1.14 {
1.15 @@ -49,11 +48,11 @@
1.16 /* Framebuffer virtual and physical addresses. */
1.17
1.18 l4_addr_t fb_vaddr;
1.19 - L4Re::Dma_space::Dma_addr fb_paddr;
1.20 + l4re_dma_space_dma_addr_t fb_paddr;
1.21
1.22 /* Memory capability for the framebuffer. */
1.23
1.24 - L4::Cap<L4Re::Dataspace> _fbmem;
1.25 + l4re_ds_t _fbmem;
1.26
1.27 /* Display operations. */
1.28
1.29 @@ -76,7 +75,7 @@
1.30 return fb_vaddr;
1.31 }
1.32
1.33 - virtual L4::Cap<L4Re::Dataspace> get_framebuffer_cap()
1.34 + virtual l4re_ds_t get_framebuffer_cap()
1.35 {
1.36 return _fbmem;
1.37 }