fileid_to_cookie

1079

puffs_newinfo_setcookie(pni, fileid_to_cookie(new_fileid));

359

puffs_newinfo_setcookie(pni, fileid_to_cookie(child_fileid));

410

puffs_newinfo_setcookie(pni, fileid_to_cookie(new_fileid));

450

puffs_newinfo_setcookie(pni, fileid_to_cookie(new_fileid));

79

return fileid_to_cookie(PGFS_ROOT_FILEID);