Home | History | Annotate | Download | only in pgfs

Lines Matching defs:cookie_to_fileid

59 cookie_to_fileid(puffs_cookie_t cookie)
71 	assert(cookie_to_fileid(cookie) == id);
88 	fileid_t fileid = cookie_to_fileid(opc);
143 	parent_fileid = cookie_to_fileid(opc);
301 	parent_fileid = cookie_to_fileid(opc);
384 	fileid_t parent_fileid = cookie_to_fileid(opc);
426 	fileid_t parent_fileid = cookie_to_fileid(opc);
467 	fileid_t fileid = cookie_to_fileid(opc);
541 	fileid_t fileid = cookie_to_fileid(opc);
593 	fileid_t dir_fileid = cookie_to_fileid(dir_opc);
594 	fileid_t targ_fileid = cookie_to_fileid(targ_opc);
635 	fileid_t fileid = cookie_to_fileid(opc);
636 	fileid_t targ_fileid = cookie_to_fileid(targ);
673 	fileid_t parent_fileid = cookie_to_fileid(opc);
674 	fileid_t targ_fileid = cookie_to_fileid(targ);
722 	fileid_t fileid = cookie_to_fileid(opc);
759 	fileid_t fileid = cookie_to_fileid(opc);
955 	fileid_t fileid_src_dir = cookie_to_fileid(src_dir);
956 	fileid_t fileid_src = cookie_to_fileid(src);
957 	fileid_t fileid_targ_dir = cookie_to_fileid(targ_dir);
958 	fileid_t fileid_targ = cookie_to_fileid(targ);
1040 	fileid_t parent_fileid = cookie_to_fileid(opc);
1093 	fileid_t fileid = cookie_to_fileid(opc);
1125 	fileid_t fileid = cookie_to_fileid(opc);
1155 	fileid_t fileid = cookie_to_fileid(opc);