TPMVersion tpm_tis_get_tpm_version(Object *obj)
{
    TPMState *s = TPM(obj);
    return tpm_backend_get_tpm_version(s->be_driver);
TPMVersion tpm_tis_get_tpm_version(Object *obj)
{
    TPMState *s = TPM(obj);
    return tpm_backend_get_tpm_version(s->be_driver);
TPMVersion FUNC_0(Object *obj)
{
    TPMState *s = TPM(obj);
    return tpm_backend_get_tpm_version(s->be_driver);
TPMVersion FUNC_0(Object *obj)
{ TPMState *s = TPM(obj); return tpm_backend_get_tpm_version(s->be_driver);