tree 20af98a6c78d1c95033ef1a67caec18d97862e54
parent 80f5b5e700fa9c58480eafce0d47367bafb70006
author Michael S. Tsirkin <mst@redhat.com> 1383597377 +0200
committer Gleb Natapov <gleb@redhat.com> 1383723129 +0200

srcu: API for barrier after srcu read unlock

srcu read lock/unlock include a full memory barrier
but that's an implementation detail.
Add an API for make memory fencing explicit for
users that need this barrier, to make sure we
can change it as needed without breaking all users.

Acked-by: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
Reviewed-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: Gleb Natapov <gleb@redhat.com>