From e9110045ecbcde39c907304ea969d1c116c2abe2 Mon Sep 17 00:00:00 2001
From: dxl <64101226@qq.com>
Date: Sun, 23 Aug 2026 04:01:00 +0800
Subject: [PATCH] Use HAL in pcf7931.c/SendCmdPCF7931()

---
 armsrc/pcf7931.c | 21 +++++++--------------
 1 file changed, 7 insertions(+), 14 deletions(-)

diff --git a/armsrc/pcf7931.c b/armsrc/pcf7931.c
index 2ca53d15e..d7a7a75cd 100644
--- a/armsrc/pcf7931.c
+++ b/armsrc/pcf7931.c
@@ -568,34 +568,27 @@ void SendCmdPCF7931(uint32_t *tab, bool ledcontrol) {
     // steal this pin from the SSP and use it to control the modulation
     gpio_fpga_mod_only_setup();
 
-    //initialization of the timer
-    AT91C_BASE_PMC->PMC_PCER |= (0x1 << AT91C_ID_TC0);
-    AT91C_BASE_TCB->TCB_BMR = AT91C_TCB_TC0XC0S_NONE | AT91C_TCB_TC1XC1S_TIOA0 | AT91C_TCB_TC2XC2S_NONE;
-    AT91C_BASE_TC0->TC_CCR = AT91C_TC_CLKDIS;                 // timer disable
-    AT91C_BASE_TC0->TC_CMR = AT91C_TC_CLKS_TIMER_DIV3_CLOCK;  // clock at 48/32 MHz (48Mhz clock, 32 = prescaler (div3))
-    AT91C_BASE_TC0->TC_CCR = AT91C_TC_CLKEN;
+    //initialization of the timer (free-running 1.5 MHz precision counter on TC0)
+    StartPrecisionCounter();
 
-    // Assert a sync signal. This sets all timers to 0 on next active clock edge
-    AT91C_BASE_TCB->TCB_BCR = 1;
-
-    tempo = AT91C_BASE_TC0->TC_CV;
+    tempo = GetPrecisionCounter();
     for (u = 0; tab[u] != 0; u += 3) {
         // modulate antenna
         Gpio_SSC_DOUT_High();
         while ((uint32_t)tempo < tab[u]) {
-            tempo = AT91C_BASE_TC0->TC_CV;
+            tempo = GetPrecisionCounter();
         }
 
         // stop modulating antenna
         Gpio_SSC_DOUT_Low();
         while ((uint32_t)tempo < tab[u + 1]) {
-            tempo = AT91C_BASE_TC0->TC_CV;
+            tempo = GetPrecisionCounter();
         }
 
         // modulate antenna
         Gpio_SSC_DOUT_High();
         while ((uint32_t)tempo < tab[u + 2]) {
-            tempo = AT91C_BASE_TC0->TC_CV;
+            tempo = GetPrecisionCounter();
         }
     }
 
@@ -603,7 +596,7 @@ void SendCmdPCF7931(uint32_t *tab, bool ledcontrol) {
     FpgaWriteConfWord(FPGA_MAJOR_MODE_OFF);
     SpinDelay(200);
 
-    AT91C_BASE_TC0->TC_CCR = AT91C_TC_CLKDIS; // timer disable
+    StopPrecisionCounter();
 }