Searched refs:options_from_user (Results 1 – 3 of 3) sorted by relevance
658 extern int options_from_user __P((void));
558 options_from_user() in options_from_user() function
371 || !options_from_user())