On 08/24/2015 01:01 PM, fu.wei@linaro.org wrote:
- /*
* Get the frequency of system counter from the cp15 interface of ARM
* Generic timer. We don't need to check it, because if it returns "0",
* system would panic in very early stage.
*/
- gwdt->clk = arch_timer_get_cntfrq();
Just thinking out loud...
What happens later if we virtualize this device within KVM/QEMU/Xen and then live migrate to another system in which the frequency changes?
Jon.