Questions For Generic Timer Frequency On Fast Model

hi all,

Now when i debug the Linux kernel on Fast Model (A15x1+A7x1), i found the generic timer's frequency cannot work properly.

In the boot-wrapper, it has set the frequency as 24MHz; and i also use the modeldebugger to confirm it has been set successfully. But after the linux kernel bootup, i saw the counter register increased quicker than 24MHz, so that the kernel cannot get the correct timestamp.

I'm not sure it's a issue originally come from the model? Or i miss something. There have method to fix this issue? Any suggestion will be appreciate.