From the function name of 'HAL_GetTickFreq()' function, I expect that it returns tick frequency in Hz.But I experienced that it returns tick period in milliseconds. If tick frequency is 1000 Hz, then it returns 1, that value comes from HAL_TICK_FREQ_...