int tpm_register_model(enum TpmModel model)

{

    int i;



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

        if (tpm_models[i] == -1) {

            tpm_models[i] = model;

            return 0;

        }

    }

    error_report("Could not register TPM model");

    return 1;

}

int tpm_register_model(enum TpmModel model)

{

    int i;



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

        if (tpm_models[i] == -1) {

            tpm_models[i] = model;

            return 0;

        }

    }

    error_report("Could not register TPM model");

    return 1;

}

        if (tpm_models[i] == -1) {
int FUNC_0(enum TpmModel VAR_0)

{

    int VAR_1;



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

        if (tpm_models[VAR_1] == -1) {

            tpm_models[VAR_1] = VAR_0;

            return 0;

        }

    }

    error_report("Could not register TPM VAR_0");

    return 1;

}

int FUNC_0(enum TpmModel VAR_0)
{ int VAR_1; for (VAR_1 = 0; VAR_1 < TPM_MAX_MODELS; VAR_1++) { if (tpm_models[VAR_1] == -1) { tpm_models[VAR_1] = VAR_0; return 0; } } error_report("Could not register TPM VAR_0"); return 1; }