devfs_write        62 usr/server/fs/devfs/devfs_vnops.c static int devfs_write	(vnode_t, file_t, void *, size_t, size_t *);
devfs_write        85 usr/server/fs/devfs/devfs_vnops.c 	devfs_write,		/* write */