1 /* 2 * Copyright (c) 2019-2020, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef SPMD_PRIVATE_H 8 #define SPMD_PRIVATE_H 9 10 #include <context.h> 11 12 /******************************************************************************* 13 * Constants that allow assembler code to preserve callee-saved registers of the 14 * C runtime context while performing a security state switch. 15 ******************************************************************************/ 16 #define SPMD_C_RT_CTX_X19 0x0 17 #define SPMD_C_RT_CTX_X20 0x8 18 #define SPMD_C_RT_CTX_X21 0x10 19 #define SPMD_C_RT_CTX_X22 0x18 20 #define SPMD_C_RT_CTX_X23 0x20 21 #define SPMD_C_RT_CTX_X24 0x28 22 #define SPMD_C_RT_CTX_X25 0x30 23 #define SPMD_C_RT_CTX_X26 0x38 24 #define SPMD_C_RT_CTX_X27 0x40 25 #define SPMD_C_RT_CTX_X28 0x48 26 #define SPMD_C_RT_CTX_X29 0x50 27 #define SPMD_C_RT_CTX_X30 0x58 28 29 #define SPMD_C_RT_CTX_SIZE 0x60 30 #define SPMD_C_RT_CTX_ENTRIES (SPMD_C_RT_CTX_SIZE >> DWORD_SHIFT) 31 32 #ifndef __ASSEMBLER__ 33 #include <services/ffa_svc.h> 34 #include <stdint.h> 35 36 typedef enum spmc_state { 37 SPMC_STATE_RESET = 0, 38 SPMC_STATE_OFF, 39 SPMC_STATE_ON_PENDING, 40 SPMC_STATE_ON 41 } spmc_state_t; 42 43 /* 44 * Data structure used by the SPM dispatcher (SPMD) in EL3 to track context of 45 * the SPM core (SPMC) at the next lower EL. 46 */ 47 typedef struct spmd_spm_core_context { 48 uint64_t c_rt_ctx; 49 cpu_context_t cpu_ctx; 50 spmc_state_t state; 51 } spmd_spm_core_context_t; 52 53 /* 54 * Reserve ID for NS physical FFA Endpoint. 55 */ 56 #define FFA_NS_ENDPOINT_ID U(0) 57 58 /* Mask and shift to check valid secure FFA Endpoint ID. */ 59 #define SPMC_SECURE_ID_MASK U(1) 60 #define SPMC_SECURE_ID_SHIFT U(15) 61 62 /* Functions used to enter/exit SPMC synchronously */ 63 uint64_t spmd_spm_core_sync_entry(spmd_spm_core_context_t *ctx); 64 __dead2 void spmd_spm_core_sync_exit(uint64_t rc); 65 66 /* Assembly helpers */ 67 uint64_t spmd_spm_core_enter(uint64_t *c_rt_ctx); 68 void __dead2 spmd_spm_core_exit(uint64_t c_rt_ctx, uint64_t ret); 69 70 /* SPMC entry point information helper */ 71 entry_point_info_t *spmd_spmc_ep_info_get(void); 72 73 /* SPMC context on current CPU get helper */ 74 spmd_spm_core_context_t *spmd_get_context(void); 75 76 #endif /* __ASSEMBLER__ */ 77 78 #endif /* SPMD_PRIVATE_H */ 79