static void tpm_display_backend_drivers(void)

{

    int i;



    fprintf(stderr, "Supported TPM types (choose only one):\n");



    for (i = 0; i < TPM_MAX_DRIVERS && be_drivers[i] != NULL; i++) {

        fprintf(stderr, "%12s   %s\n",

                TpmType_lookup[be_drivers[i]->type], be_drivers[i]->desc());

    }

    fprintf(stderr, "\n");

}

static void tpm_display_backend_drivers(void)

{

    int i;



    fprintf(stderr, "Supported TPM types (choose only one):\n");



    for (i = 0; i < TPM_MAX_DRIVERS && be_drivers[i] != NULL; i++) {

        fprintf(stderr, "%12s   %s\n",

                TpmType_lookup[be_drivers[i]->type], be_drivers[i]->desc());

    }

    fprintf(stderr, "\n");

}

    int i;     for (i = 0; i < TPM_MAX_DRIVERS && be_drivers[i] != NULL; i++) {     int i;     for (i = 0; i < TPM_MAX_DRIVERS && be_drivers[i] != NULL; i++) {                 TpmType_lookup[be_drivers[i]->type], be_drivers[i]->desc());     int i;     for (i = 0; i < TPM_MAX_DRIVERS && be_drivers[i] != NULL; i++) {
static void FUNC_0(void)

{

    int VAR_0;



    fprintf(stderr, "Supported TPM types (choose only one):\n");



    for (VAR_0 = 0; VAR_0 < TPM_MAX_DRIVERS && be_drivers[VAR_0] != NULL; VAR_0++) {

        fprintf(stderr, "%12s   %s\n",

                TpmType_lookup[be_drivers[VAR_0]->type], be_drivers[VAR_0]->desc());

    }

    fprintf(stderr, "\n");

}

static void FUNC_0(void)
{ int VAR_0; fprintf(stderr, "Supported TPM types (choose only one):\n"); for (VAR_0 = 0; VAR_0 < TPM_MAX_DRIVERS && be_drivers[VAR_0] != NULL; VAR_0++) { fprintf(stderr, "%12s   %s\n",
TpmType_lookup[be_drivers[VAR_0]->type], be_drivers[VAR_0]->desc()); } fprintf(stderr, "\n"); }