blob: 6abccc342fc67d939c16b2c76cd30911a277d803 [file] [log] [blame]
Soby Mathewb4c6df42022-11-09 11:13:29 +00001/*
2 * SPDX-License-Identifier: BSD-3-Clause
3 *
4 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
5 */
6
7#include <arch.h>
8#include <arch_helpers.h>
9#include <attestation_token.h>
10#include <buffer.h>
11#include <esr.h>
12#include <exit.h>
Soby Mathewb4c6df42022-11-09 11:13:29 +000013#include <gic.h>
14#include <granule.h>
15#include <inject_exp.h>
16#include <memory_alloc.h>
17#include <psci.h>
18#include <realm.h>
19#include <realm_attest.h>
20#include <rec.h>
21#include <rsi-config.h>
22#include <rsi-handler.h>
23#include <rsi-host-call.h>
24#include <rsi-logger.h>
25#include <rsi-memory.h>
26#include <rsi-walk.h>
Arunachalam Ganapathyf6491212023-02-23 16:04:34 +000027#include <run.h>
28#include <simd.h>
Soby Mathewb4c6df42022-11-09 11:13:29 +000029#include <smc-rmi.h>
30#include <smc-rsi.h>
31#include <status.h>
Soby Mathewb4c6df42022-11-09 11:13:29 +000032#include <sysreg_traps.h>
33#include <table.h>
34
35void save_fpu_state(struct fpu_state *fpu);
36void restore_fpu_state(struct fpu_state *fpu);
37
38static void system_abort(void)
39{
40 /*
41 * TODO: report the abort to the EL3.
42 * We need to establish the exact EL3 API first.
43 */
44 assert(false);
45}
46
47static bool fixup_aarch32_data_abort(struct rec *rec, unsigned long *esr)
48{
49 unsigned long spsr = read_spsr_el2();
50
51 if ((spsr & SPSR_EL2_nRW_AARCH32) != 0UL) {
52 /*
53 * mmio emulation of AArch32 reads/writes is not supported.
54 */
55 *esr &= ~ESR_EL2_ABORT_ISV_BIT;
56 return true;
57 }
58 return false;
59}
60
61static unsigned long get_dabt_write_value(struct rec *rec, unsigned long esr)
62{
63 unsigned int rt = esr_srt(esr);
64
65 /* Handle xzr */
66 if (rt == 31U) {
67 return 0UL;
68 }
69 return rec->regs[rt] & access_mask(esr);
70}
71
72/*
73 * Returns 'true' if access from @rec to @addr is within the Protected IPA space.
74 */
75static bool access_in_rec_par(struct rec *rec, unsigned long addr)
76{
77 /*
78 * It is OK to check only the base address of the access because:
79 * - The Protected IPA space starts at address zero.
80 * - The IPA width is below 64 bits, therefore the access cannot
81 * wrap around.
82 */
83 return addr_in_rec_par(rec, addr);
84}
85
86/*
87 * Returns 'true' if the @ipa is in PAR and its RIPAS is 'empty'.
88 *
89 * @ipa must be aligned to the granule size.
90 */
91static bool ipa_is_empty(unsigned long ipa, struct rec *rec)
92{
93 unsigned long s2tte, *ll_table;
94 struct rtt_walk wi;
95 enum ripas ripas;
96 bool ret;
97
98 assert(GRANULE_ALIGNED(ipa));
99
100 if (!addr_in_rec_par(rec, ipa)) {
101 return false;
102 }
103 granule_lock(rec->realm_info.g_rtt, GRANULE_STATE_RTT);
104
105 rtt_walk_lock_unlock(rec->realm_info.g_rtt,
106 rec->realm_info.s2_starting_level,
107 rec->realm_info.ipa_bits,
108 ipa, RTT_PAGE_LEVEL, &wi);
109
110 ll_table = granule_map(wi.g_llt, SLOT_RTT);
111 s2tte = s2tte_read(&ll_table[wi.index]);
112
113 if (s2tte_is_destroyed(s2tte)) {
114 ret = false;
115 goto out_unmap_ll_table;
116 }
117 ripas = s2tte_get_ripas(s2tte);
Yousuf A62808152022-10-31 10:35:42 +0000118 ret = (ripas == RIPAS_EMPTY);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000119
120out_unmap_ll_table:
121 buffer_unmap(ll_table);
122 granule_unlock(wi.g_llt);
123 return ret;
124}
125
126static bool fsc_is_external_abort(unsigned long fsc)
127{
128 if (fsc == ESR_EL2_ABORT_FSC_SEA) {
129 return true;
130 }
131
132 if ((fsc >= ESR_EL2_ABORT_FSC_SEA_TTW_START) &&
133 (fsc <= ESR_EL2_ABORT_FSC_SEA_TTW_END)) {
134 return true;
135 }
136
137 return false;
138}
139
140/*
141 * Handles Data/Instruction Aborts at a lower EL with External Abort fault
142 * status code (D/IFSC).
143 * Returns 'true' if the exception is the external abort and the `rec_exit`
144 * structure is populated, 'false' otherwise.
145 */
146static bool handle_sync_external_abort(struct rec *rec,
147 struct rmi_rec_exit *rec_exit,
148 unsigned long esr)
149{
AlexeiFedorov537bee02023-02-02 13:38:23 +0000150 unsigned long fsc = esr & MASK(ESR_EL2_ABORT_FSC);
151 unsigned long set = esr & MASK(ESR_EL2_ABORT_SET);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000152
153 if (!fsc_is_external_abort(fsc)) {
154 return false;
155 }
156
157 switch (set) {
158 case ESR_EL2_ABORT_SET_UER:
159 /*
160 * The recoverable SEA.
161 * Inject the sync. abort into the Realm.
162 * Report the exception to the host.
163 */
164 inject_sync_idabort(ESR_EL2_ABORT_FSC_SEA);
165 /*
166 * Fall through.
167 */
168 case ESR_EL2_ABORT_SET_UEO:
169 /*
170 * The restartable SEA.
171 * Report the exception to the host.
172 * The REC restarts the same instruction.
173 */
174 rec_exit->esr = esr & ESR_NONEMULATED_ABORT_MASK;
175
176 /*
177 * The value of the HPFAR_EL2 is not provided to the host as
178 * it is undefined for external aborts.
179 *
180 * We also don't provide the content of FAR_EL2 because it
181 * has no practical value to the host without the HPFAR_EL2.
182 */
183 break;
184 case ESR_EL2_ABORT_SET_UC:
185 /*
186 * The uncontainable SEA.
187 * Fatal to the system.
188 */
189 system_abort();
190 break;
191 default:
192 assert(false);
193 }
194
195 return true;
196}
197
198void emulate_stage2_data_abort(struct rec *rec,
199 struct rmi_rec_exit *rec_exit,
200 unsigned long rtt_level)
201{
202 unsigned long fipa = rec->regs[1];
203
204 assert(rtt_level <= RTT_PAGE_LEVEL);
205
206 /*
207 * Setup Exception Syndrom Register to emulate a real data abort
208 * and return to NS host to handle it.
209 */
210 rec_exit->esr = (ESR_EL2_EC_DATA_ABORT |
211 (ESR_EL2_ABORT_FSC_TRANSLATION_FAULT_L0 + rtt_level));
212 rec_exit->far = 0UL;
213 rec_exit->hpfar = fipa >> HPFAR_EL2_FIPA_OFFSET;
214 rec_exit->exit_reason = RMI_EXIT_SYNC;
215}
216
217/*
218 * Returns 'true' if the abort is handled and the RMM should return to the Realm,
219 * and returns 'false' if the exception should be reported to the HS host.
220 */
221static bool handle_data_abort(struct rec *rec, struct rmi_rec_exit *rec_exit,
222 unsigned long esr)
223{
224 unsigned long far = 0UL;
225 unsigned long hpfar = read_hpfar_el2();
AlexeiFedorov537bee02023-02-02 13:38:23 +0000226 unsigned long fipa = (hpfar & MASK(HPFAR_EL2_FIPA)) << HPFAR_EL2_FIPA_OFFSET;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000227 unsigned long write_val = 0UL;
228
229 if (handle_sync_external_abort(rec, rec_exit, esr)) {
230 /*
231 * All external aborts are immediately reported to the host.
232 */
233 return false;
234 }
235
236 /*
237 * The memory access that crosses a page boundary may cause two aborts
238 * with `hpfar_el2` values referring to two consecutive pages.
239 *
240 * Insert the SEA and return to the Realm if the granule's RIPAS is EMPTY.
241 */
242 if (ipa_is_empty(fipa, rec)) {
243 inject_sync_idabort(ESR_EL2_ABORT_FSC_SEA);
244 return true;
245 }
246
247 if (fixup_aarch32_data_abort(rec, &esr) ||
248 access_in_rec_par(rec, fipa)) {
249 esr &= ESR_NONEMULATED_ABORT_MASK;
250 goto end;
251 }
252
253 if (esr_is_write(esr)) {
254 write_val = get_dabt_write_value(rec, esr);
255 }
256
257 far = read_far_el2() & ~GRANULE_MASK;
258 esr &= ESR_EMULATED_ABORT_MASK;
259
260end:
261 rec_exit->esr = esr;
262 rec_exit->far = far;
263 rec_exit->hpfar = hpfar;
264 rec_exit->gprs[0] = write_val;
265
266 return false;
267}
268
269/*
270 * Returns 'true' if the abort is handled and the RMM should return to the Realm,
271 * and returns 'false' if the exception should be reported to the NS host.
272 */
273static bool handle_instruction_abort(struct rec *rec, struct rmi_rec_exit *rec_exit,
274 unsigned long esr)
275{
AlexeiFedorov537bee02023-02-02 13:38:23 +0000276 unsigned long fsc = esr & MASK(ESR_EL2_ABORT_FSC);
277 unsigned long fsc_type = fsc & ~MASK(ESR_EL2_ABORT_FSC_LEVEL);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000278 unsigned long hpfar = read_hpfar_el2();
AlexeiFedorov537bee02023-02-02 13:38:23 +0000279 unsigned long fipa = (hpfar & MASK(HPFAR_EL2_FIPA)) << HPFAR_EL2_FIPA_OFFSET;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000280
281 if (handle_sync_external_abort(rec, rec_exit, esr)) {
282 /*
283 * All external aborts are immediately reported to the host.
284 */
285 return false;
286 }
287
288 /*
289 * Insert the SEA and return to the Realm if:
290 * - The instruction abort is at an Unprotected IPA, or
291 * - The granule's RIPAS is EMPTY
292 */
293 if (!access_in_rec_par(rec, fipa) || ipa_is_empty(fipa, rec)) {
294 inject_sync_idabort(ESR_EL2_ABORT_FSC_SEA);
295 return true;
296 }
297
298 if (fsc_type != ESR_EL2_ABORT_FSC_TRANSLATION_FAULT) {
299 unsigned long far = read_far_el2();
300
301 /*
302 * TODO: Should this ever happen, or is it an indication of an
303 * internal consistency failure in the RMM which should lead
304 * to a panic instead?
305 */
306
307 ERROR("Unhandled instruction abort:\n");
308 ERROR(" FSC: %12s0x%02lx\n", " ", fsc);
309 ERROR(" FAR: %16lx\n", far);
310 ERROR(" HPFAR: %16lx\n", hpfar);
311 return false;
312 }
313
314 rec_exit->hpfar = hpfar;
315 rec_exit->esr = esr & ESR_NONEMULATED_ABORT_MASK;
316
317 return false;
318}
319
320/*
Arunachalam Ganapathyf6491212023-02-23 16:04:34 +0000321 * Handle FPU or SVE exceptions.
322 * Returns: true if the exception is handled.
323 */
324static bool
325handle_simd_exception(simd_t exp_type, struct rec *rec)
326{
327 /*
328 * If the REC wants to use SVE and if SVE is not enabled for this REC
329 * then inject undefined abort. This can happen when CPU implements
330 * FEAT_SVE but the Realm didn't request this feature during creation.
331 */
332 if (exp_type == SIMD_SVE && rec_simd_type(rec) != SIMD_SVE) {
333 realm_inject_undef_abort();
334 return true;
335 }
336
337 /* FPU or SVE exception can happen only when REC hasn't used SIMD */
338 assert(rec_is_simd_allowed(rec) == false);
339
340 /*
341 * Allow the REC to use SIMD. Save NS SIMD state and restore REC SIMD
342 * state from memory to registers.
343 */
344 simd_save_ns_state();
345 rec_simd_enable_restore(rec);
346
347 /*
348 * Return 'true' indicating that this exception has been handled and
349 * execution can continue.
350 */
351 return true;
352}
353
354/*
Soby Mathewb4c6df42022-11-09 11:13:29 +0000355 * Return 'false' if no IRQ is pending,
356 * return 'true' if there is an IRQ pending, and need to return to host.
357 */
358static bool check_pending_irq(void)
359{
360 unsigned long pending_irq;
361
362 pending_irq = read_isr_el1();
363
364 return (pending_irq != 0UL);
365}
366
367static void advance_pc(void)
368{
369 unsigned long pc = read_elr_el2();
370
371 write_elr_el2(pc + 4UL);
372}
373
374static void return_result_to_realm(struct rec *rec, struct smc_result result)
375{
376 rec->regs[0] = result.x[0];
377 rec->regs[1] = result.x[1];
378 rec->regs[2] = result.x[2];
379 rec->regs[3] = result.x[3];
380}
381
382/*
383 * Return 'true' if execution should continue in the REC, otherwise return
384 * 'false' to go back to the NS caller of REC.Enter.
385 */
386static bool handle_realm_rsi(struct rec *rec, struct rmi_rec_exit *rec_exit)
387{
388 bool ret_to_rec = true; /* Return to Realm */
Shruti Gupta9debb132022-12-13 14:38:49 +0000389 unsigned int function_id = (unsigned int)rec->regs[0];
Soby Mathewb4c6df42022-11-09 11:13:29 +0000390
AlexeiFedorov6c119692023-04-21 12:31:15 +0100391 RSI_LOG_SET(rec->regs);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000392
Arunachalam Ganapathy937b5492023-02-28 11:17:52 +0000393 /* Ignore SVE hint bit, until RMM supports SVE hint bit */
394 function_id &= ~MASK(SMC_SVE_HINT);
395
Shruti Gupta9debb132022-12-13 14:38:49 +0000396 /* cppcheck-suppress unsignedPositive */
Soby Mathewb4c6df42022-11-09 11:13:29 +0000397 if (!IS_SMC32_PSCI_FID(function_id) && !IS_SMC64_PSCI_FID(function_id)
Arunachalam Ganapathy5c4411b2023-03-06 13:48:14 +0000398 && !IS_SMC64_RSI_FID(function_id)
399 && !(function_id == SMCCC_VERSION)) {
Soby Mathewb4c6df42022-11-09 11:13:29 +0000400
401 ERROR("Invalid RSI function_id = %x\n", function_id);
402 rec->regs[0] = SMC_UNKNOWN;
403 return true;
404 }
405
Arunachalam Ganapathy43c2c6b2023-03-24 15:06:34 +0000406 /*
407 * If the REC is allowed to access SIMD, then we will enter RMM with
408 * SIMD traps disabled. So enable SIMD traps as RMM by default runs with
409 * SIMD traps enabled
410 */
411 if (rec_is_simd_allowed(rec)) {
412 simd_disable();
413 }
414
Soby Mathewb4c6df42022-11-09 11:13:29 +0000415 switch (function_id) {
416 case SMCCC_VERSION:
417 rec->regs[0] = SMCCC_VERSION_NUMBER;
418 break;
419 case SMC_RSI_ABI_VERSION:
420 rec->regs[0] = system_rsi_abi_version();
421 break;
422 case SMC32_PSCI_FID_MIN ... SMC32_PSCI_FID_MAX:
423 case SMC64_PSCI_FID_MIN ... SMC64_PSCI_FID_MAX: {
424 struct psci_result res;
425
426 res = psci_rsi(rec,
427 function_id,
428 rec->regs[1],
429 rec->regs[2],
430 rec->regs[3]);
431
432 if (!rec->psci_info.pending) {
433 rec->regs[0] = res.smc_res.x[0];
434 rec->regs[1] = res.smc_res.x[1];
435 rec->regs[2] = res.smc_res.x[2];
436 rec->regs[3] = res.smc_res.x[3];
437 }
438
439 if (res.hvc_forward.forward_psci_call) {
440 unsigned int i;
441
442 rec_exit->exit_reason = RMI_EXIT_PSCI;
443 rec_exit->gprs[0] = function_id;
444 rec_exit->gprs[1] = res.hvc_forward.x1;
445 rec_exit->gprs[2] = res.hvc_forward.x2;
446 rec_exit->gprs[3] = res.hvc_forward.x3;
447
448 for (i = 4U; i < REC_EXIT_NR_GPRS; i++) {
449 rec_exit->gprs[i] = 0UL;
450 }
451
452 advance_pc();
453 ret_to_rec = false;
454 }
455 break;
456 }
457 case SMC_RSI_ATTEST_TOKEN_INIT:
458 rec->regs[0] = handle_rsi_attest_token_init(rec);
459 break;
460 case SMC_RSI_ATTEST_TOKEN_CONTINUE: {
461 struct attest_result res;
462 attest_realm_token_sign_continue_start();
463 while (true) {
464 /*
465 * Possible outcomes:
466 * if res.incomplete is true
467 * if IRQ pending
468 * check for pending IRQ and return to host
469 * else try a new iteration
470 * else
471 * if RTT table walk has failed,
472 * emulate data abort back to host
473 * otherwise
474 * return to realm because the token
475 * creation is complete or input parameter
476 * validation failed.
477 */
478 handle_rsi_attest_token_continue(rec, &res);
479
480 if (res.incomplete) {
481 if (check_pending_irq()) {
482 rec_exit->exit_reason = RMI_EXIT_IRQ;
Soby Mathew1be30212023-05-16 15:06:59 +0100483
484 /* Copy the result to rec prior to return to host */
485 return_result_to_realm(rec, res.smc_res);
486 advance_pc();
487
Soby Mathewb4c6df42022-11-09 11:13:29 +0000488 /* Return to NS host to handle IRQ. */
489 ret_to_rec = false;
490 break;
491 }
492 } else {
493 if (res.walk_result.abort) {
494 emulate_stage2_data_abort(
495 rec, rec_exit,
496 res.walk_result.rtt_level);
497 ret_to_rec = false; /* Exit to Host */
498 break;
499 }
500
501 /* Return to Realm */
502 return_result_to_realm(rec, res.smc_res);
503 break;
504 }
505 }
506 attest_realm_token_sign_continue_finish();
507 break;
508 }
509 case SMC_RSI_MEASUREMENT_READ:
510 rec->regs[0] = handle_rsi_read_measurement(rec);
511 break;
512 case SMC_RSI_MEASUREMENT_EXTEND:
513 rec->regs[0] = handle_rsi_extend_measurement(rec);
514 break;
515 case SMC_RSI_REALM_CONFIG: {
Arunachalam Ganapathydbaa8862022-11-03 13:56:18 +0000516 struct rsi_walk_smc_result res;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000517
518 res = handle_rsi_realm_config(rec);
519 if (res.walk_result.abort) {
520 emulate_stage2_data_abort(rec, rec_exit,
521 res.walk_result.rtt_level);
522 ret_to_rec = false; /* Exit to Host */
523 } else {
524 /* Return to Realm */
525 return_result_to_realm(rec, res.smc_res);
526 }
527 break;
528 }
529 case SMC_RSI_IPA_STATE_SET:
530 if (handle_rsi_ipa_state_set(rec, rec_exit)) {
531 rec->regs[0] = RSI_ERROR_INPUT;
532 } else {
533 advance_pc();
534 ret_to_rec = false; /* Return to Host */
535 }
536 break;
537 case SMC_RSI_IPA_STATE_GET: {
Arunachalam Ganapathydbaa8862022-11-03 13:56:18 +0000538 struct rsi_walk_smc_result res;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000539
Arunachalam Ganapathydbaa8862022-11-03 13:56:18 +0000540 res = handle_rsi_ipa_state_get(rec);
541 if (res.walk_result.abort) {
542 emulate_stage2_data_abort(rec, rec_exit,
543 res.walk_result.rtt_level);
544 /* Exit to Host */
545 ret_to_rec = false;
546 } else {
547 /* Exit to Realm */
548 return_result_to_realm(rec, res.smc_res);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000549 }
550 break;
551 }
552 case SMC_RSI_HOST_CALL: {
553 struct rsi_host_call_result res;
554
555 res = handle_rsi_host_call(rec, rec_exit);
556
557 if (res.walk_result.abort) {
558 emulate_stage2_data_abort(rec, rec_exit,
559 res.walk_result.rtt_level);
AlexeiFedorov591967c2022-11-16 17:47:34 +0000560 /* Exit to Host */
561 ret_to_rec = false;
Soby Mathewb4c6df42022-11-09 11:13:29 +0000562 } else {
563 rec->regs[0] = res.smc_result;
564
565 /*
566 * Return to Realm in case of error,
567 * parent function calls advance_pc()
568 */
569 if (rec->regs[0] == RSI_SUCCESS) {
570 advance_pc();
571
572 /* Exit to Host */
573 rec->host_call = true;
574 rec_exit->exit_reason = RMI_EXIT_HOST_CALL;
575 ret_to_rec = false;
576 }
577 }
578 break;
579 }
Soby Mathewb4c6df42022-11-09 11:13:29 +0000580 default:
581 rec->regs[0] = SMC_UNKNOWN;
582 break;
583 }
584
Arunachalam Ganapathy43c2c6b2023-03-24 15:06:34 +0000585 /* Re-enable SIMD access if REC is allowed to access */
586 if (rec_is_simd_allowed(rec)) {
587 simd_enable(rec_simd_type(rec));
588 }
589
Soby Mathewb4c6df42022-11-09 11:13:29 +0000590 /* Log RSI call */
AlexeiFedorov6c119692023-04-21 12:31:15 +0100591 RSI_LOG_EXIT(function_id, rec->regs, ret_to_rec);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000592 return ret_to_rec;
593}
594
595/*
596 * Return 'true' if the RMM handled the exception,
597 * 'false' to return to the Non-secure host.
598 */
599static bool handle_exception_sync(struct rec *rec, struct rmi_rec_exit *rec_exit)
600{
601 const unsigned long esr = read_esr_el2();
602
AlexeiFedorov537bee02023-02-02 13:38:23 +0000603 switch (esr & MASK(ESR_EL2_EC)) {
Soby Mathewb4c6df42022-11-09 11:13:29 +0000604 case ESR_EL2_EC_WFX:
AlexeiFedorov537bee02023-02-02 13:38:23 +0000605 rec_exit->esr = esr & (MASK(ESR_EL2_EC) | ESR_EL2_WFx_TI_BIT);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000606 advance_pc();
607 return false;
608 case ESR_EL2_EC_HVC:
609 realm_inject_undef_abort();
610 return true;
611 case ESR_EL2_EC_SMC:
612 if (!handle_realm_rsi(rec, rec_exit)) {
613 return false;
614 }
615 /*
616 * Advance PC.
617 * HCR_EL2.TSC traps execution of the SMC instruction.
618 * It is not a routing control for the SMC exception.
619 * Trap exceptions and SMC exceptions have different
620 * preferred return addresses.
621 */
622 advance_pc();
623 return true;
624 case ESR_EL2_EC_SYSREG: {
625 bool ret = handle_sysreg_access_trap(rec, rec_exit, esr);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000626 advance_pc();
627 return ret;
628 }
629 case ESR_EL2_EC_INST_ABORT:
630 return handle_instruction_abort(rec, rec_exit, esr);
631 case ESR_EL2_EC_DATA_ABORT:
632 return handle_data_abort(rec, rec_exit, esr);
Arunachalam Ganapathyf6491212023-02-23 16:04:34 +0000633 case ESR_EL2_EC_FPU:
634 return handle_simd_exception(SIMD_FPU, rec);
635 case ESR_EL2_EC_SVE:
636 return handle_simd_exception(SIMD_SVE, rec);
Soby Mathewb4c6df42022-11-09 11:13:29 +0000637 default:
638 /*
639 * TODO: Check if there are other exit reasons we could
640 * encounter here and handle them appropriately
641 */
642 break;
643 }
644
645 VERBOSE("Unhandled sync exit ESR: %08lx (EC: %lx ISS: %lx)\n",
AlexeiFedorov537bee02023-02-02 13:38:23 +0000646 esr, EXTRACT(ESR_EL2_EC, esr), EXTRACT(ESR_EL2_ISS, esr));
Soby Mathewb4c6df42022-11-09 11:13:29 +0000647
648 /*
649 * Zero values in esr, far & hpfar of 'rec_exit' structure
650 * will be returned to the NS host.
651 * The only information that may leak is when there was
652 * some unhandled/unknown reason for the exception.
653 */
654 return false;
655}
656
657/*
658 * Return 'true' if the RMM handled the exception, 'false' to return to the
659 * Non-secure host.
660 */
661static bool handle_exception_serror_lel(struct rec *rec, struct rmi_rec_exit *rec_exit)
662{
663 const unsigned long esr = read_esr_el2();
664
665 if (esr & ESR_EL2_SERROR_IDS_BIT) {
666 /*
667 * Implementation defined content of the esr.
668 */
669 system_abort();
670 }
671
AlexeiFedorov537bee02023-02-02 13:38:23 +0000672 if ((esr & MASK(ESR_EL2_SERROR_DFSC)) != ESR_EL2_SERROR_DFSC_ASYNC) {
Soby Mathewb4c6df42022-11-09 11:13:29 +0000673 /*
674 * Either Uncategorized or Reserved fault status code.
675 */
676 system_abort();
677 }
678
AlexeiFedorov537bee02023-02-02 13:38:23 +0000679 switch (esr & MASK(ESR_EL2_SERROR_AET)) {
Soby Mathewb4c6df42022-11-09 11:13:29 +0000680 case ESR_EL2_SERROR_AET_UEU: /* Unrecoverable RAS Error */
681 case ESR_EL2_SERROR_AET_UER: /* Recoverable RAS Error */
682 /*
683 * The abort is fatal to the current S/W. Inject the SError into
684 * the Realm so it can e.g. shut down gracefully or localize the
685 * problem at the specific EL0 application.
686 *
687 * Note: Consider shutting down the Realm here to avoid
688 * the host's attack on unstable Realms.
689 */
690 inject_serror(rec, esr);
691 /*
692 * Fall through.
693 */
694 case ESR_EL2_SERROR_AET_CE: /* Corrected RAS Error */
695 case ESR_EL2_SERROR_AET_UEO: /* Restartable RAS Error */
696 /*
697 * Report the exception to the host.
698 */
699 rec_exit->esr = esr & ESR_SERROR_MASK;
700 break;
701 case ESR_EL2_SERROR_AET_UC: /* Uncontainable RAS Error */
702 system_abort();
703 break;
704 default:
705 /*
706 * Unrecognized Asynchronous Error Type
707 */
708 assert(false);
709 }
710
711 return false;
712}
713
714static bool handle_exception_irq_lel(struct rec *rec, struct rmi_rec_exit *rec_exit)
715{
716 (void)rec;
717
718 rec_exit->exit_reason = RMI_EXIT_IRQ;
719
720 /*
721 * With GIC all virtual interrupt programming
722 * must go via the NS hypervisor.
723 */
724 return false;
725}
726
727/* Returns 'true' when returning to Realm (S) and false when to NS */
728bool handle_realm_exit(struct rec *rec, struct rmi_rec_exit *rec_exit, int exception)
729{
730 switch (exception) {
731 case ARM_EXCEPTION_SYNC_LEL: {
732 bool ret;
733
734 /*
735 * TODO: Sanitize ESR to ensure it doesn't leak sensitive
736 * information.
737 */
738 rec_exit->exit_reason = RMI_EXIT_SYNC;
739 ret = handle_exception_sync(rec, rec_exit);
740 if (!ret) {
741 rec->last_run_info.esr = read_esr_el2();
742 rec->last_run_info.far = read_far_el2();
743 rec->last_run_info.hpfar = read_hpfar_el2();
744 }
745 return ret;
746
747 /*
748 * TODO: Much more detailed handling of exit reasons.
749 */
750 }
751 case ARM_EXCEPTION_IRQ_LEL:
752 return handle_exception_irq_lel(rec, rec_exit);
753 case ARM_EXCEPTION_FIQ_LEL:
754 rec_exit->exit_reason = RMI_EXIT_FIQ;
755 break;
756 case ARM_EXCEPTION_SERROR_LEL: {
757 const unsigned long esr = read_esr_el2();
758 bool ret;
759
760 /*
761 * TODO: Sanitize ESR to ensure it doesn't leak sensitive
762 * information.
763 */
764 rec_exit->exit_reason = RMI_EXIT_SERROR;
765 ret = handle_exception_serror_lel(rec, rec_exit);
766 if (!ret) {
767 rec->last_run_info.esr = esr;
768 rec->last_run_info.far = read_far_el2();
769 rec->last_run_info.hpfar = read_hpfar_el2();
770 }
771 return ret;
772 }
773 default:
774 INFO("Unrecognized exit reason: %d\n", exception);
775 break;
776 };
777
778 return false;
779}