On 08/24/2015 01:01 PM, [email protected] 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.

--
To unsubscribe from this list: send the line "unsubscribe linux-watchdog" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to