1.1 --- a/pkg/landfall-examples/hw_info/defs.h Fri Apr 19 16:19:49 2024 +0200
1.2 +++ b/pkg/landfall-examples/hw_info/defs.h Fri Apr 19 16:22:07 2024 +0200
1.3 @@ -104,5 +104,6 @@
1.4 extern void *tcu_channels[];
1.5
1.6 extern const unsigned int num_tcu_channels;
1.7 +extern const unsigned int tcu_irq_num;
1.8
1.9 extern l4_cap_idx_t tcu_irq;
2.1 --- a/pkg/landfall-examples/hw_info/hw_info.c Fri Apr 19 16:19:49 2024 +0200
2.2 +++ b/pkg/landfall-examples/hw_info/hw_info.c Fri Apr 19 16:22:07 2024 +0200
2.3 @@ -1527,7 +1527,7 @@
2.4 /* Here, only one IRQ is used. */
2.5
2.6 tcu_irq = l4re_util_cap_alloc();
2.7 - return init_irq(0, tcu_irq, tcu_irq_start, tcu_irq_end);
2.8 + return init_irq(tcu_irq_num, tcu_irq, tcu_irq_start, tcu_irq_end);
2.9 }
2.10
2.11 static void disable_tcu_counter(void)
3.1 --- a/pkg/landfall-examples/hw_info/jz4780.c Fri Apr 19 16:19:49 2024 +0200
3.2 +++ b/pkg/landfall-examples/hw_info/jz4780.c Fri Apr 19 16:22:07 2024 +0200
3.3 @@ -770,5 +770,6 @@
3.4 void *tcu_channels[] = {NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL};
3.5
3.6 const unsigned int num_tcu_channels = 8;
3.7 +const unsigned int tcu_irq_num = 1;
3.8
3.9 l4_cap_idx_t tcu_irq = L4_INVALID_CAP;
4.1 --- a/pkg/landfall-examples/hw_info/x1600.c Fri Apr 19 16:19:49 2024 +0200
4.2 +++ b/pkg/landfall-examples/hw_info/x1600.c Fri Apr 19 16:22:07 2024 +0200
4.3 @@ -742,5 +742,6 @@
4.4 void *tcu_channels[] = {NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL};
4.5
4.6 const unsigned int num_tcu_channels = 8;
4.7 +const unsigned int tcu_irq_num = 0;
4.8
4.9 l4_cap_idx_t tcu_irq = L4_INVALID_CAP;