On Thu, Oct 03, 2019 at 08:04:23PM +0300, Jarkko Sakkinen wrote: > Use mmu_notifier_put() to synchronize sgx_encl_mm deletion. > > Cc: Sean Christopherson <sean.j.christopherson@xxxxxxxxx> > Signed-off-by: Jarkko Sakkinen <jarkko.sakkinen@xxxxxxxxxxxxxxx> Pushed this already to master. Not squashed yet as I'm compiling a kernel to test it. /Jarkko