devfs_read         61 usr/server/fs/devfs/devfs_vnops.c static int devfs_read	(vnode_t, file_t, void *, size_t, size_t *);
devfs_read         84 usr/server/fs/devfs/devfs_vnops.c 	devfs_read,		/* read */