Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 1 | /* |
Gyorgy Szing | 40a7af0 | 2019-02-06 14:19:47 +0100 | [diff] [blame] | 2 | * Copyright (c) 2017-2019, Arm Limited. All rights reserved. |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
| 8 | #ifndef __SPM_API_H__ |
| 9 | #define __SPM_API_H__ |
| 10 | |
| 11 | /* This file contains the apis exported by the SPM to tfm core */ |
Mate Toth-Pal | 3db437a | 2018-06-22 16:15:13 +0200 | [diff] [blame] | 12 | #include "tfm_api.h" |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 13 | #include "spm_partition_defs.h" |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 14 | #include "secure_fw/core/tfm_secure_api.h" |
| 15 | |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 16 | #define SPM_INVALID_PARTITION_IDX (~0U) |
| 17 | |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 18 | enum spm_err_t { |
| 19 | SPM_ERR_OK = 0, |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 20 | SPM_ERR_PARTITION_DB_NOT_INIT, |
| 21 | SPM_ERR_PARTITION_ALREADY_ACTIVE, |
| 22 | SPM_ERR_PARTITION_NOT_AVAILABLE, |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 23 | SPM_ERR_INVALID_CONFIG, |
| 24 | }; |
| 25 | |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 26 | enum spm_part_state_t { |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 27 | SPM_PARTITION_STATE_UNINIT = 0, |
| 28 | SPM_PARTITION_STATE_IDLE, |
| 29 | SPM_PARTITION_STATE_RUNNING, |
| 30 | SPM_PARTITION_STATE_SUSPENDED, |
| 31 | SPM_PARTITION_STATE_BLOCKED, |
| 32 | SPM_PARTITION_STATE_CLOSED |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 33 | }; |
| 34 | |
Mate Toth-Pal | 5939871 | 2018-02-28 17:06:40 +0100 | [diff] [blame] | 35 | enum spm_part_flag_mask_t { |
Edison Ai | bb614aa | 2018-11-21 15:15:00 +0800 | [diff] [blame] | 36 | SPM_PART_FLAG_APP_ROT = 0x01, |
| 37 | SPM_PART_FLAG_PSA_ROT = 0x02, |
| 38 | SPM_PART_FLAG_IPC = 0x04 |
Mate Toth-Pal | 5939871 | 2018-02-28 17:06:40 +0100 | [diff] [blame] | 39 | }; |
| 40 | |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 41 | /** |
Mate Toth-Pal | 3db437a | 2018-06-22 16:15:13 +0200 | [diff] [blame] | 42 | * \brief Holds the iovec parameters that are passed to a service |
| 43 | * |
| 44 | * \note The size of the structure is (and have to be) multiple of 8 bytes |
| 45 | */ |
| 46 | struct iovec_args_t { |
| 47 | psa_invec in_vec[PSA_MAX_IOVEC]; /*!< Array of psa_invec objects */ |
| 48 | size_t in_len; /*!< Number psa_invec objects in in_vec |
| 49 | */ |
| 50 | psa_outvec out_vec[PSA_MAX_IOVEC]; /*!< Array of psa_outvec objects */ |
| 51 | size_t out_len; /*!< Number psa_outvec objects in out_vec |
| 52 | */ |
| 53 | }; |
| 54 | |
| 55 | /** |
Mate Toth-Pal | 18b8392 | 2018-02-26 17:58:18 +0100 | [diff] [blame] | 56 | * \brief Runtime context information of a partition |
| 57 | */ |
| 58 | struct spm_partition_runtime_data_t { |
| 59 | uint32_t partition_state; |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 60 | uint32_t caller_partition_idx; |
Mate Toth-Pal | 21a74c9 | 2018-04-13 14:05:41 +0200 | [diff] [blame] | 61 | int32_t caller_client_id; |
Mate Toth-Pal | 18b8392 | 2018-02-26 17:58:18 +0100 | [diff] [blame] | 62 | uint32_t share; |
Mate Toth-Pal | 18b8392 | 2018-02-26 17:58:18 +0100 | [diff] [blame] | 63 | uint32_t stack_ptr; |
Miklos Balint | ace4c3f | 2018-07-30 12:31:15 +0200 | [diff] [blame] | 64 | uint32_t lr; |
Mate Toth-Pal | 2a6f8c2 | 2018-12-13 16:37:17 +0100 | [diff] [blame] | 65 | int32_t iovec_api; /*!< Whether the function in the partition |
| 66 | * had been called using the iovec API. |
| 67 | * FIXME: Remove the field once this is the |
| 68 | * only option |
| 69 | */ |
Mate Toth-Pal | 3db437a | 2018-06-22 16:15:13 +0200 | [diff] [blame] | 70 | struct iovec_args_t iovec_args; |
| 71 | psa_outvec *orig_outvec; |
Mate Toth-Pal | 18b8392 | 2018-02-26 17:58:18 +0100 | [diff] [blame] | 72 | }; |
| 73 | |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 74 | |
Mate Toth-Pal | 18b8392 | 2018-02-26 17:58:18 +0100 | [diff] [blame] | 75 | /** |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 76 | * \brief Returns the index of the partition with the given partition ID. |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 77 | * |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 78 | * \param[in] partition_id Partition id |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 79 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 80 | * \return the partition idx if partition_id is valid, |
| 81 | * \ref SPM_INVALID_PARTITION_IDX othervise |
| 82 | */ |
| 83 | uint32_t get_partition_idx(uint32_t partition_id); |
| 84 | |
Mate Toth-Pal | 3db437a | 2018-06-22 16:15:13 +0200 | [diff] [blame] | 85 | #if TFM_LVL != 1 |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 86 | /** |
| 87 | * \brief Configure isolated sandbox for a partition |
| 88 | * |
| 89 | * \param[in] partition_idx Partition index |
| 90 | * |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 91 | * \return Error code \ref spm_err_t |
| 92 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 93 | * \note This function doesn't check if partition_idx is valid. |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 94 | */ |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 95 | enum spm_err_t tfm_spm_partition_sandbox_config(uint32_t partition_idx); |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 96 | |
| 97 | /** |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 98 | * \brief Deconfigure sandbox for a partition |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 99 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 100 | * \param[in] partition_idx Partition index |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 101 | * |
| 102 | * \return Error code \ref spm_err_t |
| 103 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 104 | * \note This function doesn't check if partition_idx is valid. |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 105 | */ |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 106 | enum spm_err_t tfm_spm_partition_sandbox_deconfig(uint32_t partition_idx); |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 107 | |
| 108 | /** |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 109 | * \brief Get bottom of stack region for a partition |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 110 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 111 | * \param[in] partition_idx Partition index |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 112 | * |
| 113 | * \return Stack region bottom value |
| 114 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 115 | * \note This function doesn't check if partition_idx is valid. |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 116 | */ |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 117 | uint32_t tfm_spm_partition_get_stack_bottom(uint32_t partition_idx); |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 118 | |
| 119 | /** |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 120 | * \brief Get top of stack region for a partition |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 121 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 122 | * \param[in] partition_idx Partition index |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 123 | * |
| 124 | * \return Stack region top value |
| 125 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 126 | * \note This function doesn't check if partition_idx is valid. |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 127 | */ |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 128 | uint32_t tfm_spm_partition_get_stack_top(uint32_t partition_idx); |
| 129 | |
| 130 | /** |
Mate Toth-Pal | 21a74c9 | 2018-04-13 14:05:41 +0200 | [diff] [blame] | 131 | * \brief Get the start of the zero-initialised region for a partition |
| 132 | * |
| 133 | * \param[in] partition_idx Partition idx |
| 134 | * |
| 135 | * \return Start of the zero-initialised region |
| 136 | * |
| 137 | * \note This function doesn't check if partition_idx is valid. |
| 138 | */ |
| 139 | uint32_t tfm_spm_partition_get_zi_start(uint32_t partition_idx); |
| 140 | |
| 141 | /** |
| 142 | * \brief Get the limit of the zero-initialised region for a partition |
| 143 | * |
| 144 | * \param[in] partition_idx Partition idx |
| 145 | * |
| 146 | * \return Limit of the zero-initialised region |
| 147 | * |
| 148 | * \note This function doesn't check if partition_idx is valid. |
| 149 | * \note The address returned is not part of the region. |
| 150 | */ |
| 151 | uint32_t tfm_spm_partition_get_zi_limit(uint32_t partition_idx); |
| 152 | |
| 153 | /** |
| 154 | * \brief Get the start of the read-write region for a partition |
| 155 | * |
| 156 | * \param[in] partition_idx Partition idx |
| 157 | * |
| 158 | * \return Start of the read-write region |
| 159 | * |
| 160 | * \note This function doesn't check if partition_idx is valid. |
| 161 | */ |
| 162 | uint32_t tfm_spm_partition_get_rw_start(uint32_t partition_idx); |
| 163 | |
| 164 | /** |
| 165 | * \brief Get the limit of the read-write region for a partition |
| 166 | * |
| 167 | * \param[in] partition_idx Partition idx |
| 168 | * |
| 169 | * \return Limit of the read-write region |
| 170 | * |
| 171 | * \note This function doesn't check if partition_idx is valid. |
| 172 | * \note The address returned is not part of the region. |
| 173 | */ |
| 174 | uint32_t tfm_spm_partition_get_rw_limit(uint32_t partition_idx); |
| 175 | |
| 176 | /** |
Mate Toth-Pal | 3db437a | 2018-06-22 16:15:13 +0200 | [diff] [blame] | 177 | * \brief Save stack pointer for partition in database |
| 178 | * |
| 179 | * \param[in] partition_idx Partition index |
| 180 | * \param[in] stack_ptr Stack pointer to be stored |
| 181 | * |
| 182 | * \note This function doesn't check if partition_idx is valid. |
| 183 | */ |
Gyorgy Szing | 40a7af0 | 2019-02-06 14:19:47 +0100 | [diff] [blame] | 184 | void tfm_spm_partition_set_stack(uint32_t partition_idx, uint32_t stack_ptr); |
Mate Toth-Pal | 3db437a | 2018-06-22 16:15:13 +0200 | [diff] [blame] | 185 | #endif |
| 186 | |
| 187 | /** |
| 188 | * \brief Get the flags associated with a partition |
| 189 | * |
| 190 | * \param[in] partition_idx Partition index |
| 191 | * |
| 192 | * \return Flags associated with the partition |
| 193 | * |
| 194 | * \note This function doesn't check if partition_idx is valid. |
| 195 | */ |
| 196 | uint32_t tfm_spm_partition_get_flags(uint32_t partition_idx); |
| 197 | |
| 198 | /** |
Mate Toth-Pal | 18b8392 | 2018-02-26 17:58:18 +0100 | [diff] [blame] | 199 | * \brief Get the current runtime data of a partition |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 200 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 201 | * \param[in] partition_idx Partition index |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 202 | * |
Mate Toth-Pal | 18b8392 | 2018-02-26 17:58:18 +0100 | [diff] [blame] | 203 | * \return The runtime data of the specified partition |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 204 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 205 | * \note This function doesn't check if partition_idx is valid. |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 206 | */ |
Mate Toth-Pal | 18b8392 | 2018-02-26 17:58:18 +0100 | [diff] [blame] | 207 | const struct spm_partition_runtime_data_t * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 208 | tfm_spm_partition_get_runtime_data(uint32_t partition_idx); |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 209 | |
| 210 | /** |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 211 | * \brief Returns the index of the partition that has running state |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 212 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 213 | * \return The index of the partition with the running state, if there is any |
| 214 | * set. 0 otherwise. |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 215 | */ |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 216 | uint32_t tfm_spm_partition_get_running_partition_idx(void); |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 217 | |
| 218 | /** |
Miklos Balint | ace4c3f | 2018-07-30 12:31:15 +0200 | [diff] [blame] | 219 | * \brief Save stack pointer and link register for partition in database |
| 220 | * |
| 221 | * \param[in] partition_idx Partition index |
| 222 | * \param[in] stack_ptr Stack pointer to be stored |
| 223 | * \param[in] lr Link register to be stored |
| 224 | * |
| 225 | * \note This function doesn't check if partition_idx is valid. |
| 226 | */ |
| 227 | void tfm_spm_partition_store_context(uint32_t partition_idx, |
| 228 | uint32_t stack_ptr, uint32_t lr); |
| 229 | |
| 230 | /** |
Mate Toth-Pal | 3db437a | 2018-06-22 16:15:13 +0200 | [diff] [blame] | 231 | * \brief Get the id of the partition for its index from the db |
| 232 | * |
| 233 | * \param[in] partition_idx Partition index |
| 234 | * |
| 235 | * \return Partition ID for that partition |
| 236 | * |
| 237 | * \note This function doesn't check if partition_idx is valid. |
| 238 | */ |
| 239 | uint32_t tfm_spm_partition_get_partition_id(uint32_t partition_idx); |
| 240 | |
| 241 | /** |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 242 | * \brief Set the current state of a partition |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 243 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 244 | * \param[in] partition_idx Partition index |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 245 | * \param[in] state The state to be set |
| 246 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 247 | * \note This function doesn't check if partition_idx is valid. |
Gyorgy Szing | 40a7af0 | 2019-02-06 14:19:47 +0100 | [diff] [blame] | 248 | * \note The state has to have the value set of \ref spm_part_state_t. |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 249 | */ |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 250 | void tfm_spm_partition_set_state(uint32_t partition_idx, uint32_t state); |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 251 | |
| 252 | /** |
Miklos Balint | 6a139ae | 2018-04-04 19:44:37 +0200 | [diff] [blame] | 253 | * \brief Set the caller partition index for a given partition |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 254 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 255 | * \param[in] partition_idx Partition index |
Miklos Balint | 6a139ae | 2018-04-04 19:44:37 +0200 | [diff] [blame] | 256 | * \param[in] caller_partition_idx The index of the caller partition |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 257 | * |
Miklos Balint | 6a139ae | 2018-04-04 19:44:37 +0200 | [diff] [blame] | 258 | * \note This function doesn't check if any of the partition_idxs are valid. |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 259 | */ |
Miklos Balint | 6a139ae | 2018-04-04 19:44:37 +0200 | [diff] [blame] | 260 | void tfm_spm_partition_set_caller_partition_idx(uint32_t partition_idx, |
| 261 | uint32_t caller_partition_idx); |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 262 | |
| 263 | /** |
Mate Toth-Pal | 21a74c9 | 2018-04-13 14:05:41 +0200 | [diff] [blame] | 264 | * \brief Set the caller client ID for a given partition |
| 265 | * |
| 266 | * \param[in] partition_idx Partition index |
| 267 | * \param[in] caller_client_id The ID of the calling client |
| 268 | * |
| 269 | * \note This function doesn't check if any of the partition_idxs are valid. |
| 270 | */ |
| 271 | void tfm_spm_partition_set_caller_client_id(uint32_t partition_idx, |
| 272 | int32_t caller_client_id); |
| 273 | |
| 274 | /** |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 275 | * \brief Set the buffer share region of the partition |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 276 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 277 | * \param[in] partition_idx Partition index |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 278 | * \param[in] share The buffer share region to be set |
| 279 | * |
| 280 | * \return Error code \ref spm_err_t |
| 281 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 282 | * \note This function doesn't check if partition_idx is valid. |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 283 | * \note share has to have the value set of \ref tfm_buffer_share_region_e |
| 284 | */ |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 285 | enum spm_err_t tfm_spm_partition_set_share(uint32_t partition_idx, |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 286 | uint32_t share); |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 287 | |
| 288 | /** |
Mate Toth-Pal | 3db437a | 2018-06-22 16:15:13 +0200 | [diff] [blame] | 289 | * \brief Set the iovec parameters for the partition |
| 290 | * |
| 291 | * \param[in] partition_idx Partition index |
| 292 | * \param[in] args The arguments of the secure function |
| 293 | * |
| 294 | * args is expected to be of type int32_t[4] where: |
| 295 | * args[0] is in_vec |
| 296 | * args[1] is in_len |
| 297 | * args[2] is out_vec |
| 298 | * args[3] is out_len |
| 299 | * |
| 300 | * \note This function doesn't check if partition_idx is valid. |
| 301 | * \note This function assumes that the iovecs that are passed in args are |
| 302 | * valid, and does no sanity check on them at all. |
| 303 | */ |
| 304 | void tfm_spm_partition_set_iovec(uint32_t partition_idx, int32_t *args); |
| 305 | |
| 306 | /** |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 307 | * \brief Initialize partition database |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 308 | * |
| 309 | * \return Error code \ref spm_err_t |
| 310 | */ |
| 311 | enum spm_err_t tfm_spm_db_init(void); |
| 312 | |
| 313 | /** |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 314 | * \brief Execute partition init function |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 315 | * |
| 316 | * \return Error code \ref spm_err_t |
| 317 | */ |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 318 | enum spm_err_t tfm_spm_partition_init(void); |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 319 | |
| 320 | /** |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 321 | * \brief Clears the context info from the database for a partition. |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 322 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 323 | * \param[in] partition_idx Partition index |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 324 | * |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 325 | * \note This function doesn't check if partition_idx is valid. |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 326 | */ |
Mate Toth-Pal | 52674ab | 2018-02-26 09:47:56 +0100 | [diff] [blame] | 327 | void tfm_spm_partition_cleanup_context(uint32_t partition_idx); |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 328 | |
| 329 | #endif /*__SPM_API_H__ */ |