Hi, I re-open this issue because, configuring tsc clock in a
debian guest, I still see time not working properly.
I'm installed the debian VM on a different hardware.
In dmesg of OpenBSD guest I see:
# dmesg | grep -i clock
cpu0: apic clock running at 1000MHz
pvclock0 at pvbus0
# dmesg | grep -
I've dug a bit deeper into this and found that the interface outages occur
when the CPU frequency changes, either by e.g. obsdfreqd(1) doing it or by
manually changing hw.setperf, such that an actual frequency change can be
observed in hw.cpuspeed. I can thus reproduce the problem accurately by
jus
