SPM: Add header files for partition static load
- Create two new header files that define the partition and service
static data type.
- Create a header file for partition static loading definitions.
Change-Id: I73dafef7b587d3cad6fa35ff4788365a9936c062
Signed-off-by: Mingyang Sun <mingyang.sun@arm.com>
diff --git a/secure_fw/include/compile_check_defs.h b/secure_fw/include/compile_check_defs.h
new file mode 100644
index 0000000..13a8689
--- /dev/null
+++ b/secure_fw/include/compile_check_defs.h
@@ -0,0 +1,22 @@
+/*
+ * Copyright (c) 2021, Arm Limited. All rights reserved.
+ *
+ * SPDX-License-Identifier: BSD-3-Clause
+ *
+ */
+
+#ifndef __COMPILE_CHECK_DEFS_H__
+#define __COMPILE_CHECK_DEFS_H__
+
+#include "load/partition_static_load.h"
+#include "tfm_thread.h"
+
+#if TO_THREAD_PRIORITY(PARTITION_PRI_HIGHEST) != THRD_PRIOR_HIGHEST || \
+ TO_THREAD_PRIORITY(PARTITION_PRI_HIGH) != THRD_PRIOR_HIGH || \
+ TO_THREAD_PRIORITY(PARTITION_PRI_NORMAL) != THRD_PRIOR_MEDIUM || \
+ TO_THREAD_PRIORITY(PARTITION_PRI_LOW) != THRD_PRIOR_LOW || \
+ TO_THREAD_PRIORITY(PARTITION_PRI_LOWEST) != THRD_PRIOR_LOWEST
+#error "Partition priority converting to thread priority error!"
+#endif
+
+#endif /* __COMPILE_CHECK_DEFS_H__ */