devfs_init         50 usr/server/fs/vfs/vfs_conf.c extern int devfs_init(void);
devfs_init         63 usr/server/fs/vfs/vfs_conf.c 	{"devfs",	devfs_init,	&devfs_vfsops},	/* device fs */