Add device open/close.

src/tlcl/tlcl.h

Index: src/tlcl/tlcl.h
diff --git a/src/tlcl/tlcl.h b/src/tlcl/tlcl.h
index 570d884178fa7a4b5b7fb0594286924a1b123676..4dce9b179eb1704eef543ccdb82cf52cf325af55 100644
--- a/src/tlcl/tlcl.h
+++ b/src/tlcl/tlcl.h
@@ -55,6 +55,13 @@ static void warning(const char *format, ...) {
  */
 void TlclLibInit(void);
 
+/* Close and open the device.  This is needed for running more complex commands
+ * at user level, such as TPM_TakeOwnership, since the TPM device can be opened
+ * only by one process at a time.
+ */
+void TlclCloseDevice(void);
+void TlclOpenDevice(void);
+
 /* Logs to stdout.  Arguments like printf.
  */
 void TlclLog(char* format, ...);