Searched refs:config_tintinchar (Results 1 – 6 of 6) sorted by relevance
912 DO_CONFIG(config_tintinchar) in DO_CONFIG() argument
280 config_tintinchar
2171 extern DO_CONFIG(config_tintinchar);