Most STM32 devices seem to have this interesting concept of a seperate timer kernel clock that has an optional doubler, which is automatically enabled when you enable an upstream divider.
The reference manual explains this in detail. The idea is, say your HCLK (AHB clock) is 80MHz, and you want to divide it by 2 to make your 40MHz PCLK2 (APB2 clock). Now, the timer will have separate interface clock, and the kernel clock which runs the counter - the kernel clock is derived by doubling the 40MHz clock, so the timer runs at 80MHz again.
This doubler is automatically enabled and disabled based on the PCLK2 divider. The idea is, while the interface freq is limited, the timer can run higher, so they do this.
For example, you might want to save power with lower interface clock. Now, you can change the bus prescaler on the fly, and the timer will still run at the same frequency (by switching the doubler in or out).
Do check the details from the reference manual. For example, what is the basis of the x2 multiplier being enabled or not. It may be something else.