x86/intel_sdsi/intel_sdsi.c

195 		fprintf(stderr, "Cannot open directory %s\n", AUX_DEV_PATH);
207 		fprintf(stderr, "No On Demand devices found.\n");
231 		fprintf(stderr, "Unrecognized guid, 0x%x\n", s->guid);
240 		fprintf(stderr, "Could not read 'registers' file\n");
343 		fprintf(stderr, "SDSi feature is present but not enabled.\n");
344 		fprintf(stderr, " Unable to read meter certificate\n");
349 		fprintf(stderr, "Metering not supporting on this socket.\n");
367 		fprintf(stderr, "Could not read 'meter_certificate' file\n");
385 		fprintf(stderr, "Invalid bundle length\n");
390 		fprintf(stderr, "More than %d bundles: %d\n",
424 		fprintf(stderr, "On Demand feature is present but not enabled.");
425 		fprintf(stderr, " Unable to read state certificate");
443 		fprintf(stderr, "Could not read 'state_certificate' file\n");
504 			fprintf(stderr, "        Warning: %d > %d licenses in bundle reported.\n",
522 		fprintf(stderr, "No binary file provided\n");
529 		fprintf(stderr, "Could not open file %s: %s\n", bin_file, strerror(errno));
545 		fprintf(stderr, "Could not open file %s: %s\n", prov_file, strerror(errno));
583 		fprintf(stderr, "On Demand feature is present but not enabled. Unable to provision");
588 		fprintf(stderr, "Maximum number of updates (%d) has been reached.\n",
595 		fprintf(stderr, "Maximum number of AKC provision failures (%d) has been reached.\n",
597 		fprintf(stderr, "Power cycle the system to reset the counter\n");
613 		fprintf(stderr, "On Demand feature is present but not enabled. Unable to provision");
618 		fprintf(stderr, "Maximum number of updates (%d) has been reached.\n",
625 		fprintf(stderr, "Maximum number of CAP provision failures (%d) has been reached.\n",
627 		fprintf(stderr, "Power cycle the system to reset the counter\n");
646 		fprintf(stderr, "Failed to read file '%s'", file);
691 		fprintf(stderr, "Could not open directory '%s': %s\n", s->dev_path,
790 				fprintf(stderr, "Could not open file '%s': %s\n", optarg,
834 			fprintf(stderr, "No command specified\n");
841 		fprintf(stderr, "No device specified\n");