527 static int sdsi_provision(struct sdsi_dev *s, char *bin_file, enum command command)  in sdsi_provision()  argument
535 	if (!bin_file) {  in sdsi_provision()
541 	bin_fd = open(bin_file, O_RDONLY);  in sdsi_provision()
543 		fprintf(stderr, "Could not open file %s: %s\n", bin_file, strerror(errno));  in sdsi_provision()
580 	printf("Provisioned %s file %s successfully\n", prov_file, bin_file);  in sdsi_provision()
588 static int sdsi_provision_akc(struct sdsi_dev *s, char *bin_file)  in sdsi_provision_akc()  argument
615 	return sdsi_provision(s, bin_file, CMD_PROV_AKC);  in sdsi_provision_akc()
618 static int sdsi_provision_cap(struct sdsi_dev *s, char *bin_file)  in sdsi_provision_cap()  argument
645 	return sdsi_provision(s, bin_file, CMD_PROV_CAP);  in sdsi_provision_cap()
759 	char bin_file[PATH_MAX], *dev_no = NULL;  in main()  local
809 			if (!realpath(optarg, bin_file)) {  in main()
842 			ret = sdsi_provision_akc(s, bin_file);  in main()
845 			ret = sdsi_provision_cap(s, bin_file);  in main()