On Sun, Sep 29, 2019 at 01:16:13AM +0200, Steven McDonald wrote:
> On Sat, 28 Sep 2019 15:50:38 -0700
> Mike Larkin <mlarkin@nested.page> wrote:
>
> > What timecounter are your guests using?
> >
> > They should be using pvclock or tsc.
>
> They're all using tsc, I just double-checked. I've observed this
> behaviour on both Linux and OpenBSD guests, and both on my laptop
> (running -current as of 8 September) and on openbsd.amsterdam.
>
> I was under the impression that timekeeping issues were still a known
> problem. If that's not the case I can send a report to bugs@ if that
> would be helpful.
>

Please send a report, but be specific exactly what is broken. I already
have lots of "time is broken" reports without enough information to try
to diagnose a problem.

Your comments about mtime may shed more light on things.