xen/gntdevt: Fix race condition in gntdev_release()

commit 30b03d05e0 upstream.

While gntdev_release() is called the MMU notifier is still registered
and can traverse priv->maps list even if no pages are mapped (which is
the case -- gntdev_release() is called after all). But
gntdev_release() will clear that list, so make sure that only one of
those things happens at the same time.

Signed-off-by: Marek Marczykowski-Górecki <marmarek@invisiblethingslab.com>
Signed-off-by: David Vrabel <david.vrabel@citrix.com>
Cc: Ian Campbell <ian.campbell@citrix.com>
Signed-off-by: Luis Henriques <luis.henriques@canonical.com>
This commit is contained in:
Marek Marczykowski-Górecki 2015-06-26 03:28:24 +02:00 • committed by Luis Henriques
commit f27f75ca7a