Symbol: options_from_user
usr/src/cmd/cmd-inet/usr.bin/pppd/main.c
371
|| !options_from_user())
usr/src/cmd/cmd-inet/usr.bin/pppd/pppd.h
658
extern int options_from_user __P((void));