static inline int getTPMProperty(enum TPMLIB_TPMProperty prop) { int result; TPM_RESULT res; res = TPMLIB_GetTPMProperty(prop, &result); assert(res == TPM_SUCCESS); return result; }
int tpmlib_get_tpm_property(enum TPMLIB_TPMProperty prop) { int result; TPM_RESULT res; res = TPMLIB_GetTPMProperty(prop, &result); assert(res == TPM_SUCCESS); return result; }