Searched refs:stream_dictionary (Results 1 – 1 of 1) sorted by relevance
6150 dictionary stream_dictionary(20); variable6165 fp = (FILE *)stream_dictionary.remove(stream); in do_open()6168 fp = (FILE *)stream_dictionary.lookup(stream, fp); in do_open()6200 FILE *fp = (FILE *)stream_dictionary.remove(stream); in close_request()6218 FILE *fp = (FILE *)stream_dictionary.lookup(stream); in do_write_request()6254 FILE *fp = (FILE *)stream_dictionary.lookup(stream); in write_macro_request()