diff options
-rw-r--r-- | sys/tools/vnode_if.awk | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk index fa168cb..b250c92 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -71,9 +71,6 @@ function add_debug_code(name, arg, pos, ind) else star = ""; if (lockdata[name, arg, pos] && (lockdata[name, arg, pos] != "-")) { - if (arg ~ /^\*/) { - printc(ind"if ("substr(arg, 2)" != NULL) {"); - } printc(ind"ASSERT_VI_UNLOCKED("star"a->a_"arg", \""uname"\");"); # Add assertions for locking if (lockdata[name, arg, pos] == "L") @@ -85,9 +82,6 @@ function add_debug_code(name, arg, pos, ind) else if (0) { # XXX More checks! } - if (arg ~ /^\*/) { - printc("ind}"); - } } } |