85 				 char *value)  in format_and_print_txt()
112 static void format_and_print(FILE *outf, int level, char *header, char *value)  in format_and_print()
196 	char value[512];  in _isst_pbf_display_information()  local
241 	char value[256];  in _isst_fact_display_information()  local
326 	char value[256];  in isst_ctdp_display_core_info()  local
360 	char value[512];  in isst_ctdp_display_information()  local
612 	char value[256];  in isst_clos_display_information()  local
655 	char value[256];  in isst_clos_display_clos_information()  local
697 	char value[256];  in isst_clos_display_assoc_information()  local
716 	char value[256];  in isst_display_result()  local
739 	char value[256];  in isst_display_error_info_message()  local