HAL_GetTick() and xTaskGetTickCount()
I made some changes to doxygen configuration and was able look up the source code and documentation for HAL_GetTick() in file stm32f3xx_hal.c. There I found the default unit of time is the millisecond.
I do not know what change in the doxygen configuration made HAL_GetTick() available to be looked there.