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
