portal_readdir     91 miscfs/portal/portal_vnops.c int	portal_readdir(void *);
portal_readdir    130 miscfs/portal/portal_vnops.c 	{ &vop_readdir_desc, portal_readdir },		/* readdir */