On Thu, 2020-03-12 at 18:59 +0100, Roger Pau Monné wrote: > On Thu, Mar 12, 2020 at 06:02:03PM +0100, Dario Faggioli wrote: > > What do you mean with "Which timer does this hardware use" ? > > Xen uses a hardware timer (HPET, PMTIMER or PIT IIRC) in order to get > interrupts at specified times, on my box I see for example: > > (XEN) Platform timer is 23.999MHz HPET > > You should also see something along those lines. > Right. If booted Xen, I see this, which looks fine to me (this is currently Xen 4.12.2):
# xl dmesg |grep time (XEN) [00018d6c323bf350] Platform timer is 14.318MHz HPET <=========== (XEN) [ 22.097647] TSC deadline timer enabled (XEN) [ 23.068865] mwait-idle: lapic_timer_reliable_states 0xffffffff (XEN) [ 27.316536] mcheck_poll: Machine check polling timer started. Regards -- Dario Faggioli, Ph.D http://about.me/dario.faggioli Virtualization Software Engineer SUSE Labs, SUSE https://www.suse.com/ ------------------------------------------------------------------- <<This happens because _I_ choose it to happen!>> (Raistlin Majere)
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
