diff options
| -rw-r--r-- | sys/tools/vnode_if.awk | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk index 443a321..5cbb637 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -67,7 +67,10 @@ function add_debug_code(name, arg, pos) { if (arg == "vpp") arg = "*vpp"; - if (lockdata[name, arg, pos]) { + if (lockdata[name, arg, pos] && (lockdata[name, arg, pos] != "-")) { + if (arg ~ /^\*/) { + printh("\tif ("substr(arg, 2)" != NULL) {"); + } printh("\tASSERT_VI_UNLOCKED("arg", \""uname"\");"); # Add assertions for locking if (lockdata[name, arg, pos] == "L") @@ -77,6 +80,9 @@ function add_debug_code(name, arg, pos) else if (0) { # XXX More checks! } + if (arg ~ /^\*/) { + printh("\t}"); + } } } |
