225 int get_file_size(char *filename)  in get_file_size()  argument
229 	if (stat(filename, &st) == 0)  in get_file_size()
647 int parse_sec_config_file(char *filename)  in parse_sec_config_file()  argument
658 	if (config_read_file(&sec_cfg, filename) != CONFIG_TRUE) {  in parse_sec_config_file()
661 			filename, config_error_text(&sec_cfg),  in parse_sec_config_file()
802 int format_sec_ext(char *filename, FILE *out_fd)  in format_sec_ext()  argument
812 	if (parse_sec_config_file(filename)) {  in format_sec_ext()
814 			"failed parsing configuration file %s\n", filename);  in format_sec_ext()
1361 int format_bin_ext(char *filename, FILE *out_fd)  in format_bin_ext()  argument
1369 	in_fd = fopen(filename, "rb");  in format_bin_ext()
1372 			filename);  in format_bin_ext()
1376 	size = get_file_size(filename);  in format_bin_ext()