| Mingyang Sun | 00df235 | 2021-04-15 15:46:08 +0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2021, Arm Limited. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
| 8 | #ifndef __COMPILE_CHECK_DEFS_H__ |
| 9 | #define __COMPILE_CHECK_DEFS_H__ |
| 10 | |
| Ken Liu | acd2a57 | 2021-05-12 16:19:04 +0800 | [diff] [blame^] | 11 | #include "load/spm_load_api.h" |
| Mingyang Sun | 00df235 | 2021-04-15 15:46:08 +0800 | [diff] [blame] | 12 | #include "tfm_thread.h" |
| 13 | |
| 14 | #if TO_THREAD_PRIORITY(PARTITION_PRI_HIGHEST) != THRD_PRIOR_HIGHEST || \ |
| 15 | TO_THREAD_PRIORITY(PARTITION_PRI_HIGH) != THRD_PRIOR_HIGH || \ |
| 16 | TO_THREAD_PRIORITY(PARTITION_PRI_NORMAL) != THRD_PRIOR_MEDIUM || \ |
| 17 | TO_THREAD_PRIORITY(PARTITION_PRI_LOW) != THRD_PRIOR_LOW || \ |
| 18 | TO_THREAD_PRIORITY(PARTITION_PRI_LOWEST) != THRD_PRIOR_LOWEST |
| 19 | #error "Partition priority converting to thread priority error!" |
| 20 | #endif |
| 21 | |
| 22 | #endif /* __COMPILE_CHECK_DEFS_H__ */ |