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 */