diff options
author | Elyes HAOUAS <ehaouas@noos.fr> | 2018-11-01 11:29:50 +0100 |
---|---|---|
committer | Nico Huber <nico.h@gmx.de> | 2018-11-01 11:25:07 +0000 |
commit | c4e41937150beab78ba5d492b7b22799d20a0ee4 (patch) | |
tree | f8248eb3b2988bc5d3384b96f87bb848f6876134 /src/security | |
parent | 1956a00953d8eac277b0eb508fcfe60c8f4e1141 (diff) | |
download | coreboot-c4e41937150beab78ba5d492b7b22799d20a0ee4.tar.xz |
src: Add missing include <stdint.h>
Change-Id: Idf10a09745756887a517da4c26db7a90a1bf9543
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/29403
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Diffstat (limited to 'src/security')
-rw-r--r-- | src/security/tpm/tss/tcg-1.2/tss_commands.h | 2 | ||||
-rw-r--r-- | src/security/tpm/tss/tcg-1.2/tss_internal.h | 2 | ||||
-rw-r--r-- | src/security/tpm/tss_errors.h | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/src/security/tpm/tss/tcg-1.2/tss_commands.h b/src/security/tpm/tss/tcg-1.2/tss_commands.h index 9d30bfc2a2..acdc8be713 100644 --- a/src/security/tpm/tss/tcg-1.2/tss_commands.h +++ b/src/security/tpm/tss/tcg-1.2/tss_commands.h @@ -14,6 +14,8 @@ * GNU General Public License for more details. */ +#include <stdint.h> + const struct s_tpm_extend_cmd{ uint8_t buffer[34]; uint16_t pcrNum; diff --git a/src/security/tpm/tss/tcg-1.2/tss_internal.h b/src/security/tpm/tss/tcg-1.2/tss_internal.h index 01912bb78e..e999cb947f 100644 --- a/src/security/tpm/tss/tcg-1.2/tss_internal.h +++ b/src/security/tpm/tss/tcg-1.2/tss_internal.h @@ -6,6 +6,8 @@ #ifndef TCG_TSS_INTERNAL_H_ #define TCG_TSS_INTERNAL_H_ +#include <stdint.h> + /* * These numbers derive from adding the sizes of command fields as shown in the * TPM commands manual. diff --git a/src/security/tpm/tss_errors.h b/src/security/tpm/tss_errors.h index c80ffa15f3..316661cd0a 100644 --- a/src/security/tpm/tss_errors.h +++ b/src/security/tpm/tss_errors.h @@ -12,6 +12,8 @@ #ifndef TSS_ERRORS_H_ #define TSS_ERRORS_H_ +#include <stdint.h> + #define TPM_E_BASE 0x0 #define TPM_E_NON_FATAL 0x800 |