1.1 --- a/pkg/devices/lcd/include/lcd-jz4740-device.h Sat Jun 10 22:45:54 2023 +0200
1.2 +++ b/pkg/devices/lcd/include/lcd-jz4740-device.h Sat Jun 10 23:30:38 2023 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * LCD device support for the JZ4740 and related SoCs.
1.6 *
1.7 - * Copyright (C) 2018 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 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 @@ -22,8 +22,10 @@
1.13 #pragma once
1.14
1.15 #include <l4/devices/lcd.h>
1.16 +
1.17 #include "lcd-device.h"
1.18
1.19 +#include <l4/re/dma_space>
1.20 #include <l4/re/c/video/view.h>
1.21 #include <l4/sys/types.h>
1.22
1.23 @@ -37,7 +39,8 @@
1.24 {
1.25 /* DMA descriptor virtual and physical addresses. */
1.26
1.27 - l4_addr_t desc_vaddr, desc_paddr;
1.28 + l4_addr_t desc_vaddr;
1.29 + L4Re::Dma_space::Dma_addr desc_paddr;
1.30
1.31 protected:
1.32 /* Device-specific memory allocation. */