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