int tpm_register_driver(const TPMDriverOps *tdo)

{

    int i;



    for (i = 0; i < TPM_MAX_DRIVERS; i++) {

        if (!be_drivers[i]) {

            be_drivers[i] = tdo;

            return 0;

        }

    }

    error_report("Could not register TPM driver");

    return 1;

}

int tpm_register_driver(const TPMDriverOps *tdo)

{

    int i;



    for (i = 0; i < TPM_MAX_DRIVERS; i++) {

        if (!be_drivers[i]) {

            be_drivers[i] = tdo;

            return 0;

        }

    }

    error_report("Could not register TPM driver");

    return 1;

}

    int i; int tpm_register_driver(const TPMDriverOps *tdo)     int i;     for (i = 0; i < TPM_MAX_DRIVERS; i++) {         if (!be_drivers[i]) {             be_drivers[i] = tdo;             return 0;     error_report("Could not register TPM driver");     return 1;     int i;
int FUNC_0(const TPMDriverOps *VAR_0)

{

    int VAR_1;



    for (VAR_1 = 0; VAR_1 < TPM_MAX_DRIVERS; VAR_1++) {

        if (!be_drivers[VAR_1]) {

            be_drivers[VAR_1] = VAR_0;

            return 0;

        }

    }

    error_report("Could not register TPM driver");

    return 1;

}

int FUNC_0(const TPMDriverOps *VAR_0)
{ int VAR_1; for (VAR_1 = 0; VAR_1 < TPM_MAX_DRIVERS; VAR_1++) { if (!be_drivers[VAR_1]) { be_drivers[VAR_1] = VAR_0; return 0; } } error_report("Could not register TPM driver"); return 1; }