On Fri, Dec 06, 2019 at 02:20:43PM +0100, Stefan Sperling wrote:
> On Sat, Nov 16, 2019 at 04:53:07PM +0100, Steven McDonald wrote:
> > Hi Stefan,
> > 
> > Apologies for not getting back to you sooner. I do still plan to work
> > on it and I already have a hacky patch from a month ago along the lines
> > you suggested which does seem to fix the problem. I'll hopefully have a
> > chance to clean it up and post it this weekend.
> > 
> > Also, you are correct that this is not vmm-specific. I have since
> > observed it on real hardware with OpenBSD while doing a full build of
> > base. It does seem to happen more often in vmm guests even under light
> > load, though.
> > 
> > Cheers,
> > Steven
> 
> Hey Steven,
> 
> Any news on your patch for this problem? :-)
> 
> I was just reminded by a regress test run which showed errors that
> seem to be related to the problem:

I have committed a potential fix for this now.
Please check if it works for when you find time.

Thanks!