gf_es_reset       140 src/terminal/channel.c 	gf_es_reset(tmp, 0);
gf_es_reset       187 src/terminal/channel.c 	gf_es_reset(ch, 0);
gf_es_reset       234 src/terminal/channel.c 	gf_es_reset(ch, 1);
gf_es_reset       270 src/terminal/channel.c 	gf_es_reset(ch, 0);