diff options
| author | Mark Johnston <markj@FreeBSD.org> | 2025-07-17 21:54:32 +0000 |
|---|---|---|
| committer | Mark Johnston <markj@FreeBSD.org> | 2025-08-03 21:27:28 +0000 |
| commit | 3bd8fab2415bf517d169fed2aa345ef08a977a98 (patch) | |
| tree | 5d454c0c9f72f62f6740477eeb90951771d03ccf /sys/tools | |
| parent | 22afc767869a23f4e0ec5436ce843728fded950c (diff) | |
Diffstat (limited to 'sys/tools')
| -rw-r--r-- | sys/tools/vnode_if.awk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk index e829105197cc..74b11e6cb27d 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -86,7 +86,7 @@ function add_debug_code(name, arg, pos, ind) function add_debugpre(name) { if (lockdata[name, "debugpre"]) { - printc("#ifdef DEBUG_VFS_LOCKS"); + printc("#ifdef INVARIANTS"); printc("\t"lockdata[name, "debugpre"]"(a);"); printc("#endif"); } @@ -95,7 +95,7 @@ function add_debugpre(name) function add_debugpost(name) { if (lockdata[name, "debugpost"]) { - printc("#ifdef DEBUG_VFS_LOCKS"); + printc("#ifdef INVARIANTS"); printc("\t"lockdata[name, "debugpost"]"(a, rc);"); printc("#endif"); } @@ -340,7 +340,7 @@ while ((getline < srcfile) > 0) { for (i = 0; i < numargs; ++i) printh("\ta.a_" args[i] " = " args[i] ";"); if (can_inline(name)) { - printh("\n#if !defined(DEBUG_VFS_LOCKS) && !defined(INVARIANTS) && !defined(KTR)"); + printh("\n#if !defined(INVARIANTS) && !defined(KTR)"); printh("\tif (!SDT_PROBES_ENABLED())"); printh("\t\treturn (" args[0]"->v_op->"name"(&a));"); printh("\telse"); |