/* This function configures the source of stm32cube time base. Cube HAL expects a 1ms tick which matches with k_uptime_get_32. Tick interrupt priority is not used.  */
uint32_t HAL_GetTick(void)
/* This function configures the source of stm32cube time base. Cube HAL expects a 1ms tick which matches with k_uptime_get_32. Tick interrupt priority is not used.  */
uint32_t HAL_GetTick(void)
{
	return k_uptime_get_32();
}