Symbol: options_for_tty
usr/src/cmd/cmd-inet/usr.bin/pppd/main.c
402
if (!options_for_tty())
usr/src/cmd/cmd-inet/usr.bin/pppd/pppd.h
660
extern int options_for_tty __P((void));