Index: src/platform/tpm_lite/src/testsuite/writelimit.c |
diff --git a/src/platform/tpm_lite/src/testsuite/writelimit.c b/src/platform/tpm_lite/src/testsuite/writelimit.c |
index b2a251a48fbbab7534000edd9f6c6c6488acfc69..dcaf7b0f995b7bc6536c56280f381e0a48080c43 100644 |
--- a/src/platform/tpm_lite/src/testsuite/writelimit.c |
+++ b/src/platform/tpm_lite/src/testsuite/writelimit.c |
@@ -16,12 +16,12 @@ |
#define INDEX0 0xda70 |
#define TPM_MAX_NV_WRITES_NOOWNER 64 |
-int main(void) { |
+int main(int argc, char** argv) { |
int i; |
uint32_t result; |
uint8_t disable, deactivated; /* the TPM specs use these exact names */ |
- TlclLibinit(); |
+ TlclLibInit(); |
TlclStartup(); |
TlclSelftestfull(); |
@@ -32,8 +32,8 @@ int main(void) { |
printf("disable is %d, deactivated is %d\n", disable, deactivated); |
if (disable || deactivated) { |
- TlclPhysicalEnable(); |
- (void) TlclPhysicalSetDeactivated(0); |
+ TlclSetEnable(); |
+ (void) TlclSetDeactivated(0); |
printf("TPM will be active after next reboot\n"); |
exit(0); |
} |