Symbol: pushfile
bin/sh/input.c
111
STATIC void pushfile(void);
bin/sh/input.c
562
pushfile();
bin/sh/input.c
587
pushfile();