diff options
| author | Jeff Roberson <jeff@FreeBSD.org> | 2005-04-11 15:15:03 +0000 |
|---|---|---|
| committer | Jeff Roberson <jeff@FreeBSD.org> | 2005-04-11 15:15:03 +0000 |
| commit | 680a1ec63132635c09bb3d03670dd53082f2f5c0 (patch) | |
| tree | 2d765f580b47cbc8bd9b00008e91d9b54bf282a3 /sys/tools/vnode_if.awk | |
| parent | 22a8b405107f06832ef030b30ec9c9d501b1325b (diff) | |
| download | src-680a1ec63132635c09bb3d03670dd53082f2f5c0.tar.gz src-680a1ec63132635c09bb3d03670dd53082f2f5c0.zip | |
Notes
Diffstat (limited to 'sys/tools/vnode_if.awk')
| -rw-r--r-- | sys/tools/vnode_if.awk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk index 97cefd9456b2..2d6d1e15ed6d 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -78,6 +78,8 @@ function add_debug_code(name, arg, pos, ind) printc(ind"ASSERT_VOP_LOCKED(" star "a->a_"arg", \""uname"\");"); else if (lockdata[name, arg, pos] == "U") printc(ind"ASSERT_VOP_UNLOCKED(" star "a->a_"arg", \""uname"\");"); + else if (lockdata[name, arg, pos] == "E") + printc(ind"ASSERT_VOP_ELOCKED(" star "a->a_"arg", \""uname"\");"); else if (0) { # XXX More checks! } |