On Thu, 2020-02-13 at 14:26 +0100, Ján Tomko wrote:
On Fri, Feb 07, 2020 at 03:27:03PM +0100, Andrea Bolognani wrote:
+++ b/src/conf/domain_conf.c @@ -1063,6 +1063,7 @@ VIR_ENUM_IMPL(virDomainTimerName, "tsc", "kvmclock", "hypervclock", + "armvtimer", );
Okay, so this name is a libvirt invention.
I believe "ARM virtual timer" is the official name for the device; the name "armvtimer" is an abbreviation that me and Drew (CC'd) have agreed upon, and I understand that's fairly commonly used too. Drew can confirm whether this is actually the case.
And the timer itself is present on all ARM/virt guests and cannot be disabled, correct?
I believe so but, once again, it'd be better if Drew confirmed it :) -- Andrea Bolognani / Red Hat / Virtualization