Searched refs:shown_header (Results 1 – 2 of 2) sorted by relevance
31 int shown_header;77 TT.shown_header = 1; in print_header()90 if (!TT.shown_header) print_header(); in print_info()
644 int shown_header; member