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