Symbol: PGFS_DIRCOOKIE_EOD
share/examples/puffs/pgfs/pgfs_puffs.c
171
nextcookie = PGFS_DIRCOOKIE_EOD + 1;
share/examples/puffs/pgfs/pgfs_puffs.c
174
if (offset == PGFS_DIRCOOKIE_EOD) {
share/examples/puffs/pgfs/pgfs_puffs.c
217
if (offset == PGFS_DIRCOOKIE_EOD + 1) {
share/examples/puffs/pgfs/pgfs_puffs.c
232
if (offset != cookie && offset != PGFS_DIRCOOKIE_EOD + 1) {