blob: 4be3380271a2dc8a3c82c45393b48bac57ddab13 [file] [log] [blame]
Wedson Almeida Filho22c973a2018-10-27 16:25:42 +01001/*
Andrew Walbran692b3252019-03-07 15:51:31 +00002 * Copyright 2018 The Hafnium Authors.
Wedson Almeida Filho22c973a2018-10-27 16:25:42 +01003 *
Andrew Walbrane959ec12020-06-17 15:01:09 +01004 * Use of this source code is governed by a BSD-style
5 * license that can be found in the LICENSE file or at
6 * https://opensource.org/licenses/BSD-3-Clause.
Wedson Almeida Filho22c973a2018-10-27 16:25:42 +01007 */
8
David Brazdil863b1502019-10-24 13:55:50 +01009#include "hf/arch/offsets.h"
Olivier Deprez3caed1c2021-02-05 12:07:36 +010010
11#include "hf/arch/vmid_base.h"
12
Jose Marinhoab1081d2019-10-18 11:39:01 +010013#include "msr.h"
Andrew Walbranc55365d2018-12-06 15:45:11 +000014#include "exception_macros.S"
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +010015
Max Shvetsov2ff5b572021-03-22 12:03:38 +000016
17/**
18 * PE feature information about SVE implementation in AArch64 state.
19 */
20#define ID_AA64PFR0_SVE_SHIFT (32)
21#define ID_AA64PFR0_SVE_LENGTH (4)
22
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000023/**
Fuad Tabbab0ef2a42019-12-19 11:19:25 +000024 * Saves the volatile registers into the register buffer of the current vCPU.
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000025 */
Andrew Walbran59182d52019-09-23 17:55:39 +010026.macro save_volatile_to_vcpu
Wedson Almeida Filho5bc0b4c2018-07-30 15:31:44 +010027 /*
28 * Save x18 since we're about to clobber it. We subtract 16 instead of
29 * 8 from the stack pointer to keep it 16-byte aligned.
30 */
31 str x18, [sp, #-16]!
Andrew Walbran59182d52019-09-23 17:55:39 +010032
Fuad Tabbab0ef2a42019-12-19 11:19:25 +000033 /* Get the current vCPU. */
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000034 mrs x18, tpidr_el2
35 stp x0, x1, [x18, #VCPU_REGS + 8 * 0]
36 stp x2, x3, [x18, #VCPU_REGS + 8 * 2]
37 stp x4, x5, [x18, #VCPU_REGS + 8 * 4]
38 stp x6, x7, [x18, #VCPU_REGS + 8 * 6]
39 stp x8, x9, [x18, #VCPU_REGS + 8 * 8]
40 stp x10, x11, [x18, #VCPU_REGS + 8 * 10]
41 stp x12, x13, [x18, #VCPU_REGS + 8 * 12]
42 stp x14, x15, [x18, #VCPU_REGS + 8 * 14]
43 stp x16, x17, [x18, #VCPU_REGS + 8 * 16]
44 stp x29, x30, [x18, #VCPU_REGS + 8 * 29]
45
Fuad Tabbab0ef2a42019-12-19 11:19:25 +000046 /* x18 was saved on the stack, so we move it to vCPU regs buffer. */
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000047 ldr x0, [sp], #16
48 str x0, [x18, #VCPU_REGS + 8 * 18]
49
50 /* Save return address & mode. */
51 mrs x1, elr_el2
52 mrs x2, spsr_el2
53 stp x1, x2, [x18, #VCPU_REGS + 8 * 31]
54.endm
55
56/**
57 * This is a generic handler for exceptions taken at a lower EL. It saves the
Fuad Tabbab0ef2a42019-12-19 11:19:25 +000058 * volatile registers to the current vCPU and calls the C handler, which can
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000059 * select one of two paths: (a) restore volatile registers and return, or
Fuad Tabbab0ef2a42019-12-19 11:19:25 +000060 * (b) switch to a different vCPU. In the latter case, the handler needs to save
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000061 * all non-volatile registers (they haven't been saved yet), then restore all
Fuad Tabbab0ef2a42019-12-19 11:19:25 +000062 * registers from the new vCPU.
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000063 */
64.macro lower_exception handler:req
Andrew Walbran59182d52019-09-23 17:55:39 +010065 save_volatile_to_vcpu
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000066
Olivier Depreze7d7f322020-12-14 16:01:03 +010067#if BRANCH_PROTECTION
68 /* NOTE: x18 still holds pointer to current vCPU. */
69 bl pauth_save_vcpu_and_restore_hyp_key
70#endif
71
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000072 /* Call C handler. */
73 bl \handler
74
Fuad Tabbab0ef2a42019-12-19 11:19:25 +000075 /* Switch vCPU if requested by handler. */
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000076 cbnz x0, vcpu_switch
77
Fuad Tabbab0ef2a42019-12-19 11:19:25 +000078 /* vCPU is not changing. */
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000079 mrs x0, tpidr_el2
80 b vcpu_restore_volatile_and_run
81.endm
82
83/**
Andrew Walbran59182d52019-09-23 17:55:39 +010084 * This is the handler for a sync exception taken at a lower EL.
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +000085 */
86.macro lower_sync_exception
Andrew Walbran59182d52019-09-23 17:55:39 +010087 save_volatile_to_vcpu
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +010088
Olivier Depreze7d7f322020-12-14 16:01:03 +010089#if BRANCH_PROTECTION
90 /* NOTE: x18 still holds pointer to current vCPU. */
91 bl pauth_save_vcpu_and_restore_hyp_key
92#endif
93
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +010094 /* Extract the exception class (EC) from exception syndrome register. */
95 mrs x18, esr_el2
96 lsr x18, x18, #26
97
Andrew Walbran59182d52019-09-23 17:55:39 +010098 /* Take the system register path for EC 0x18. */
99 sub x18, x18, #0x18
100 cbz x18, system_register_access
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100101
Fuad Tabbac3847c72020-08-11 09:32:25 +0100102 /* Call C handler passing the syndrome and fault address registers. */
Andrew Walbran59182d52019-09-23 17:55:39 +0100103 mrs x0, esr_el2
Fuad Tabbac3847c72020-08-11 09:32:25 +0100104 mrs x1, far_el2
Andrew Walbran59182d52019-09-23 17:55:39 +0100105 bl sync_lower_exception
Andrew Walbran3a71c982019-09-12 18:22:11 +0100106
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000107 /* Switch vCPU if requested by handler. */
Andrew Walbran59182d52019-09-23 17:55:39 +0100108 cbnz x0, vcpu_switch
Andrew Walbranfed412e2019-09-02 18:23:16 +0100109
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000110 /* vCPU is not changing. */
Andrew Walbran59182d52019-09-23 17:55:39 +0100111 mrs x0, tpidr_el2
112 b vcpu_restore_volatile_and_run
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000113.endm
114
115/**
116 * The following is the exception table. A pointer to it will be stored in
117 * register vbar_el2.
118 */
119.section .text.vector_table_el2, "ax"
120.global vector_table_el2
121.balign 0x800
122vector_table_el2:
123sync_cur_sp0:
David Brazdil768f69c2019-12-19 15:46:12 +0000124 noreturn_current_exception_sp0 el2 sync_current_exception_noreturn
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000125
126.balign 0x80
127irq_cur_sp0:
David Brazdil768f69c2019-12-19 15:46:12 +0000128 noreturn_current_exception_sp0 el2 irq_current_exception_noreturn
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000129
130.balign 0x80
131fiq_cur_sp0:
David Brazdil768f69c2019-12-19 15:46:12 +0000132 noreturn_current_exception_sp0 el2 fiq_current_exception_noreturn
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000133
134.balign 0x80
135serr_cur_sp0:
David Brazdil768f69c2019-12-19 15:46:12 +0000136 noreturn_current_exception_sp0 el2 serr_current_exception_noreturn
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000137
138.balign 0x80
139sync_cur_spx:
David Brazdil768f69c2019-12-19 15:46:12 +0000140 noreturn_current_exception_spx el2 sync_current_exception_noreturn
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000141
142.balign 0x80
143irq_cur_spx:
David Brazdil768f69c2019-12-19 15:46:12 +0000144 noreturn_current_exception_spx el2 irq_current_exception_noreturn
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000145
146.balign 0x80
147fiq_cur_spx:
David Brazdil768f69c2019-12-19 15:46:12 +0000148 noreturn_current_exception_spx el2 fiq_current_exception_noreturn
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000149
150.balign 0x80
151serr_cur_spx:
David Brazdil768f69c2019-12-19 15:46:12 +0000152 noreturn_current_exception_spx el2 serr_current_exception_noreturn
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000153
154.balign 0x80
155sync_lower_64:
156 lower_sync_exception
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100157
158.balign 0x80
Andrew Walbran83f61322018-11-12 13:29:30 +0000159irq_lower_64:
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000160 lower_exception irq_lower
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100161
162.balign 0x80
Andrew Walbran83f61322018-11-12 13:29:30 +0000163fiq_lower_64:
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000164 lower_exception fiq_lower
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100165
166.balign 0x80
Andrew Walbran83f61322018-11-12 13:29:30 +0000167serr_lower_64:
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000168 lower_exception serr_lower
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100169
170.balign 0x80
Andrew Walbran83f61322018-11-12 13:29:30 +0000171sync_lower_32:
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000172 lower_sync_exception
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100173
174.balign 0x80
Andrew Walbran83f61322018-11-12 13:29:30 +0000175irq_lower_32:
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000176 lower_exception irq_lower
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100177
178.balign 0x80
Andrew Walbran83f61322018-11-12 13:29:30 +0000179fiq_lower_32:
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000180 lower_exception fiq_lower
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100181
182.balign 0x80
Andrew Walbran83f61322018-11-12 13:29:30 +0000183serr_lower_32:
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000184 lower_exception serr_lower
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100185
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000186.balign 0x40
Wedson Almeida Filho59978322018-10-24 15:13:33 +0100187
Fuad Tabba7c299d82019-09-12 13:05:18 +0100188/**
Olivier Depreze7d7f322020-12-14 16:01:03 +0100189 * pauth_save_vcpu_and_restore_hyp_key
190 *
191 * NOTE: expect x18 holds pointer to current vCPU.
192 */
193#if BRANCH_PROTECTION
194pauth_save_vcpu_and_restore_hyp_key:
195 /*
196 * Save APIA key for the vCPU as Hypervisor replaces it with its
197 * own key. Other vCPU PAuth keys are taken care in vcpu_switch.
198 */
199 mrs x0, APIAKEYLO_EL1
200 mrs x1, APIAKEYHI_EL1
201 add x18, x18, #VCPU_PAC
202 stp x0, x1, [x18]
203
204 /* Restore Hypervisor APIA key. */
205 pauth_restore_hypervisor_key x0 x1
206 ret
207#endif
208
209/**
Fuad Tabba7c299d82019-09-12 13:05:18 +0100210 * Handle accesses to system registers (EC=0x18) and return to original caller.
211 */
212system_register_access:
213 /*
214 * Non-volatile registers are (conservatively) saved because the handler
215 * can clobber non-volatile registers that are used by the msr/mrs,
216 * which results in the wrong value being read or written.
217 */
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000218 /* Get the current vCPU. */
Fuad Tabba7c299d82019-09-12 13:05:18 +0100219 mrs x18, tpidr_el2
220 stp x19, x20, [x18, #VCPU_REGS + 8 * 19]
221 stp x21, x22, [x18, #VCPU_REGS + 8 * 21]
222 stp x23, x24, [x18, #VCPU_REGS + 8 * 23]
223 stp x25, x26, [x18, #VCPU_REGS + 8 * 25]
224 stp x27, x28, [x18, #VCPU_REGS + 8 * 27]
225
226 /* Read syndrome register and call C handler. */
227 mrs x0, esr_el2
228 bl handle_system_register_access
Fuad Tabba7c299d82019-09-12 13:05:18 +0100229
Fuad Tabbab86325a2020-01-10 13:38:15 +0000230 /* Continue running the same vCPU. */
Fuad Tabba7c299d82019-09-12 13:05:18 +0100231 mrs x0, tpidr_el2
232 b vcpu_restore_nonvolatile_and_run
233
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100234/**
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000235 * Switch to a new vCPU.
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100236 *
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000237 * All volatile registers from the old vCPU have already been saved. We need
238 * to save only non-volatile ones from the old vCPU, and restore all from the
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100239 * new one.
240 *
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000241 * x0 is a pointer to the new vCPU.
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100242 */
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100243vcpu_switch:
244 /* Save non-volatile registers. */
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000245 mrs x1, tpidr_el2
246 stp x19, x20, [x1, #VCPU_REGS + 8 * 19]
247 stp x21, x22, [x1, #VCPU_REGS + 8 * 21]
248 stp x23, x24, [x1, #VCPU_REGS + 8 * 23]
249 stp x25, x26, [x1, #VCPU_REGS + 8 * 25]
250 stp x27, x28, [x1, #VCPU_REGS + 8 * 27]
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100251
252 /* Save lazy state. */
Fuad Tabba5e147a92019-08-14 15:30:30 +0100253 /* Use x28 as the base */
254 add x28, x1, #VCPU_LAZY
255
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100256 mrs x24, vmpidr_el2
257 mrs x25, csselr_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100258 stp x24, x25, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100259
260 mrs x2, sctlr_el1
261 mrs x3, actlr_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100262 stp x2, x3, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100263
264 mrs x4, cpacr_el1
265 mrs x5, ttbr0_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100266 stp x4, x5, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100267
268 mrs x6, ttbr1_el1
269 mrs x7, tcr_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100270 stp x6, x7, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100271
272 mrs x8, esr_el1
273 mrs x9, afsr0_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100274 stp x8, x9, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100275
276 mrs x10, afsr1_el1
277 mrs x11, far_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100278 stp x10, x11, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100279
280 mrs x12, mair_el1
281 mrs x13, vbar_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100282 stp x12, x13, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100283
284 mrs x14, contextidr_el1
285 mrs x15, tpidr_el0
Fuad Tabba5e147a92019-08-14 15:30:30 +0100286 stp x14, x15, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100287
288 mrs x16, tpidrro_el0
289 mrs x17, tpidr_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100290 stp x16, x17, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100291
292 mrs x18, amair_el1
293 mrs x19, cntkctl_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100294 stp x18, x19, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100295
296 mrs x20, sp_el0
297 mrs x21, sp_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100298 stp x20, x21, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100299
Andrew Walbranbc82f2d2019-02-21 14:50:29 +0000300 mrs x22, elr_el1
301 mrs x23, spsr_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100302 stp x22, x23, [x28], #16
Wedson Almeida Filho1f81b752018-10-24 15:15:49 +0100303
Andrew Walbranbc82f2d2019-02-21 14:50:29 +0000304 mrs x24, par_el1
305 mrs x25, hcr_el2
Fuad Tabba5e147a92019-08-14 15:30:30 +0100306 stp x24, x25, [x28], #16
Wedson Almeida Filho1f81b752018-10-24 15:15:49 +0100307
Fuad Tabba2e2c98b2019-11-04 14:37:24 +0000308 mrs x26, cnthctl_el2
309 mrs x27, vttbr_el2
Fuad Tabba5e147a92019-08-14 15:30:30 +0100310 stp x26, x27, [x28], #16
Andrew Walbranbc82f2d2019-02-21 14:50:29 +0000311
Fuad Tabba2e2c98b2019-11-04 14:37:24 +0000312 mrs x4, mdcr_el2
313 mrs x5, mdscr_el1
Fuad Tabba5e147a92019-08-14 15:30:30 +0100314 stp x4, x5, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100315
Fuad Tabba2e2c98b2019-11-04 14:37:24 +0000316 mrs x6, pmccfiltr_el0
317 mrs x7, pmcr_el0
Fuad Tabbaf1d6dc52019-09-18 17:33:14 +0100318 stp x6, x7, [x28], #16
319
Fuad Tabba2e2c98b2019-11-04 14:37:24 +0000320 mrs x8, pmcntenset_el0
321 mrs x9, pmintenset_el1
Fuad Tabbaf1d6dc52019-09-18 17:33:14 +0100322 stp x8, x9, [x28], #16
323
Olivier Depreze7d7f322020-12-14 16:01:03 +0100324#if BRANCH_PROTECTION
325 add x2, x1, #(VCPU_PAC + 16)
326 mrs x10, APIBKEYLO_EL1
327 mrs x11, APIBKEYHI_EL1
328 stp x10, x11, [x2], #16
329 mrs x12, APDAKEYLO_EL1
330 mrs x13, APDAKEYHI_EL1
331 stp x12, x13, [x2], #16
332 mrs x14, APDBKEYLO_EL1
333 mrs x15, APDBKEYHI_EL1
334 stp x14, x15, [x2], #16
335 mrs x16, APGAKEYLO_EL1
336 mrs x17, APGAKEYHI_EL1
337 stp x16, x17, [x2], #16
338#endif
339
Andrew Walbranb208b4a2019-05-20 12:42:22 +0100340 /* Save GIC registers. */
341#if GIC_VERSION == 3 || GIC_VERSION == 4
342 /* Offset is too large, so start from a new base. */
343 add x2, x1, #VCPU_GIC
344
345 mrs x3, ich_hcr_el2
Andrew Walbran4b976f42019-06-05 15:00:50 +0100346 mrs x4, icc_sre_el2
347 stp x3, x4, [x2, #16 * 0]
Andrew Walbranb208b4a2019-05-20 12:42:22 +0100348#endif
349
Fuad Tabba5e147a92019-08-14 15:30:30 +0100350 /* Save floating point registers. */
351 /* Use x28 as the base. */
352 add x28, x1, #VCPU_FREGS
Olivier Deprez82961762021-02-08 10:24:19 +0100353 simd_op_vectors stp, x28
Conrad Groblera824af62019-03-22 17:33:23 +0000354 mrs x3, fpsr
355 mrs x4, fpcr
Olivier Deprez82961762021-02-08 10:24:19 +0100356 stp x3, x4, [x28]
Conrad Groblera824af62019-03-22 17:33:23 +0000357
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000358 /* Save new vCPU pointer in non-volatile register. */
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000359 mov x19, x0
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100360
Andrew Walbran1f8d4872018-12-20 11:21:32 +0000361 /*
362 * Save peripheral registers, and inform the arch-independent sections
363 * that registers have been saved.
364 */
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000365 mov x0, x1
Andrew Walbran1f8d4872018-12-20 11:21:32 +0000366 bl complete_saving_state
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000367 mov x0, x19
368
Olivier Deprez3caed1c2021-02-05 12:07:36 +0100369#if SECURE_WORLD == 1
370
371 ldr x1, [x0, #VCPU_VM]
372 ldrh w1, [x1, #VM_ID]
373
374 /* Exit to normal world if VM is HF_OTHER_WORLD_ID. */
375 cmp w1, #HF_OTHER_WORLD_ID
376 bne vcpu_restore_all_and_run
377
378 /*
379 * The current vCPU state is saved so it's now safe to switch to the
380 * normal world.
381 */
382
383other_world_loop:
Max Shvetsov2ff5b572021-03-22 12:03:38 +0000384 /* Check if SVE is implemented. */
385 mrs x0, id_aa64pfr0_el1
386 ubfx x0, x0, ID_AA64PFR0_SVE_SHIFT, ID_AA64PFR0_SVE_LENGTH
387 cbnz x0, sve_context_restore
Olivier Deprez82961762021-02-08 10:24:19 +0100388
389 /* Restore the other world SIMD context to the other world VM vCPU. */
390 add x18, x19, #VCPU_FREGS
391 simd_op_vectors ldp, x18
392 ldp x0, x1, [x18]
393 msr fpsr, x0
394 msr fpcr, x1
Max Shvetsov2ff5b572021-03-22 12:03:38 +0000395 b sve_skip_context_restore
Olivier Deprez82961762021-02-08 10:24:19 +0100396
Max Shvetsov2ff5b572021-03-22 12:03:38 +0000397 /* Restore the other world SVE context from internal buffer. */
398sve_context_restore:
399 adrp x18, sve_other_world_context
400 add x18, x18, :lo12: sve_other_world_context
401 ldr x0, [x19, #VCPU_CPU]
402 bl cpu_index
403 mov x20, #SVE_CTX_SIZE
404 madd x18, x0, x20, x18
405
406 /* Restore vector registers. */
407 sve_op_vectors ldr, x18
408 /* Restore FFR register before predicates. */
409 add x20, x18, #SVE_CTX_FFR
410 ldr p0, [x20]
411 wrffr p0.b
412 /* Restore predicate registers. */
413 add x20, x18, #SVE_CTX_PREDICATES
414 sve_predicate_op ldr, x20
415
416 /*
417 * Prepare arguments from other world VM vCPU.
418 * x19 holds the other world VM vCPU pointer.
419 */
420sve_skip_context_restore:
Olivier Deprez3caed1c2021-02-05 12:07:36 +0100421 ldp x0, x1, [x19, #VCPU_REGS + 8 * 0]
422 ldp x2, x3, [x19, #VCPU_REGS + 8 * 2]
423 ldp x4, x5, [x19, #VCPU_REGS + 8 * 4]
424 ldp x6, x7, [x19, #VCPU_REGS + 8 * 6]
425
Olivier Depreze7d7f322020-12-14 16:01:03 +0100426#if BRANCH_PROTECTION
427 /*
428 * EL3 saves pointer authentication keys when entering by SMC.
429 * Although prefer clearing the keys to be on the safe side.
430 */
431 msr APIAKEYLO_EL1, xzr
432 msr APIAKEYHI_EL1, xzr
433 msr APIBKEYLO_EL1, xzr
434 msr APIBKEYHI_EL1, xzr
435 msr APDAKEYLO_EL1, xzr
436 msr APDAKEYHI_EL1, xzr
437 msr APDBKEYLO_EL1, xzr
438 msr APDBKEYHI_EL1, xzr
439 msr APGAKEYLO_EL1, xzr
440 msr APGAKEYHI_EL1, xzr
441#endif
442
Olivier Deprez3caed1c2021-02-05 12:07:36 +0100443 smc #0
444
445 /*
446 * The call to EL3 returned, First eight GP registers contain an FF-A
447 * call from the physical FF-A instance. Save those arguments to the
448 * other world VM vCPU.
449 * x19 is restored with the other world VM vCPU pointer.
450 */
451 stp x0, x1, [x19, #VCPU_REGS + 8 * 0]
452 stp x2, x3, [x19, #VCPU_REGS + 8 * 2]
453 stp x4, x5, [x19, #VCPU_REGS + 8 * 4]
454 stp x6, x7, [x19, #VCPU_REGS + 8 * 6]
455
Max Shvetsov2ff5b572021-03-22 12:03:38 +0000456 /* Check if SVE is implemented. */
457 mrs x0, id_aa64pfr0_el1
458 ubfx x0, x0, ID_AA64PFR0_SVE_SHIFT, ID_AA64PFR0_SVE_LENGTH
459 cbnz x0, sve_context_save
460
Olivier Deprez82961762021-02-08 10:24:19 +0100461 /* Save the other world SIMD context to the other world VM vCPU. */
462 add x18, x19, #VCPU_FREGS
463 simd_op_vectors stp, x18
464 mrs x0, fpsr
465 mrs x1, fpcr
466 stp x0, x1, [x18]
Max Shvetsov2ff5b572021-03-22 12:03:38 +0000467 b sve_skip_context_save
468
469 /* Save the other world SVE context to internal buffer. */
470sve_context_save:
471 adrp x18, sve_other_world_context
472 add x18, x18, :lo12: sve_other_world_context
473 ldr x0, [x19, #VCPU_CPU]
474 bl cpu_index
475 mov x20, #SVE_CTX_SIZE
476 madd x18, x0, x20, x18
477
478 /* Save vector registers. */
479 sve_op_vectors str, x18
480 /* Save predicate registers. */
481 add x20, x18, #SVE_CTX_PREDICATES
482 sve_predicate_op str, x20
483 /* Save FFR register after predicates. */
484 add x20, x18, #SVE_CTX_FFR
485 rdffr p0.b
486 str p0, [x20]
487
488sve_skip_context_save:
Olivier Deprez82961762021-02-08 10:24:19 +0100489
Olivier Depreze7d7f322020-12-14 16:01:03 +0100490#if BRANCH_PROTECTION
491 pauth_restore_hypervisor_key x0 x1
492#endif
493
Olivier Deprez3caed1c2021-02-05 12:07:36 +0100494 /*
495 * Stack is at top and execution can restart straight into C code.
496 * Handle the FF-A call from other world.
497 */
498 mov x0, x19
499 bl smc_handler_from_nwd
500
501 /*
502 * If the smc handler returns null this indicates no vCPU has to be
503 * resumed and GP registers contain a fresh FF-A response or call
504 * directed to the normal world. Hence loop back and emit SMC again.
505 * Otherwise restore the vCPU pointed to by the handler return value.
506 */
507 cbz x0, other_world_loop
508
509#endif
510
Wedson Almeida Filho03306112018-11-26 00:08:03 +0000511 /* Intentional fallthrough. */
Andrew Walbran375f4532019-07-09 16:54:37 +0100512.global vcpu_restore_all_and_run
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100513vcpu_restore_all_and_run:
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000514 /* Update pointer to current vCPU. */
Wedson Almeida Filho00df6c72018-10-18 11:19:24 +0100515 msr tpidr_el2, x0
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100516
Andrew Walbran1f8d4872018-12-20 11:21:32 +0000517 /* Restore peripheral registers. */
518 mov x19, x0
519 bl begin_restoring_state
520 mov x0, x19
521
Conrad Groblera824af62019-03-22 17:33:23 +0000522 /*
523 * Restore floating point registers.
Conrad Groblera824af62019-03-22 17:33:23 +0000524 */
525 add x2, x0, #VCPU_FREGS
Olivier Deprez82961762021-02-08 10:24:19 +0100526 simd_op_vectors ldp, x2
527 ldp x3, x4, [x2]
Conrad Groblera824af62019-03-22 17:33:23 +0000528 msr fpsr, x3
Conrad Groblera824af62019-03-22 17:33:23 +0000529
Conrad Grobler02ff6af2019-06-04 09:40:28 +0100530 /*
531 * Only restore FPCR if changed, to avoid expensive
532 * self-synchronising operation where possible.
533 */
534 mrs x5, fpcr
535 cmp x5, x4
536 b.eq vcpu_restore_lazy_and_run
537 msr fpcr, x4
538 /* Intentional fallthrough. */
539
540vcpu_restore_lazy_and_run:
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000541 /* Restore lazy registers. */
Fuad Tabba5e147a92019-08-14 15:30:30 +0100542 /* Use x28 as the base. */
543 add x28, x0, #VCPU_LAZY
544
545 ldp x24, x25, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100546 msr vmpidr_el2, x24
547 msr csselr_el1, x25
548
Fuad Tabba5e147a92019-08-14 15:30:30 +0100549 ldp x2, x3, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100550 msr sctlr_el1, x2
551 msr actlr_el1, x3
552
Fuad Tabba5e147a92019-08-14 15:30:30 +0100553 ldp x4, x5, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100554 msr cpacr_el1, x4
555 msr ttbr0_el1, x5
556
Fuad Tabba5e147a92019-08-14 15:30:30 +0100557 ldp x6, x7, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100558 msr ttbr1_el1, x6
559 msr tcr_el1, x7
560
Fuad Tabba5e147a92019-08-14 15:30:30 +0100561 ldp x8, x9, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100562 msr esr_el1, x8
563 msr afsr0_el1, x9
564
Fuad Tabba5e147a92019-08-14 15:30:30 +0100565 ldp x10, x11, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100566 msr afsr1_el1, x10
567 msr far_el1, x11
568
Fuad Tabba5e147a92019-08-14 15:30:30 +0100569 ldp x12, x13, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100570 msr mair_el1, x12
571 msr vbar_el1, x13
572
Fuad Tabba5e147a92019-08-14 15:30:30 +0100573 ldp x14, x15, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100574 msr contextidr_el1, x14
575 msr tpidr_el0, x15
576
Fuad Tabba5e147a92019-08-14 15:30:30 +0100577 ldp x16, x17, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100578 msr tpidrro_el0, x16
579 msr tpidr_el1, x17
580
Fuad Tabba5e147a92019-08-14 15:30:30 +0100581 ldp x18, x19, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100582 msr amair_el1, x18
583 msr cntkctl_el1, x19
584
Fuad Tabba5e147a92019-08-14 15:30:30 +0100585 ldp x20, x21, [x28], #16
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100586 msr sp_el0, x20
587 msr sp_el1, x21
588
Fuad Tabba5e147a92019-08-14 15:30:30 +0100589 ldp x22, x23, [x28], #16
Andrew Walbranbc82f2d2019-02-21 14:50:29 +0000590 msr elr_el1, x22
591 msr spsr_el1, x23
Wedson Almeida Filho1f81b752018-10-24 15:15:49 +0100592
Fuad Tabba5e147a92019-08-14 15:30:30 +0100593 ldp x24, x25, [x28], #16
Andrew Walbranbc82f2d2019-02-21 14:50:29 +0000594 msr par_el1, x24
595 msr hcr_el2, x25
Wedson Almeida Filho1f81b752018-10-24 15:15:49 +0100596
Fuad Tabba5e147a92019-08-14 15:30:30 +0100597 ldp x26, x27, [x28], #16
Fuad Tabba2e2c98b2019-11-04 14:37:24 +0000598 msr cnthctl_el2, x26
599 msr vttbr_el2, x27
Andrew Walbranbc82f2d2019-02-21 14:50:29 +0000600
Jose Marinhoab1081d2019-10-18 11:39:01 +0100601#if SECURE_WORLD == 1
602 msr MSR_VSTTBR_EL2, x27
603#endif
604
Fuad Tabba5e147a92019-08-14 15:30:30 +0100605 ldp x4, x5, [x28], #16
Fuad Tabba2e2c98b2019-11-04 14:37:24 +0000606 msr mdcr_el2, x4
607 msr mdscr_el1, x5
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100608
Fuad Tabbaf1d6dc52019-09-18 17:33:14 +0100609 ldp x6, x7, [x28], #16
Fuad Tabba2e2c98b2019-11-04 14:37:24 +0000610 msr pmccfiltr_el0, x6
611 msr pmcr_el0, x7
Fuad Tabbaf1d6dc52019-09-18 17:33:14 +0100612
613 ldp x8, x9, [x28], #16
Fuad Tabbaf1d6dc52019-09-18 17:33:14 +0100614 /*
615 * NOTE: Writing 0s to pmcntenset_el0's bits do not alter their values.
616 * To reset them, clear the register by writing to pmcntenclr_el0.
617 */
618 mov x27, #0xffffffff
619 msr pmcntenclr_el0, x27
Fuad Tabba2e2c98b2019-11-04 14:37:24 +0000620 msr pmcntenset_el0, x8
Fuad Tabbaf1d6dc52019-09-18 17:33:14 +0100621
Fuad Tabbaf1d6dc52019-09-18 17:33:14 +0100622 /*
623 * NOTE: Writing 0s to pmintenset_el1's bits do not alter their values.
624 * To reset them, clear the register by writing to pmintenclr_el1.
625 */
626 msr pmintenclr_el1, x27
Fuad Tabba2e2c98b2019-11-04 14:37:24 +0000627 msr pmintenset_el1, x9
Fuad Tabbac76466d2019-09-06 10:42:12 +0100628
Olivier Depreze7d7f322020-12-14 16:01:03 +0100629#if BRANCH_PROTECTION
630 add x2, x0, #(VCPU_PAC + 16)
631 ldp x10, x11, [x2], #16
632 msr APIBKEYLO_EL1, x10
633 msr APIBKEYHI_EL1, x11
634 ldp x12, x13, [x2], #16
635 msr APDAKEYLO_EL1, x12
636 msr APDAKEYHI_EL1, x13
637 ldp x14, x15, [x2], #16
638 msr APDBKEYLO_EL1, x14
639 msr APDBKEYHI_EL1, x15
640 ldp x16, x17, [x2], #16
641 msr APGAKEYLO_EL1, x16
642 msr APGAKEYHI_EL1, x17
643#endif
644
Andrew Walbranb208b4a2019-05-20 12:42:22 +0100645 /* Restore GIC registers. */
646#if GIC_VERSION == 3 || GIC_VERSION == 4
647 /* Offset is too large, so start from a new base. */
648 add x2, x0, #VCPU_GIC
649
Andrew Walbran4b976f42019-06-05 15:00:50 +0100650 ldp x3, x4, [x2, #16 * 0]
Andrew Walbranb208b4a2019-05-20 12:42:22 +0100651 msr ich_hcr_el2, x3
Andrew Walbran4b976f42019-06-05 15:00:50 +0100652 msr icc_sre_el2, x4
Andrew Walbranb208b4a2019-05-20 12:42:22 +0100653#endif
654
Andrew Walbran1f32e722019-06-07 17:57:26 +0100655 /*
656 * If a different vCPU is being run on this physical CPU to the last one
657 * which was run for this VM, invalidate the TLB. This must be called
658 * after vttbr_el2 has been updated, so that we have the page table and
659 * VMID of the vCPU to which we are switching.
660 */
661 mov x19, x0
662 bl maybe_invalidate_tlb
663 mov x0, x19
664
Fuad Tabba7c299d82019-09-12 13:05:18 +0100665 /* Intentional fallthrough. */
666
667vcpu_restore_nonvolatile_and_run:
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100668 /* Restore non-volatile registers. */
Wedson Almeida Filho9d5040f2018-10-29 08:41:27 +0000669 ldp x19, x20, [x0, #VCPU_REGS + 8 * 19]
670 ldp x21, x22, [x0, #VCPU_REGS + 8 * 21]
671 ldp x23, x24, [x0, #VCPU_REGS + 8 * 23]
672 ldp x25, x26, [x0, #VCPU_REGS + 8 * 25]
673 ldp x27, x28, [x0, #VCPU_REGS + 8 * 27]
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +0100674
Wedson Almeida Filhod615cdb2018-10-09 13:00:21 +0100675 /* Intentional fallthrough. */
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100676/**
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000677 * Restore volatile registers and run the given vCPU.
Wedson Almeida Filhod615cdb2018-10-09 13:00:21 +0100678 *
Fuad Tabbab0ef2a42019-12-19 11:19:25 +0000679 * x0 is a pointer to the target vCPU.
Wedson Almeida Filho87009642018-07-02 10:20:07 +0100680 */
681vcpu_restore_volatile_and_run:
Olivier Depreze7d7f322020-12-14 16:01:03 +0100682#if BRANCH_PROTECTION
683 add x1, x0, #VCPU_PAC
684 ldp x1, x2, [x1]
685
686 /* Restore vCPU APIA key. */
687 msr APIAKEYLO_EL1, x1
688 msr APIAKEYHI_EL1, x2
689#endif
690
Fuad Tabba7c299d82019-09-12 13:05:18 +0100691 ldp x4, x5, [x0, #VCPU_REGS + 8 * 4]
692 ldp x6, x7, [x0, #VCPU_REGS + 8 * 6]
693 ldp x8, x9, [x0, #VCPU_REGS + 8 * 8]
694 ldp x10, x11, [x0, #VCPU_REGS + 8 * 10]
695 ldp x12, x13, [x0, #VCPU_REGS + 8 * 12]
696 ldp x14, x15, [x0, #VCPU_REGS + 8 * 14]
697 ldp x16, x17, [x0, #VCPU_REGS + 8 * 16]
698 ldr x18, [x0, #VCPU_REGS + 8 * 18]
699 ldp x29, x30, [x0, #VCPU_REGS + 8 * 29]
700
701 /* Restore return address & mode. */
702 ldp x1, x2, [x0, #VCPU_REGS + 8 * 31]
703 msr elr_el2, x1
704 msr spsr_el2, x2
705
706 /* Restore x0..x3, which we have used as scratch before. */
707 ldp x2, x3, [x0, #VCPU_REGS + 8 * 2]
708 ldp x0, x1, [x0, #VCPU_REGS + 8 * 0]
David Brazdild623d312019-12-19 16:04:06 +0000709 eret_with_sb