| Index: firmware/include/tlcl.h | 
| diff --git a/firmware/include/tlcl.h b/firmware/include/tlcl.h | 
| index 95310541416072c4b7d968b5393de19c4bee14af..10d080247270b0dbda88dc2eaa6854e8a7122c57 100644 | 
| --- a/firmware/include/tlcl.h | 
| +++ b/firmware/include/tlcl.h | 
| @@ -35,6 +35,11 @@ void TlclSetLogLevel(int level); | 
| */ | 
| uint32_t TlclStartup(void); | 
|  | 
| +/* Save the TPM state.  Normally done by the kernel before a suspend, included | 
| + * here for tests.  The TPM error code is returned (0 for success). | 
| + */ | 
| +uint32_t TlclSaveState(void); | 
| + | 
| /* Resumes by sending a TPM_Startup(ST_STATE).  The TPM error code is returned | 
| * (0 for success). | 
| */ | 
| @@ -127,7 +132,7 @@ uint32_t TlclSetGlobalLock(void); | 
|  | 
| /* Performs a TPM_Extend. | 
| */ | 
| -uint32_t TlclExtend(int pcr_num, uint8_t* in_digest, uint8_t* out_digest); | 
| +uint32_t TlclExtend(int pcr_num, const uint8_t* in_digest, uint8_t* out_digest); | 
|  | 
| /* Gets the permission bits for the NVRAM space with |index|. | 
| */ | 
|  |