devfs_ioctl        64 usr/server/fs/devfs/devfs_vnops.c static int devfs_ioctl	(vnode_t, file_t, u_long, void *);
devfs_ioctl        87 usr/server/fs/devfs/devfs_vnops.c 	devfs_ioctl,		/* ioctl */