24 extern IFILE    curr_ifile;
45 #define ext_ifile(h)    ((IFILE)(h))
129 public void del_ifile(IFILE h)  in del_ifile()
152 public IFILE next_ifile(IFILE h)  in next_ifile()
165 public IFILE prev_ifile(IFILE h)  in prev_ifile()
178 public IFILE getoff_ifile(IFILE ifile)  in getoff_ifile()
180 	IFILE newifile;  in getoff_ifile()
232 public IFILE get_ifile(constant char *filename, IFILE prev)  in get_ifile()
244 public constant char * get_filename(IFILE ifile)  in get_filename()
254 public constant char * get_real_filename(IFILE ifile)  in get_real_filename()
264 public int get_index(IFILE ifile)  in get_index()
272 public void store_pos(IFILE ifile, struct scrpos *scrpos)  in store_pos()
281 public void get_pos(IFILE ifile, struct scrpos *scrpos)  in get_pos()
289 public void set_open(IFILE ifile)  in set_open()
297 public int opened(IFILE ifile)  in opened()
302 public void hold_ifile(IFILE ifile, int incr)  in hold_ifile()
307 public int held_ifile(IFILE ifile)  in held_ifile()
312 public void * get_filestate(IFILE ifile)  in get_filestate()
317 public void set_filestate(IFILE ifile, void *filestate)  in set_filestate()
322 public void set_altpipe(IFILE ifile, void *p)  in set_altpipe()
327 public void *get_altpipe(IFILE ifile)  in get_altpipe()
332 public void set_altfilename(IFILE ifile, char *altfilename)  in set_altfilename()
344 public char * get_altfilename(IFILE ifile)  in get_altfilename()