On Tue, Jul 17, 2018 at 11:48:30AM +0200, Roger Pau Monne wrote:
> +            curr->vpci.wait.callback = enable_callback;
> +            curr->vpci.wait.data = cb;
> +            curr->vpci.wait.end = get_cycles() + 100 * cpu_khz;

Does this guarantee to give you 100ms? What if the TSC is not constant
(invariant? forgot which name is which) ?

I think you might want to use NOW() and friends in time.c

Wei.

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to