1.1 --- a/pkg/devices/lcd/include/lcd-device.h Sat Jun 10 22:45:54 2023 +0200
1.2 +++ b/pkg/devices/lcd/include/lcd-device.h Sat Jun 10 23:30:38 2023 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * LCD device support.
1.6 *
1.7 - * Copyright (C) 2018, 2020 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2020, 2023 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -32,6 +32,7 @@
1.13 #ifdef __cplusplus
1.14
1.15 #include <l4/re/dataspace>
1.16 +#include <l4/re/dma_space>
1.17 #include <l4/sys/capability>
1.18
1.19 class Lcd_device
1.20 @@ -47,7 +48,8 @@
1.21
1.22 /* Framebuffer virtual and physical addresses. */
1.23
1.24 - l4_addr_t fb_vaddr, fb_paddr;
1.25 + l4_addr_t fb_vaddr;
1.26 + L4Re::Dma_space::Dma_addr fb_paddr;
1.27
1.28 /* Memory capability for the framebuffer. */
1.29