<dec f='src/src/sys/sys/filedesc.h' l='205' type='void fd_putvnode(unsigned int )'/>
