| commit | cc31d4035bb613660ed8cba09401fb265c868ffa | [log] [tgz] |
|---|---|---|
| author | Jamie Fox <jamie.fox@arm.com> | Mon Jan 28 17:13:52 2019 +0000 |
| committer | Antonio de Angelis <antonio.deangelis@arm.com> | Fri Jul 12 10:22:46 2019 +0100 |
| tree | 0d4cf3f5835d1aadaf1cbf270b9ca260a4e5214c | |
| parent | ba1fa9ad23419edc6738f42fd6796bc3aeb5145e [diff] [blame] |
Interface: Rename PSA headers Renames PSA headers from psa_<api>.h to psa/<api>.h. Change-Id: I3fc552c39f9a7e6d54e7a7a2f82f076bd03d30a7 Signed-off-by: Jamie Fox <jamie.fox@arm.com>
diff --git a/interface/include/tfm_api.h b/interface/include/tfm_api.h index 8e152ff..5a56ec7 100644 --- a/interface/include/tfm_api.h +++ b/interface/include/tfm_api.h
@@ -13,7 +13,7 @@ #endif #include <stdint.h> -#include "psa_client.h" +#include "psa/client.h" #define TFM_INVALID_CLIENT_ID 0