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