Searched defs:record_fd_open_with_given_name (Results 1 – 2 of 2) sorted by relevance
558 void ML_(record_fd_open_with_given_name)(ThreadId tid, Int fd, char *pathname) in ML_() argument601 ML_(record_fd_open_with_given_name)(tid, fd, name); in ML_() local607 ML_(record_fd_open_with_given_name)(tid, fd, NULL); in ML_() local
1435 ML_(record_fd_open_with_given_name)(tid, RES, NULL); in POST() local