Index: vboot_firmware/include/tlcl.h |
diff --git a/vboot_firmware/include/tlcl.h b/vboot_firmware/include/tlcl.h |
index ba1647c8fed1a7c5cee8820ad6cd34b35c123ace..82947f63a8a6fc55e913d0f963c82baea4fa8f07 100644 |
--- a/vboot_firmware/include/tlcl.h |
+++ b/vboot_firmware/include/tlcl.h |
@@ -24,10 +24,7 @@ |
#ifndef TPM_LITE_TLCL_H_ |
#define TPM_LITE_TLCL_H_ |
-#include <stdarg.h> |
-#include <stdint.h> |
-#include <stdio.h> |
-#include <stdlib.h> |
+#include "sysincludes.h" |
/* Call this first. |
*/ |