portal_fileid      65 miscfs/portal/portal_vnops.c static int portal_fileid = PORTAL_ROOTFILEID+1;
portal_fileid     218 miscfs/portal/portal_vnops.c 	pt->pt_fileid = portal_fileid++;