const TPMDriverOps *tpm_get_backend_driver(const char *type)

{

    int i;



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

        if (!strcmp(TpmType_lookup[be_drivers[i]->type], type)) {

            return be_drivers[i];

        }

    }



    return NULL;

}

const TPMDriverOps *tpm_get_backend_driver(const char *type)

{

    int i;



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

        if (!strcmp(TpmType_lookup[be_drivers[i]->type], type)) {

            return be_drivers[i];

        }

    }



    return NULL;

}

    int i;     for (i = 0; i < TPM_MAX_DRIVERS && be_drivers[i] != NULL; i++) {         if (!strcmp(TpmType_lookup[be_drivers[i]->type], type)) {             return be_drivers[i];     return NULL;     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++) {             return be_drivers[i];     return NULL;
const TPMDriverOps *FUNC_0(const char *type)

{

    int VAR_0;



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

        if (!strcmp(TpmType_lookup[be_drivers[VAR_0]->type], type)) {

            return be_drivers[VAR_0];

        }

    }



    return NULL;

}

const TPMDriverOps *FUNC_0(const char *type)
{ int VAR_0; for (VAR_0 = 0; VAR_0 < TPM_MAX_DRIVERS && be_drivers[VAR_0] != NULL; VAR_0++) { if (!strcmp(TpmType_lookup[be_drivers[VAR_0]->type], type)) { return be_drivers[VAR_0]; } } return NULL; }