devfs_close        60 usr/server/fs/devfs/devfs_vnops.c static int devfs_close	(vnode_t, file_t);
devfs_close        83 usr/server/fs/devfs/devfs_vnops.c 	devfs_close,		/* close */