tree a90911db1b54b217589ee286336a1903da76478b
parent 0e6163ae11dbd2f06de4f05f50e4d624a3aabe83
author Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1523300949 -0700
committer Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1523300949 -0700

fixup! tools/memory-model: Add model support for spin_is_locked

Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>