diff options
| -rw-r--r-- | sys/kern/vnode_if.src | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sys/kern/vnode_if.src b/sys/kern/vnode_if.src index 950928b0f64f..7b74354dba28 100644 --- a/sys/kern/vnode_if.src +++ b/sys/kern/vnode_if.src @@ -53,6 +53,12 @@ # =: the same on input and output, may be either L or U. # X: locked if not nil. # +# The paramater named "vpp" is assumed to be always used with double +# indirection (**vpp) and that name is hard-codeed in vnode_if.awk ! +# +# If other such parameters are introduced, they have to be added to +# the AWK script at the head of the definition of "add_debug_code()". +# # # islocked vp = = = |