1.1 --- a/pkg/landfall-examples/hw_info/hw_info.c Thu Feb 01 22:42:56 2024 +0100
1.2 +++ b/pkg/landfall-examples/hw_info/hw_info.c Sat Feb 03 16:38:58 2024 +0100
1.3 @@ -1340,13 +1340,7 @@
1.4
1.5 static void disable_tcu_counter(void)
1.6 {
1.7 - int num = get_channel_number(num_tcu_channels);
1.8 - void *channel;
1.9 -
1.10 - if (num < 0)
1.11 - return;
1.12 -
1.13 - channel = tcu_channels[num];
1.14 + void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
1.15
1.16 if (channel == NULL)
1.17 return;
1.18 @@ -1356,13 +1350,7 @@
1.19
1.20 static void enable_tcu_counter(void)
1.21 {
1.22 - int num = get_channel_number(num_tcu_channels);
1.23 - void *channel;
1.24 -
1.25 - if (num < 0)
1.26 - return;
1.27 -
1.28 - channel = tcu_channels[num];
1.29 + void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
1.30
1.31 if (channel == NULL)
1.32 return;
1.33 @@ -1412,15 +1400,9 @@
1.34
1.35 static void set_tcu_counter(void)
1.36 {
1.37 - int num = get_channel_number(num_tcu_channels);
1.38 - void *channel;
1.39 + void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
1.40 uint32_t counter;
1.41
1.42 - if (num < 0)
1.43 - return;
1.44 -
1.45 - channel = tcu_channels[num];
1.46 -
1.47 if (channel == NULL)
1.48 return;
1.49
1.50 @@ -1432,15 +1414,9 @@
1.51
1.52 static void set_tcu_clock(void)
1.53 {
1.54 - int num = get_channel_number(num_tcu_channels);
1.55 - void *channel;
1.56 + void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
1.57 uint32_t clock;
1.58
1.59 - if (num < 0)
1.60 - return;
1.61 -
1.62 - channel = tcu_channels[num];
1.63 -
1.64 if (channel == NULL)
1.65 return;
1.66
1.67 @@ -1452,15 +1428,9 @@
1.68
1.69 static void set_tcu_full(void)
1.70 {
1.71 - int num = get_channel_number(num_tcu_channels);
1.72 - void *channel;
1.73 + void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
1.74 uint32_t value;
1.75
1.76 - if (num < 0)
1.77 - return;
1.78 -
1.79 - channel = tcu_channels[num];
1.80 -
1.81 if (channel == NULL)
1.82 return;
1.83
1.84 @@ -1472,15 +1442,9 @@
1.85
1.86 static void set_tcu_half(void)
1.87 {
1.88 - int num = get_channel_number(num_tcu_channels);
1.89 - void *channel;
1.90 + void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
1.91 uint32_t value;
1.92
1.93 - if (num < 0)
1.94 - return;
1.95 -
1.96 - channel = tcu_channels[num];
1.97 -
1.98 if (channel == NULL)
1.99 return;
1.100
1.101 @@ -1492,13 +1456,7 @@
1.102
1.103 static void set_tcu_mask(int full_mask, int masked)
1.104 {
1.105 - int num = get_channel_number(num_tcu_channels);
1.106 - void *channel;
1.107 -
1.108 - if (num < 0)
1.109 - return;
1.110 -
1.111 - channel = tcu_channels[num];
1.112 + void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
1.113
1.114 if (channel == NULL)
1.115 return;
1.116 @@ -1511,15 +1469,9 @@
1.117
1.118 static void set_tcu_prescale(void)
1.119 {
1.120 - int num = get_channel_number(num_tcu_channels);
1.121 - void *channel;
1.122 + void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
1.123 uint32_t prescale;
1.124
1.125 - if (num < 0)
1.126 - return;
1.127 -
1.128 - channel = tcu_channels[num];
1.129 -
1.130 if (channel == NULL)
1.131 return;
1.132
1.133 @@ -1531,15 +1483,9 @@
1.134
1.135 static void tcu_wait(void)
1.136 {
1.137 - int num = get_channel_number(num_tcu_channels);
1.138 - void *channel;
1.139 + void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
1.140 uint32_t timeout;
1.141
1.142 - if (num < 0)
1.143 - return;
1.144 -
1.145 - channel = tcu_channels[num];
1.146 -
1.147 if (channel == NULL)
1.148 return;
1.149