Searched refs:default_int (Results 1 – 1 of 1) sorted by relevance
751 unsigned int default_int; member890 } else if (option_table[i].default_int != NO_DEFAULT) { in usage()892 option_table[i].default_int); in usage()