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, ...); |