On Mon, Feb 26, 2018 at 01:44:55PM +0100, Jan Kara wrote:

On Mon 26-02-18 11:38:19, Mark Rutland wrote:

quoted

That seems to be it!

With the below patch applied, I can't trigger the bug after ~10 minutes,
whereas prior to the patch I can trigger it in ~10 seconds. I'll leave
that running for a while just in case there's another part to the
problem, but FWIW:

Tested-by: Mark Rutland <mark.rutland@arm.com>

Thanks for testing! Sent the patch to Jens for inclusion.

Cheers!

FWIW, I left my test case running for a day with no issue, so this looks
rock solid.

Mark.