Symbol: PGFS_ROOT_FILEID
share/examples/puffs/pgfs/pgfs_puffs.c
157
if (parent_fileid != PGFS_ROOT_FILEID) {
share/examples/puffs/pgfs/pgfs_puffs.c
79
return fileid_to_cookie(PGFS_ROOT_FILEID);