On Thu, Apr 27, 2017 at 08:44:03AM +0200, Christian Borntraeger wrote: > I have started instrumenting the kernel. I can see a set_pte_at for this > address > and I see an (to be understood) invalidation shortly after that which explains > why I get a fault.
Sounds great that you can see an invalidation shortly after, that is the real source of the problem. Can you get a stack trace of such invalidation? Thanks! Andrea