On 09/26/2011 03:03 PM, Michael S. Tsirkin wrote:
On Mon, Sep 26, 2011 at 12:35:10PM -0400, Stefan Berger wrote:
+void tpm_display_backend_drivers(FILE *out)
+{
+int i;
+
+fprintf(out, "Supported TPM types (choose only one):\n");
+
+for (i = 0; bes[i] != NULL; i++) {
+fprintf
On Mon, Sep 26, 2011 at 12:35:10PM -0400, Stefan Berger wrote:
> +void tpm_display_backend_drivers(FILE *out)
> +{
> +int i;
> +
> +fprintf(out, "Supported TPM types (choose only one):\n");
> +
> +for (i = 0; bes[i] != NULL; i++) {
> +fprintf(out, "%12s %s",
> +
