# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1706974738 -3600
# Node ID a437381bd5f4fc06c498e610b31c0b1307519596
# Parent  d7e274394389194ed1fc1b9d57cae78a9de6d704
Employed get_channel to eliminate redundant code.

diff -r d7e274394389 -r a437381bd5f4 pkg/landfall-examples/hw_info/hw_info.c
--- a/pkg/landfall-examples/hw_info/hw_info.c	Thu Feb 01 22:42:56 2024 +0100
+++ b/pkg/landfall-examples/hw_info/hw_info.c	Sat Feb 03 16:38:58 2024 +0100
@@ -1340,13 +1340,7 @@
 
 static void disable_tcu_counter(void)
 {
-  int num = get_channel_number(num_tcu_channels);
-  void *channel;
-
-  if (num < 0)
-    return;
-
-  channel = tcu_channels[num];
+  void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
 
   if (channel == NULL)
     return;
@@ -1356,13 +1350,7 @@
 
 static void enable_tcu_counter(void)
 {
-  int num = get_channel_number(num_tcu_channels);
-  void *channel;
-
-  if (num < 0)
-    return;
-
-  channel = tcu_channels[num];
+  void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
 
   if (channel == NULL)
     return;
@@ -1412,15 +1400,9 @@
 
 static void set_tcu_counter(void)
 {
-  int num = get_channel_number(num_tcu_channels);
-  void *channel;
+  void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
   uint32_t counter;
 
-  if (num < 0)
-    return;
-
-  channel = tcu_channels[num];
-
   if (channel == NULL)
     return;
 
@@ -1432,15 +1414,9 @@
 
 static void set_tcu_clock(void)
 {
-  int num = get_channel_number(num_tcu_channels);
-  void *channel;
+  void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
   uint32_t clock;
 
-  if (num < 0)
-    return;
-
-  channel = tcu_channels[num];
-
   if (channel == NULL)
     return;
 
@@ -1452,15 +1428,9 @@
 
 static void set_tcu_full(void)
 {
-  int num = get_channel_number(num_tcu_channels);
-  void *channel;
+  void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
   uint32_t value;
 
-  if (num < 0)
-    return;
-
-  channel = tcu_channels[num];
-
   if (channel == NULL)
     return;
 
@@ -1472,15 +1442,9 @@
 
 static void set_tcu_half(void)
 {
-  int num = get_channel_number(num_tcu_channels);
-  void *channel;
+  void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
   uint32_t value;
 
-  if (num < 0)
-    return;
-
-  channel = tcu_channels[num];
-
   if (channel == NULL)
     return;
 
@@ -1492,13 +1456,7 @@
 
 static void set_tcu_mask(int full_mask, int masked)
 {
-  int num = get_channel_number(num_tcu_channels);
-  void *channel;
-
-  if (num < 0)
-    return;
-
-  channel = tcu_channels[num];
+  void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
 
   if (channel == NULL)
     return;
@@ -1511,15 +1469,9 @@
 
 static void set_tcu_prescale(void)
 {
-  int num = get_channel_number(num_tcu_channels);
-  void *channel;
+  void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
   uint32_t prescale;
 
-  if (num < 0)
-    return;
-
-  channel = tcu_channels[num];
-
   if (channel == NULL)
     return;
 
@@ -1531,15 +1483,9 @@
 
 static void tcu_wait(void)
 {
-  int num = get_channel_number(num_tcu_channels);
-  void *channel;
+  void *channel = get_channel(num_tcu_channels, tcu_channels, NULL);
   uint32_t timeout;
 
-  if (num < 0)
-    return;
-
-  channel = tcu_channels[num];
-
   if (channel == NULL)
     return;