/sys/tools/

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