blob: 5871f965a355ed0999a0ae33aeca76c0cdb7215f [file] [log] [blame]
Soby Mathewb4c6df42022-11-09 11:13:29 +00001/*
2 * SPDX-License-Identifier: BSD-3-Clause
3 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4 */
5
6#include <arch.h>
7#include <arch_helpers.h>
8#include <assert.h>
9#include <buffer.h>
10#include <debug.h>
Arunachalam Ganapathy4f601e72023-05-22 11:49:29 +010011#include <run.h>
Arunachalam Ganapathy51119932023-03-23 12:32:49 +000012#include <simd.h>
Soby Mathewb4c6df42022-11-09 11:13:29 +000013#include <smc-handler.h>
14#include <smc-rmi.h>
15#include <smc.h>
16#include <status.h>
17#include <utils_def.h>
18
AlexeiFedorov6c119692023-04-21 12:31:15 +010019/* Maximum number of supported arguments */
AlexeiFedorov93f5ec52023-08-31 14:26:53 +010020#define MAX_NUM_ARGS 5U
Soby Mathewb4c6df42022-11-09 11:13:29 +000021
AlexeiFedorov6c119692023-04-21 12:31:15 +010022/* Maximum number of output values */
AlexeiFedorov93f5ec52023-08-31 14:26:53 +010023#define MAX_NUM_OUTPUT_VALS 4U
AlexeiFedorov6c119692023-04-21 12:31:15 +010024
25#define RMI_STATUS_STRING(_id)[RMI_##_id] = #_id
26
AlexeiFedorov04418f42023-09-13 10:50:33 +010027static const char * const rmi_status_string[] = {
AlexeiFedorov6c119692023-04-21 12:31:15 +010028 RMI_STATUS_STRING(SUCCESS),
29 RMI_STATUS_STRING(ERROR_INPUT),
30 RMI_STATUS_STRING(ERROR_REALM),
31 RMI_STATUS_STRING(ERROR_REC),
AlexeiFedorov892abce2023-04-06 16:32:12 +010032 RMI_STATUS_STRING(ERROR_RTT)
Soby Mathewb4c6df42022-11-09 11:13:29 +000033};
AlexeiFedorov56e1a8e2023-09-01 17:06:13 +010034
AlexeiFedorov6c119692023-04-21 12:31:15 +010035COMPILER_ASSERT(ARRAY_LEN(rmi_status_string) == RMI_ERROR_COUNT);
Soby Mathewb4c6df42022-11-09 11:13:29 +000036
37/*
38 * At this level (in handle_ns_smc) we distinguish the RMI calls only on:
AlexeiFedorov6c119692023-04-21 12:31:15 +010039 * - The number of input arguments [0..5], and whether
Soby Mathewb4c6df42022-11-09 11:13:29 +000040 * - The function returns up to three output values in addition
41 * to the return status code.
42 * Hence, the naming syntax is:
AlexeiFedorov6c119692023-04-21 12:31:15 +010043 * - `*_[0..5]` when no output values are returned, and
44 * - `*_[0..3]_o` when the function returns some output values.
Soby Mathewb4c6df42022-11-09 11:13:29 +000045 */
Soby Mathewb4c6df42022-11-09 11:13:29 +000046typedef unsigned long (*handler_0)(void);
47typedef unsigned long (*handler_1)(unsigned long arg0);
48typedef unsigned long (*handler_2)(unsigned long arg0, unsigned long arg1);
49typedef unsigned long (*handler_3)(unsigned long arg0, unsigned long arg1,
50 unsigned long arg2);
51typedef unsigned long (*handler_4)(unsigned long arg0, unsigned long arg1,
52 unsigned long arg2, unsigned long arg3);
53typedef unsigned long (*handler_5)(unsigned long arg0, unsigned long arg1,
54 unsigned long arg2, unsigned long arg3,
55 unsigned long arg4);
AlexeiFedorovccce3ad2023-04-28 18:29:47 +010056typedef void (*handler_1_o)(unsigned long arg0, struct smc_result *res);
AlexeiFedorov892abce2023-04-06 16:32:12 +010057typedef void (*handler_2_o)(unsigned long arg0, unsigned long arg1,
AlexeiFedorovccce3ad2023-04-28 18:29:47 +010058 struct smc_result *res);
Soby Mathewb4c6df42022-11-09 11:13:29 +000059typedef void (*handler_3_o)(unsigned long arg0, unsigned long arg1,
AlexeiFedorovccce3ad2023-04-28 18:29:47 +010060 unsigned long arg2, struct smc_result *res);
AlexeiFedorov892abce2023-04-06 16:32:12 +010061typedef void (*handler_4_o)(unsigned long arg0, unsigned long arg1,
62 unsigned long arg2, unsigned long arg3,
AlexeiFedorovccce3ad2023-04-28 18:29:47 +010063 struct smc_result *res);
Soby Mathewb4c6df42022-11-09 11:13:29 +000064
AlexeiFedorov6c119692023-04-21 12:31:15 +010065/*
66 * SMC RMI handler type encoding:
67 * [0:7] - number of arguments
68 * [8:15] - number of output values
69 */
Chuyue Luod7386682023-09-22 11:55:47 +010070#define RMI_TYPE(_in, _out) ((_in) | ((_out) << 8))
AlexeiFedorov56e1a8e2023-09-01 17:06:13 +010071#define set_rmi_type(_in, _out) rmi_type_##_in##_out = RMI_TYPE(_in, _out)
AlexeiFedorov6c119692023-04-21 12:31:15 +010072
Soby Mathewb4c6df42022-11-09 11:13:29 +000073enum rmi_type {
AlexeiFedorov56e1a8e2023-09-01 17:06:13 +010074 set_rmi_type(0, 0), /* 0 arguments, 0 output values */
75 set_rmi_type(1, 0), /* 1 argument, 0 output values */
76 set_rmi_type(2, 0), /* 2 arguments, 0 output values */
77 set_rmi_type(3, 0), /* 3 arguments, 0 output values */
78 set_rmi_type(4, 0), /* 4 arguments, 0 output values */
79 set_rmi_type(5, 0), /* 5 arguments, 0 output values */
80 set_rmi_type(1, 1), /* 1 argument, 1 output value */
AlexeiFedorov2cc6cee2023-10-09 16:19:05 +010081 set_rmi_type(1, 2), /* 1 argument, 2 output values */
AlexeiFedorov56e1a8e2023-09-01 17:06:13 +010082 set_rmi_type(2, 2), /* 2 arguments, 2 output values */
83 set_rmi_type(3, 1), /* 3 arguments, 1 output value */
84 set_rmi_type(3, 2), /* 3 arguments, 2 output values */
85 set_rmi_type(3, 4), /* 3 arguments, 4 output values */
86 set_rmi_type(4, 1) /* 4 arguments, 1 output value */
Soby Mathewb4c6df42022-11-09 11:13:29 +000087};
88
89struct smc_handler {
90 const char *fn_name;
Soby Mathewb4c6df42022-11-09 11:13:29 +000091 union {
AlexeiFedorov6c119692023-04-21 12:31:15 +010092 handler_0 f_00;
93 handler_1 f_10;
94 handler_2 f_20;
95 handler_3 f_30;
96 handler_4 f_40;
97 handler_5 f_50;
98 handler_1_o f_11;
AlexeiFedorov2cc6cee2023-10-09 16:19:05 +010099 handler_1_o f_12;
AlexeiFedorov892abce2023-04-06 16:32:12 +0100100 handler_2_o f_22;
101 handler_3_o f_31;
102 handler_3_o f_32;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100103 handler_3_o f_34;
AlexeiFedorov892abce2023-04-06 16:32:12 +0100104 handler_4_o f_41;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000105 void *fn_dummy;
106 };
Chuyue Luo819aa312023-11-03 10:41:27 +0000107 enum rmi_type type;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000108 bool log_exec; /* print handler execution */
109 bool log_error; /* print in case of error status */
Soby Mathewb4c6df42022-11-09 11:13:29 +0000110};
111
112/*
113 * Get handler ID from FID
114 * Precondition: FID is an RMI call
115 */
AlexeiFedorov6c119692023-04-21 12:31:15 +0100116#define RMI_HANDLER_ID(_id) SMC64_FID_OFFSET_FROM_RANGE_MIN(RMI, _id)
Soby Mathewb4c6df42022-11-09 11:13:29 +0000117
AlexeiFedorov6c119692023-04-21 12:31:15 +0100118#define HANDLER(_id, _in, _out, _fn, _exec, _error)[RMI_HANDLER_ID(SMC_RMM_##_id)] = { \
AlexeiFedorov6a4314e2023-10-20 15:40:14 +0100119 .fn_name = (#_id), \
120 .type = (enum rmi_type)RMI_TYPE(_in, _out), \
121 .f_##_in##_out = (_fn), \
122 .log_exec = (_exec), \
123 .log_error = (_error) \
AlexeiFedorov6c119692023-04-21 12:31:15 +0100124}
Soby Mathewb4c6df42022-11-09 11:13:29 +0000125
126/*
127 * The 3rd value enables the execution log.
128 * The 4th value enables the error log.
129 */
130static const struct smc_handler smc_handlers[] = {
AlexeiFedorov2cc6cee2023-10-09 16:19:05 +0100131 HANDLER(VERSION, 1, 2, smc_version, true, true),
AlexeiFedorov6c119692023-04-21 12:31:15 +0100132 HANDLER(FEATURES, 1, 1, smc_read_feature_register, true, true),
133 HANDLER(GRANULE_DELEGATE, 1, 0, smc_granule_delegate, false, true),
134 HANDLER(GRANULE_UNDELEGATE, 1, 0, smc_granule_undelegate, false, true),
135 HANDLER(REALM_CREATE, 2, 0, smc_realm_create, true, true),
136 HANDLER(REALM_DESTROY, 1, 0, smc_realm_destroy, true, true),
137 HANDLER(REALM_ACTIVATE, 1, 0, smc_realm_activate, true, true),
138 HANDLER(REC_CREATE, 3, 0, smc_rec_create, true, true),
139 HANDLER(REC_DESTROY, 1, 0, smc_rec_destroy, true, true),
140 HANDLER(REC_ENTER, 2, 0, smc_rec_enter, false, true),
141 HANDLER(DATA_CREATE, 5, 0, smc_data_create, false, false),
142 HANDLER(DATA_CREATE_UNKNOWN, 3, 0, smc_data_create_unknown, false, false),
AlexeiFedorove2002be2023-04-19 17:20:12 +0100143 HANDLER(DATA_DESTROY, 2, 2, smc_data_destroy, false, true),
AlexeiFedorov22ba1062023-11-15 16:23:37 +0000144 HANDLER(RTT_CREATE, 4, 0, smc_rtt_create, true, true),
145 HANDLER(RTT_DESTROY, 3, 2, smc_rtt_destroy, true, true),
AlexeiFedorovf22f54f2023-10-26 13:25:34 +0100146 HANDLER(RTT_FOLD, 3, 1, smc_rtt_fold, false, false),
AlexeiFedorov6c119692023-04-21 12:31:15 +0100147 HANDLER(RTT_MAP_UNPROTECTED, 4, 0, smc_rtt_map_unprotected, false, false),
AlexeiFedorov917eabf2023-04-24 12:20:41 +0100148 HANDLER(RTT_UNMAP_UNPROTECTED, 3, 1, smc_rtt_unmap_unprotected, false, false),
AlexeiFedorov6c119692023-04-21 12:31:15 +0100149 HANDLER(RTT_READ_ENTRY, 3, 4, smc_rtt_read_entry, false, true),
AlexeiFedorov120d7d02023-08-02 16:51:48 +0100150 HANDLER(PSCI_COMPLETE, 3, 0, smc_psci_complete, true, true),
AlexeiFedorov6c119692023-04-21 12:31:15 +0100151 HANDLER(REC_AUX_COUNT, 1, 1, smc_rec_aux_count, true, true),
AlexeiFedorov960d1612023-04-25 13:23:39 +0100152 HANDLER(RTT_INIT_RIPAS, 3, 1, smc_rtt_init_ripas, false, true),
AlexeiFedorov5cf35ba2023-04-25 10:02:20 +0100153 HANDLER(RTT_SET_RIPAS, 4, 1, smc_rtt_set_ripas, false, true)
Soby Mathewb4c6df42022-11-09 11:13:29 +0000154};
155
156COMPILER_ASSERT(ARRAY_LEN(smc_handlers) == SMC64_NUM_FIDS_IN_RANGE(RMI));
157
158static bool rmi_call_log_enabled = true;
159
Arunachalam Ganapathyebfab6a2023-08-24 14:44:23 +0100160static inline bool rmi_handler_needs_fpu(unsigned int id)
Arunachalam Ganapathy51119932023-03-23 12:32:49 +0000161{
162#ifdef RMM_FPU_USE_AT_REL2
163 if (id == SMC_RMM_REALM_CREATE || id == SMC_RMM_DATA_CREATE ||
164 id == SMC_RMM_REC_CREATE || id == SMC_RMM_RTT_INIT_RIPAS) {
165 return true;
166 }
AlexeiFedorov56e1a8e2023-09-01 17:06:13 +0100167#else
168 (void)id;
Arunachalam Ganapathy51119932023-03-23 12:32:49 +0000169#endif
170 return false;
171}
172
Arunachalam Ganapathyebfab6a2023-08-24 14:44:23 +0100173static void rmi_log_on_exit(unsigned int handler_id,
AlexeiFedorov6c119692023-04-21 12:31:15 +0100174 unsigned long args[],
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100175 struct smc_result *res)
Soby Mathewb4c6df42022-11-09 11:13:29 +0000176{
177 const struct smc_handler *handler = &smc_handlers[handler_id];
Arunachalam Ganapathyebfab6a2023-08-24 14:44:23 +0100178 unsigned int function_id = SMC64_RMI_FID(handler_id);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000179 return_code_t rc;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100180 unsigned int num;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000181
182 if (!handler->log_exec && !handler->log_error) {
183 return;
184 }
185
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100186 rc = unpack_return_code(res->x[0]);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000187
188 if ((handler->log_exec) ||
189 (handler->log_error && (rc.status != RMI_SUCCESS))) {
AlexeiFedorov6c119692023-04-21 12:31:15 +0100190 /* Print function name */
191 INFO("SMC_RMM_%-21s", handler->fn_name);
192
193 /* Print arguments */
AlexeiFedorov84cba4f2023-08-25 13:45:48 +0100194 num = (unsigned int)handler->type & 0xFFU;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100195 assert(num <= MAX_NUM_ARGS);
196
197 for (unsigned int i = 0U; i < num; i++) {
198 INFO(" %lx", args[i]);
199 }
200
201 /* Print status */
Soby Mathewb4c6df42022-11-09 11:13:29 +0000202 if (rc.status >= RMI_ERROR_COUNT) {
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100203 INFO(" > %lx", res->x[0]);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000204 } else {
AlexeiFedorov6c119692023-04-21 12:31:15 +0100205 INFO(" > RMI_%s", rmi_status_string[rc.status]);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000206 }
207
208 /* Check for index */
209 if (((function_id == SMC_RMM_REC_ENTER) &&
210 (rc.status == RMI_ERROR_REALM)) ||
211 (rc.status == RMI_ERROR_RTT)) {
212 INFO(" %x", rc.index);
AlexeiFedorov697445b2023-04-25 15:27:57 +0100213 }
214
215 if ((rc.status == RMI_SUCCESS) ||
216 ((rc.status == RMI_ERROR_RTT) &&
217 ((function_id == SMC_RMM_RTT_DESTROY) ||
218 (function_id == SMC_RMM_DATA_DESTROY)))) {
AlexeiFedorov6c119692023-04-21 12:31:15 +0100219 /* Print output values */
AlexeiFedorov84cba4f2023-08-25 13:45:48 +0100220 num = ((unsigned int)handler->type >> 8) & 0xFFU;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100221 assert(num <= MAX_NUM_OUTPUT_VALS);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000222
AlexeiFedorov6c119692023-04-21 12:31:15 +0100223 for (unsigned int i = 1U; i <= num; i++) {
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100224 INFO(" %lx", res->x[i]);
AlexeiFedorov6c119692023-04-21 12:31:15 +0100225 }
Soby Mathewb4c6df42022-11-09 11:13:29 +0000226 }
Soby Mathewb4c6df42022-11-09 11:13:29 +0000227 INFO("\n");
228 }
229}
230
AlexeiFedorovee2fc822023-10-31 14:54:39 +0000231/* coverity[misra_c_2012_rule_8_4_violation:SUPPRESS] */
AlexeiFedorovb0de4d52023-10-10 11:46:16 +0100232/* coverity[misra_c_2012_rule_8_7_violation:SUPPRESS] */
Arunachalam Ganapathyebfab6a2023-08-24 14:44:23 +0100233void handle_ns_smc(unsigned int function_id,
Soby Mathewb4c6df42022-11-09 11:13:29 +0000234 unsigned long arg0,
235 unsigned long arg1,
236 unsigned long arg2,
237 unsigned long arg3,
238 unsigned long arg4,
239 unsigned long arg5,
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100240 struct smc_result *res)
Soby Mathewb4c6df42022-11-09 11:13:29 +0000241{
AlexeiFedorov56e1a8e2023-09-01 17:06:13 +0100242 (void)arg5;
Arunachalam Ganapathyebfab6a2023-08-24 14:44:23 +0100243 unsigned int handler_id;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000244 const struct smc_handler *handler = NULL;
Arunachalam Ganapathy51119932023-03-23 12:32:49 +0000245 bool restore_ns_simd_state = false;
Arunachalam Ganapathy4f601e72023-05-22 11:49:29 +0100246 struct simd_context *ns_simd_ctx;
Arunachalam Ganapathyebfab6a2023-08-24 14:44:23 +0100247 bool sve_hint = false;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000248
Arunachalam Ganapathyebfab6a2023-08-24 14:44:23 +0100249 /* Save the SVE hint bit and clear it from the function ID */
250 if ((function_id & SMC_SVE_HINT) != 0U) {
251 sve_hint = true;
252 function_id &= ~SMC_SVE_HINT;
253 }
Arunachalam Ganapathy937b5492023-02-28 11:17:52 +0000254
Soby Mathewb4c6df42022-11-09 11:13:29 +0000255 if (IS_SMC64_RMI_FID(function_id)) {
AlexeiFedorov6c119692023-04-21 12:31:15 +0100256 handler_id = RMI_HANDLER_ID(function_id);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000257 if (handler_id < ARRAY_LEN(smc_handlers)) {
258 handler = &smc_handlers[handler_id];
259 }
260 }
261
262 /*
263 * Check if handler exists and 'fn_dummy' is not NULL
264 * for not implemented 'function_id' calls in SMC RMI range.
265 */
266 if ((handler == NULL) || (handler->fn_dummy == NULL)) {
Arunachalam Ganapathyebfab6a2023-08-24 14:44:23 +0100267 VERBOSE("[%s] unknown function_id: %x\n",
Soby Mathewb4c6df42022-11-09 11:13:29 +0000268 __func__, function_id);
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100269 res->x[0] = SMC_UNKNOWN;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000270 return;
271 }
272
273 assert_cpu_slots_empty();
274
Arunachalam Ganapathy51119932023-03-23 12:32:49 +0000275 /* Current CPU's SIMD state must not be saved when entering RMM */
276 assert(simd_is_state_saved() == false);
277
Arunachalam Ganapathy4f601e72023-05-22 11:49:29 +0100278 /* Get current CPU's NS SIMD context */
279 ns_simd_ctx = get_cpu_ns_simd_context();
280
Arunachalam Ganapathyebfab6a2023-08-24 14:44:23 +0100281 /* Set or clear SVE hint bit in the NS SIMD context */
282 simd_update_smc_sve_hint(ns_simd_ctx, sve_hint);
283
Arunachalam Ganapathy51119932023-03-23 12:32:49 +0000284 /* If the handler needs FPU, actively save NS simd context. */
285 if (rmi_handler_needs_fpu(function_id) == true) {
Arunachalam Ganapathy4f601e72023-05-22 11:49:29 +0100286 simd_context_save(ns_simd_ctx);
Arunachalam Ganapathy51119932023-03-23 12:32:49 +0000287 restore_ns_simd_state = true;
288 }
289
Soby Mathewb4c6df42022-11-09 11:13:29 +0000290 switch (handler->type) {
AlexeiFedorov6c119692023-04-21 12:31:15 +0100291 case rmi_type_00:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100292 res->x[0] = handler->f_00();
Soby Mathewb4c6df42022-11-09 11:13:29 +0000293 break;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100294 case rmi_type_10:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100295 res->x[0] = handler->f_10(arg0);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000296 break;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100297 case rmi_type_20:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100298 res->x[0] = handler->f_20(arg0, arg1);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000299 break;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100300 case rmi_type_30:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100301 res->x[0] = handler->f_30(arg0, arg1, arg2);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000302 break;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100303 case rmi_type_40:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100304 res->x[0] = handler->f_40(arg0, arg1, arg2, arg3);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000305 break;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100306 case rmi_type_50:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100307 res->x[0] = handler->f_50(arg0, arg1, arg2, arg3, arg4);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000308 break;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100309 case rmi_type_11:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100310 handler->f_11(arg0, res);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000311 break;
AlexeiFedorov2cc6cee2023-10-09 16:19:05 +0100312 case rmi_type_12:
313 handler->f_12(arg0, res);
314 break;
AlexeiFedorov892abce2023-04-06 16:32:12 +0100315 case rmi_type_22:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100316 handler->f_22(arg0, arg1, res);
AlexeiFedorov892abce2023-04-06 16:32:12 +0100317 break;
318 case rmi_type_31:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100319 handler->f_31(arg0, arg1, arg2, res);
AlexeiFedorov892abce2023-04-06 16:32:12 +0100320 break;
321 case rmi_type_32:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100322 handler->f_32(arg0, arg1, arg2, res);
AlexeiFedorov892abce2023-04-06 16:32:12 +0100323 break;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100324 case rmi_type_34:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100325 handler->f_34(arg0, arg1, arg2, res);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000326 break;
AlexeiFedorov892abce2023-04-06 16:32:12 +0100327 case rmi_type_41:
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100328 handler->f_41(arg0, arg1, arg2, arg3, res);
AlexeiFedorov892abce2023-04-06 16:32:12 +0100329 break;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000330 default:
331 assert(false);
332 }
333
334 if (rmi_call_log_enabled) {
AlexeiFedorov6c119692023-04-21 12:31:15 +0100335 unsigned long args[] = {arg0, arg1, arg2, arg3, arg4};
336
AlexeiFedorovccce3ad2023-04-28 18:29:47 +0100337 rmi_log_on_exit(handler_id, args, res);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000338 }
339
Arunachalam Ganapathy4f601e72023-05-22 11:49:29 +0100340 /* If the handler uses FPU, restore the saved NS simd context. */
Arunachalam Ganapathy51119932023-03-23 12:32:49 +0000341 if (restore_ns_simd_state) {
Arunachalam Ganapathy4f601e72023-05-22 11:49:29 +0100342 simd_context_restore(ns_simd_ctx);
Arunachalam Ganapathy51119932023-03-23 12:32:49 +0000343 }
344
345 /* Current CPU's SIMD state must not be saved when exiting RMM */
346 assert(simd_is_state_saved() == false);
347
Soby Mathewb4c6df42022-11-09 11:13:29 +0000348 assert_cpu_slots_empty();
349}
350
351static void report_unexpected(void)
352{
353 unsigned long spsr = read_spsr_el2();
354 unsigned long esr = read_esr_el2();
355 unsigned long elr = read_elr_el2();
356 unsigned long far = read_far_el2();
357
358 INFO("----\n");
359 INFO("Unexpected exception:\n");
360 INFO("SPSR_EL2: 0x%016lx\n", spsr);
361 INFO("ESR_EL2: 0x%016lx\n", esr);
362 INFO("ELR_EL2: 0x%016lx\n", elr);
363 INFO("FAR_EL2: 0x%016lx\n", far);
364 INFO("----\n");
Soby Mathewb4c6df42022-11-09 11:13:29 +0000365}
366
Soby Mathewb4c6df42022-11-09 11:13:29 +0000367/*
368 * Identifies an abort that the RMM may recover from.
369 */
370struct rmm_trap_element {
371 /*
372 * The PC at the time of abort.
373 */
374 unsigned long aborted_pc;
375 /*
376 * New value of the PC.
377 */
378 unsigned long new_pc;
379};
380
381#define RMM_TRAP_HANDLER(_aborted_pc, _new_pc) \
Chuyue Luod7386682023-09-22 11:55:47 +0100382 { .aborted_pc = (unsigned long)(&(_aborted_pc)), \
383 .new_pc = (unsigned long)(&(_new_pc)) }
Soby Mathewb4c6df42022-11-09 11:13:29 +0000384
385/*
386 * The registered locations of load/store instructions that access NS memory.
387 */
388extern void *ns_read;
389extern void *ns_write;
390
391/*
392 * The new value of the PC when the GPF occurs on a registered location.
393 */
394extern void *ns_access_ret_0;
395
AlexeiFedorov53518ba2023-08-22 14:46:26 +0100396static struct rmm_trap_element rmm_trap_list[] = {
Soby Mathewb4c6df42022-11-09 11:13:29 +0000397 RMM_TRAP_HANDLER(ns_read, ns_access_ret_0),
398 RMM_TRAP_HANDLER(ns_write, ns_access_ret_0),
399};
400#define RMM_TRAP_LIST_SIZE (sizeof(rmm_trap_list)/sizeof(struct rmm_trap_element))
401
AlexeiFedorov57f40fc2023-08-17 14:33:33 +0100402__dead2 static void fatal_abort(void)
Soby Mathewb4c6df42022-11-09 11:13:29 +0000403{
404 report_unexpected();
405
AlexeiFedorov6c119692023-04-21 12:31:15 +0100406 while (true) {
Soby Mathewb4c6df42022-11-09 11:13:29 +0000407 wfe();
408 }
409}
410
411static bool is_el2_data_abort_gpf(unsigned long esr)
412{
AlexeiFedorov537bee02023-02-02 13:38:23 +0000413 if (((esr & MASK(ESR_EL2_EC)) == ESR_EL2_EC_DATA_ABORT_SEL) &&
AlexeiFedorov6c119692023-04-21 12:31:15 +0100414 ((esr & MASK(ESR_EL2_ABORT_FSC)) == ESR_EL2_ABORT_FSC_GPF)) {
Soby Mathewb4c6df42022-11-09 11:13:29 +0000415 return true;
AlexeiFedorov6c119692023-04-21 12:31:15 +0100416 }
Soby Mathewb4c6df42022-11-09 11:13:29 +0000417 return false;
418}
419
420/*
421 * Handles the RMM's aborts.
422 * It compares the PC at the time of the abort with the registered addresses.
423 * If it finds a match, it returns the new value of the PC that the RMM should
424 * continue from. Other register values are preserved.
425 * If no match is found, it aborts the RMM.
426 */
AlexeiFedorovee2fc822023-10-31 14:54:39 +0000427/* coverity[misra_c_2012_rule_8_4_violation:SUPPRESS] */
Soby Mathewb4c6df42022-11-09 11:13:29 +0000428unsigned long handle_rmm_trap(void)
429{
Soby Mathewb4c6df42022-11-09 11:13:29 +0000430 unsigned long esr = read_esr_el2();
431 unsigned long elr = read_elr_el2();
432
433 /*
434 * Only the GPF data aborts are recoverable.
435 */
436 if (!is_el2_data_abort_gpf(esr)) {
437 fatal_abort();
438 }
439
AlexeiFedorov6c119692023-04-21 12:31:15 +0100440 for (unsigned int i = 0U; i < RMM_TRAP_LIST_SIZE; i++) {
Soby Mathewb4c6df42022-11-09 11:13:29 +0000441 if (rmm_trap_list[i].aborted_pc == elr) {
442 return rmm_trap_list[i].new_pc;
443 }
444 }
445
446 fatal_abort();
AlexeiFedorov6c119692023-04-21 12:31:15 +0100447 return 0UL;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000448}