调试s3c2410定时器发现skyeye1.2.9有bug

suibianusername

将s3c2410定时器timer4的TCNTB4设置为25000（0x61A8），但经设置断点观察之后，发现设置为1267（0x4F3）。
部分代码贴出来，全部代码见附件。

void timer4_config(void)
{
rTCON=0;
rTCFG0=0x7C00;  //prescaler value = 124
rTCFG1=0x30000;  //interrupt,divider=16

rTCNTB4=25000;
}
void timer4_start(void)
{
rTCON=0x600000;    //auto-load,manual update
rTCON|=0x100000;   //start timer0
rTCON&=0xffdfffff;   //clear manual update
}