STM32F4 外部时钟模式2 时序图

最近在学STM32F407ZG开发板，看定时器的时钟源选择。

发现在选择为外部时钟模式2（也就是ETR引脚输入，最终得到ETRF信号作为触发控制器的输入信号）时，控制电路的时序图看不懂。时序图如下图1：

图1

没看懂为什么在ETRF为高电平时，还要等待一个CK_INT信号，才能触发一个CK_CNT。

我现在猜测，触发计数器的基准时钟就是CK_INT，即使不把CK_INT当做CK_PSC也就是预分频之前的信号。所以即使外部触发信号ETRF为高了，也要等到有一个CK_INT信号触发计数器才动作产生一个CK_PSC。