pt_fileid          61 miscfs/portal/portal.h 	int		pt_fileid;	/* cookie */
pt_fileid         119 miscfs/portal/portal_vfsops.c 	VTOPORTAL(rvp)->pt_fileid = PORTAL_ROOTFILEID;
pt_fileid         218 miscfs/portal/portal_vnops.c 	pt->pt_fileid = portal_fileid++;
pt_fileid         541 miscfs/portal/portal_vnops.c 		vap->va_fileid = VTOPORTAL(vp)->pt_fileid;