Re: [libvirt PATCH v2 3/8] conf: Introduce VIR_DOMAIN_TIMER_NAME_ARMVTIMER
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