Searched refs:section_title (Results 1 – 1 of 1) sorted by relevance
911 const char *section_title; in print_header() local925 section_title = "Shndx"; in print_header()928 section_title = "Shname"; in print_header()935 "Other", section_title, "Name"); in print_header()