[iot] Fix build break for arm64
Change some includes in include/trusty/sysdeps.h
to match our platform.
Test: build pass for imx7d and imx8m.
Change-Id: I01fd3634413f358ead8c9b67d05def544682c274
Signed-off-by: Luo Ji <ji.luo@nxp.com>
diff --git a/include/trusty/sysdeps.h b/include/trusty/sysdeps.h
index f2ca109..1f26bbd 100644
--- a/include/trusty/sysdeps.h
+++ b/include/trusty/sysdeps.h
@@ -29,11 +29,8 @@
* types available in a normal C runtime. At least things like uint64_t,
* uintptr_t, and bool (with |false|, |true| keywords) must be present.
*/
+#include <common.h>
#include <compiler.h>
-#include <stdarg.h>
-#include <stdbool.h>
-#include <stddef.h>
-#include <stdint.h>
/*
* These attribute macros may need to be adjusted if not using gcc or clang.
