1. Changes and additions for autotest; 2. Two-level write-free locking test.

src/platform/tpm_lite/src/tlcl/generator.c

Index: src/platform/tpm_lite/src/tlcl/generator.c
diff --git a/src/platform/tpm_lite/src/tlcl/generator.c b/src/platform/tpm_lite/src/tlcl/generator.c
index a1bc46bf60bdb90d8d7cf343f14b06c7ebb71a24..dc3cf1dfd4aee635d9608430e739cbced7de56ae 100644
--- a/src/platform/tpm_lite/src/tlcl/generator.c
+++ b/src/platform/tpm_lite/src/tlcl/generator.c
@@ -170,16 +170,26 @@ Command* BuildReadCommand(void) {
   return cmd;
 }
 
-Command* BuildPhysicalPresenceCommand(void) {
+Command* BuildPPAssertCommand(void) {
   int size = kTpmRequestHeaderLength + sizeof(TPM_PHYSICAL_PRESENCE);
   Command* cmd = newCommand(TSC_ORD_PhysicalPresence, size);
-  cmd->name = "tpm_physicalpresence_cmd";
+  cmd->name = "tpm_ppassert_cmd";
   AddInitializedField(cmd, kTpmRequestHeaderLength,
                       sizeof(TPM_PHYSICAL_PRESENCE),
                       TPM_PHYSICAL_PRESENCE_PRESENT);
   return cmd;
 }
 
+Command* BuildPPLockCommand(void) {
+  int size = kTpmRequestHeaderLength + sizeof(TPM_PHYSICAL_PRESENCE);
+  Command* cmd = newCommand(TSC_ORD_PhysicalPresence, size);
+  cmd->name = "tpm_pplock_cmd";
+  AddInitializedField(cmd, kTpmRequestHeaderLength,
+                      sizeof(TPM_PHYSICAL_PRESENCE),
+                      TPM_PHYSICAL_PRESENCE_LOCK);
+  return cmd;
+}
+
 Command* BuildStartupCommand(void) {
   int size = kTpmRequestHeaderLength + sizeof(TPM_PHYSICAL_PRESENCE);
   Command* cmd = newCommand(TPM_ORD_Startup, size);
@@ -344,7 +354,8 @@ Command* (*builders[])(void) = {
   BuildDefineSpaceCommand,
   BuildWriteCommand,
   BuildReadCommand,
-  BuildPhysicalPresenceCommand,
+  BuildPPAssertCommand,
+  BuildPPLockCommand,
   BuildStartupCommand,
   BuildSelftestfullCommand,
   BuildReadPubekCommand,