diff options
| author | Jeff Roberson <jeff@FreeBSD.org> | 2002-08-21 06:19:29 +0000 |
|---|---|---|
| committer | Jeff Roberson <jeff@FreeBSD.org> | 2002-08-21 06:19:29 +0000 |
| commit | 71ea4ba57c8473b817189625b25f02e6d3493a08 (patch) | |
| tree | 9f225f3ee185d5bca6d6ef1adac486148979854b /sys/tools/vnode_if.awk | |
| parent | f0ac20f7d2bfc439be9af110470c4784becebe34 (diff) | |
Notes
Diffstat (limited to 'sys/tools/vnode_if.awk')
| -rw-r--r-- | sys/tools/vnode_if.awk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk index 93a737639ad7..d40bd4106785 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -66,6 +66,7 @@ function printh(s) {print s > hfile;} function add_debug_code(name, arg, pos) { if (lockdata[name, arg, pos]) { + printh("\tASSERT_VI_UNLOCKED("arg");"); # Add assertions for locking if (lockdata[name, arg, pos] == "L") printh("\tASSERT_VOP_LOCKED("arg", \""uname"\");"); |