static const TPMDriverOps *tpm_driver_find_by_type(enum TpmType type)

{

    int i;



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

        if (be_drivers[i]->type == type) {

            return be_drivers[i];

        }

    }

    return NULL;

}

static const TPMDriverOps *tpm_driver_find_by_type(enum TpmType type)

{

    int i;



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

        if (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++) {             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++) {         if (be_drivers[i]->type == type) {             return be_drivers[i];     return NULL;
static const TPMDriverOps *FUNC_0(enum TpmType type)

{

    int VAR_0;



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

        if (be_drivers[VAR_0]->type == type) {

            return be_drivers[VAR_0];

        }

    }

    return NULL;

}

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