Searched refs:options_from_user (Results 1 – 3 of 3) sorted by relevance
651 extern int options_from_user __P((void));
564 options_from_user() in options_from_user() function
374 || !options_from_user())