diff options
| author | Marek Marczykowski-Górecki <[email protected]> | 2015-06-26 03:28:24 +0200 |
|---|---|---|
| committer | David Vrabel <[email protected]> | 2015-06-30 16:57:32 +0100 |
| commit | 30b03d05e07467b8c6ec683ea96b5bffcbcd3931 (patch) | |
| tree | f53898fc4128087d1ba6d03365f76472a212eba0 /drivers/fpga/fpga-mgr.c | |
| parent | 6684fa1cdb1ebe804e9707f389255d461b2e95b0 (diff) | |
xen/gntdevt: Fix race condition in gntdev_release()
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 <[email protected]>
Cc: <[email protected]>
Signed-off-by: David Vrabel <[email protected]>
Diffstat (limited to 'drivers/fpga/fpga-mgr.c')
0 files changed, 0 insertions, 0 deletions