Zynq-7020这个芯片板子总共有六个定时器，分两种类型。一种是通用定时器，能用来计时间或者触发中断；另一种是PWM定时器，专门给电机、LED这些设备调频率用。具体来说，四个通用定时器可以自己配置工作模式，两个PWM定时器固定给外设用。

为什么是这个答案呢？根据Xilinx官方手册里写，Zynq-7020的ARM处理器核自带四个16位的通用定时器（Timer0到Timer3），每个都能设置分频和中断阈值。然后板子上的HSMC接口用了两个8位的PWM定时器（Timer4和Timer5），专门给PWM输出用。数据手册第7.3节提到通用定时器最大计数到65535，而PWM定时器计数到255。比如当设置Timer2为1ms中断，就是先算好65535除以1000，得到分频值再写进寄存器。不过要注意，如果同时用多个定时器，得避免它们互相干扰，比如PWM的计数周期和通用定时器的中断时间重叠了。