1.1 --- a/pkg/devices/lib/tcu/include/tcu-x1600.h Thu Feb 01 22:40:19 2024 +0100
1.2 +++ b/pkg/devices/lib/tcu/include/tcu-x1600.h Thu Feb 01 22:41:30 2024 +0100
1.3 @@ -34,7 +34,7 @@
1.4 class Tcu_x1600_channel : public Tcu_channel
1.5 {
1.6 public:
1.7 - explicit Tcu_x1600_channel(l4_addr_t start, uint8_t channel);
1.8 + explicit Tcu_x1600_channel(l4_addr_t start, uint8_t channel, l4_cap_idx_t irq);
1.9
1.10 void enable();
1.11 uint8_t get_count_mode();
1.12 @@ -48,7 +48,7 @@
1.13 unsigned int num_channels()
1.14 { return 8; }
1.15
1.16 - Tcu_channel *_get_channel(l4_addr_t addr, uint8_t channel);
1.17 + Tcu_channel *_get_channel(l4_addr_t addr, uint8_t channel, l4_cap_idx_t irq);
1.18
1.19 public:
1.20 explicit Tcu_x1600_chip(l4_addr_t start, l4_addr_t end);
1.21 @@ -64,7 +64,7 @@
1.22
1.23 void *x1600_tcu_init(l4_addr_t tcu_base, l4_addr_t tcu_base_end);
1.24
1.25 -void *x1600_tcu_get_channel(void *tcu, uint8_t channel);
1.26 +void *x1600_tcu_get_channel(void *tcu, uint8_t channel, l4_cap_idx_t irq);
1.27
1.28 void x1600_tcu_disable(void *tcu_channel);
1.29
1.30 @@ -96,4 +96,16 @@
1.31
1.32 void x1600_tcu_set_half_data_value(void *tcu_channel, uint32_t value);
1.33
1.34 +int x1600_tcu_get_full_data_mask(void *tcu_channel);
1.35 +
1.36 +void x1600_tcu_set_full_data_mask(void *tcu_channel, int masked);
1.37 +
1.38 +int x1600_tcu_get_half_data_mask(void *tcu_channel);
1.39 +
1.40 +void x1600_tcu_set_half_data_mask(void *tcu_channel, int masked);
1.41 +
1.42 +int x1600_tcu_have_interrupt(void *tcu_channel);
1.43 +
1.44 +int x1600_tcu_wait_for_irq(void *tcu_channel, unsigned int timeout);
1.45 +
1.46 EXTERN_C_END