1.1 --- a/pkg/devices/lib/dma/include/dma-jz4780.h Fri Nov 10 22:30:03 2023 +0100
1.2 +++ b/pkg/devices/lib/dma/include/dma-jz4780.h Fri Nov 10 22:30:39 2023 +0100
1.3 @@ -105,7 +105,8 @@
1.4 l4_cap_idx_t _irq = L4_INVALID_CAP;
1.5
1.6 public:
1.7 - Dma_jz4780_channel(Dma_jz4780_chip *chip, uint8_t channel, l4_addr_t start, l4_cap_idx_t irq);
1.8 + Dma_jz4780_channel(Dma_jz4780_chip *chip, uint8_t channel, l4_addr_t start,
1.9 + l4_cap_idx_t irq = L4_INVALID_CAP);
1.10
1.11 unsigned int transfer(uint32_t source, uint32_t destination,
1.12 unsigned int count,
1.13 @@ -160,7 +161,8 @@
1.14
1.15 void enable();
1.16
1.17 - Dma_jz4780_channel *get_channel(uint8_t channel, l4_cap_idx_t irq);
1.18 + Dma_jz4780_channel *get_channel(uint8_t channel,
1.19 + l4_cap_idx_t irq = L4_INVALID_CAP);
1.20
1.21 // Transaction control.
1.22