76 static void format_and_print_txt(FILE *outf, int level, char *header,  in format_and_print_txt()
104 static void format_and_print(FILE *outf, int level, char *header, char *value)  in format_and_print()
183 static void _isst_pbf_display_information(int cpu, FILE *outf, int level,  in _isst_pbf_display_information()
226 static void _isst_fact_display_information(int cpu, FILE *outf, int level,  in _isst_fact_display_information()
319 	int level = 1;  in isst_ctdp_display_core_info()  local
353 	static int level;  in isst_ctdp_display_information()  local
578 void isst_pbf_display_information(int cpu, FILE *outf, int level,  in isst_pbf_display_information()
588 void isst_fact_display_information(int cpu, FILE *outf, int level,  in isst_fact_display_information()
605 	int level;  in isst_clos_display_information()  local
648 	int level;  in isst_clos_display_clos_information()  local
690 	int level;  in isst_clos_display_assoc_information()  local
709 	int level = 3;  in isst_display_result()  local