Well, the only reason was to get this independent of the STM family, so the rest of the get_timer_frequency doesn't have to be implemented for each family...