1 /* 2 * Copyright (c) 2023 Institute of Parallel And Distributed Systems (IPADS), Shanghai Jiao Tong University (SJTU) 3 * Licensed under the Mulan PSL v2. 4 * You can use this software according to the terms and conditions of the Mulan PSL v2. 5 * You may obtain a copy of Mulan PSL v2 at: 6 * http://license.coscl.org.cn/MulanPSL2 7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR 8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR 9 * PURPOSE. 10 * See the Mulan PSL v2 for more details. 11 */ 12 #ifndef SYS_PRIORITIES_H 13 #define SYS_PRIORITIES_H 14 15 #include <stdint.h> 16 17 18 #define PRIO_TEE_MAX 56 19 #define PRIO_TEE_MIN 9 20 21 enum TEE_PRIO_offset { 22 TEE_PRIO_SMCMGR_OFFSET, 23 TEE_PRIO_GT_OFFSET, 24 TEE_PRIO_DRV_OFFSET, 25 TEE_PRIO_AGENT_OFFSET, 26 TEE_PRIO_TA_OFFSET, 27 }; 28 29 #define PRIO_TEE_SMCMGR (PRIO_TEE_MAX - TEE_PRIO_SMCMGR_OFFSET) 30 #define PRIO_TEE_GT (PRIO_TEE_MAX - TEE_PRIO_GT_OFFSET) 31 #define PRIO_TEE_DRV (PRIO_TEE_MAX - TEE_PRIO_DRV_OFFSET) 32 #define PRIO_TEE_AGENT (PRIO_TEE_MAX - TEE_PRIO_AGENT_OFFSET) 33 #define PRIO_TEE_TA (PRIO_TEE_MAX - TEE_PRIO_TA_OFFSET) 34 35 #define PRIO_TEE_SMCMGR_IDLE 1 36 37 int32_t set_priority(unsigned int prio); 38 39 #endif 40