remove tusb_hal_millis() usage, less work for porting

hw/bsp/board.h

@@ -86,6 +86,10 @@ static inline uint32_t board_millis(void)
   return os_time_ticks_to_ms32( os_time_get() );
 }
 
+#elif
+
+#error "Need to implement board_millis() for this OS"
+
 #endif
 
 //--------------------------------------------------------------------+

hw/bsp/ea4088qs/board_ea4088qs.c

@@ -166,11 +166,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;

hw/bsp/ea4357/board_ea4357.c

@@ -65,11 +65,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;

hw/bsp/lpcxpresso11u68/board_lpcxpresso11u68.c

@@ -103,11 +103,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;

hw/bsp/lpcxpresso1347/board_lpcxpresso1347.c

@@ -116,11 +116,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;

hw/bsp/lpcxpresso1769/board_lpcxpresso1769.c

@@ -154,11 +154,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;

hw/bsp/mcb1800/board_mcb1800.c

@@ -232,11 +232,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;

hw/bsp/metro_m0_express/board_metro_m0_express.c

@@ -113,11 +113,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;

hw/bsp/metro_m4_express/board_metro_m4_express.c

@@ -102,11 +102,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;

hw/bsp/pca10056/board_pca10056.c

@@ -36,8 +36,6 @@
 #include "nrf_soc.h"
 #endif
 
-#include "tusb.h"
-
 /*------------------------------------------------------------------*/
 /* MACRO TYPEDEF CONSTANT ENUM
  *------------------------------------------------------------------*/
@@ -52,7 +50,7 @@ uint8_t _button_pins[] = { 11, 12, 24, 25 };
 /*------------------------------------------------------------------*/
 /* TUSB HAL MILLISECOND
  *------------------------------------------------------------------*/
-#if CFG_TUSB_OS  == OPT_OS_NONE
+#if CFG_TUSB_OS == OPT_OS_NONE
 volatile uint32_t system_ticks = 0;
 
 void SysTick_Handler (void)
@@ -60,11 +58,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;
@@ -93,7 +86,7 @@ void board_init(void)
   // Button
   for(uint8_t i=0; i<BOARD_BUTTON_COUNT; i++) nrf_gpio_cfg_input(_button_pins[i], NRF_GPIO_PIN_PULLUP);
 
-#if CFG_TUSB_OS  == OPT_OS_NONE
+#if CFG_TUSB_OS == OPT_OS_NONE
   // 1ms tick timer
   SysTick_Config(SystemCoreClock/1000);
 #endif

hw/bsp/stm32f303disc/board_stm32f303disc.c

@@ -108,11 +108,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;

hw/bsp/stm32f407g_disc1/board_stm32f407g_disc1.c

@@ -103,11 +103,6 @@ void SysTick_Handler (void)
   system_ticks++;
 }
 
-uint32_t tusb_hal_millis(void)
-{
-  return board_tick2ms(system_ticks);
-}
-
 uint32_t board_millis(void)
 {
   return system_ticks;