patch up the new check_locking.c replacement
commitdbadfe07d9201a0822870210d898771eca9609be
authorDan Carpenter <error27@gmail.com>
Fri, 11 Dec 2009 08:10:29 +0000 (11 10:10 +0200)
committerDan Carpenter <error27@gmail.com>
Fri, 11 Dec 2009 08:10:29 +0000 (11 10:10 +0200)
tree848fe560c6a4fd54009c9b3d49f866d6a72deeac
parenta6c883e795880b181039db6b0b0c8f61b4182806
patch up the new check_locking.c replacement

The new one is nicer.

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_locking.c
smatch.c
validation/sm_implied4.c
validation/sm_locking.c
validation/sm_locking2.c
validation/sm_locking3.c
validation/sm_locking4.c
validation/sm_locking5.c