On 19.10.19 22:28, Marc Zyngier wrote:
How about something like pv_time_init() instead? In the guest, this is
no way KVM specific, and I still hope for this to work on things like
Xen/HyperV/VMware (yeah, I'm foolishly optimistic). All the references
to KVM should go, and be replaced by something more generic (after
all, you're only implementing the spec, so feel free to call it
den0057_* if you really want).
Xen guests already have the needed functionality. On ARM this just needs
to be hooked up.