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