Lines Matching refs:options
111 int devnam_fixed; /* set while in options.ttyxx file */
134 * and allows the plugin to verify the selected options.
353 * system options file, the user's options file, the tty's options file,
354 * and the command line arguments. At last, install the options declared
359 if (protp->options != NULL) {
360 add_options(protp->options);
365 * Install "generic" options into the extra_options list.
370 /* Install any system-specific options (or remove unusable ones) */
377 /* scan command line and options files to find device name */
399 * Parse the tty options file and the command line.
400 * The per-tty options file should not change
428 * Check that the options given are valid and consistent.
635 * or record options were specified.