/sys/tools/

• ../
• makeobjops.awk
• vnode_if.awk