Add _CPU_Counter_frequency()

Add rtems_counter_frequency() API function.  Use it to initialize the
counter value converter via the new system initialization step
(RTEMS_SYSINIT_CPU_COUNTER).  This decouples the counter implementation
and the counter converter.  It avoids an unnecessary pull in of the
64-bit integer division from libgcc.

Update #3456.

1 files changed, 5 insertions, 1 deletions

diff --git a/bsps/arm/lpc32xx/start/bspstart.c b/bsps/arm/lpc32xx/start/bspstart.c
index 7ade16bbb8..c535f766d7 100644
--- a/bsps/arm/lpc32xx/start/bspstart.c
+++ b/bsps/arm/lpc32xx/start/bspstart.c
@@ -26,6 +26,11 @@
 #include <bsp/bootcard.h>
 #include <bsp/irq-generic.h>
 
+uint32_t _CPU_Counter_frequency(void)
+{
+  return LPC32XX_PERIPH_CLK;
+}
+
 CPU_Counter_ticks _CPU_Counter_read(void)
 {
   return lpc32xx_timer();
@@ -33,6 +38,5 @@ CPU_Counter_ticks _CPU_Counter_read(void)
 
 void bsp_start(void)
 {
-  rtems_counter_initialize_converter(LPC32XX_PERIPH_CLK);
   bsp_interrupt_initialize();
 }