【Billux OS】s3c2410看门狗频率问题

Billux OS项目的进程中不断的出现各种问题，这次是一个看门狗问题，打算用看门狗定时器作为系统的tick源，但是，问题如下：

FCLK=192MHZ （1:2:4）
PCLK=48MHZ(通过uart 波特率的计算可以验证)

看门狗WTCON寄存器的配置如下：
prescaler value = 2
watchdog timer = 1
clock select = 00 (16)
interrupt = 1

WTDAT= WTCNT = 10000

按照计算公式，(PCLK / ((prescaler + 1)*16))* WTDAT算出来的定时中断频率应该是100HZ, 但是实际中测下来频率似乎是200hz，不知到有什么问题。在21ic论坛上发了帖子，不知道有没有人有类似的经历？