1 /* SPDX-License-Identifier: BSD-3-Clause */
2 /*
3  * Copyright (c) 2020, ARM Limited. All rights reserved.
4  */
5 
6 #ifndef TA_TPM_LOG_H
7 #define TA_TPM_LOG_H
8 
9 #include <ta_tpm_log_test.h>
10 #include <tee_api.h>
11 
12 #endif /* TA_TPM_LOG_H */
13