blob: 925158bfd1757a9f992cda3ecf5d4addca97b4e7 [file] [log] [blame]
Fuad Tabba5c738432019-12-02 11:02:42 +00001/*
2 * Copyright 2019 The Hafnium Authors.
3 *
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.
Fuad Tabba5c738432019-12-02 11:02:42 +00007 */
8
9#include "hf/vcpu.h"
10
Olivier Depreze6f7b9d2021-02-01 11:55:48 +010011#include "hf/arch/cpu.h"
12
Fuad Tabba5c738432019-12-02 11:02:42 +000013#include "hf/check.h"
14#include "hf/dlog.h"
15#include "hf/std.h"
16#include "hf/vm.h"
17
J-Alves7ac49052022-02-08 17:20:53 +000018/** GP register to be used to pass the current vCPU ID, at core bring up. */
19#define PHYS_CORE_IDX_GP_REG 4
20
Fuad Tabba5c738432019-12-02 11:02:42 +000021/**
22 * Locks the given vCPU and updates `locked` to hold the newly locked vCPU.
23 */
24struct vcpu_locked vcpu_lock(struct vcpu *vcpu)
25{
26 struct vcpu_locked locked = {
27 .vcpu = vcpu,
28 };
29
30 sl_lock(&vcpu->lock);
31
32 return locked;
33}
34
35/**
Olivier Deprez0b6f10a2020-08-05 18:21:33 +020036 * Locks two vCPUs ensuring that the locking order is according to the locks'
37 * addresses.
38 */
39struct two_vcpu_locked vcpu_lock_both(struct vcpu *vcpu1, struct vcpu *vcpu2)
40{
41 struct two_vcpu_locked dual_lock;
42
43 sl_lock_both(&vcpu1->lock, &vcpu2->lock);
44 dual_lock.vcpu1.vcpu = vcpu1;
45 dual_lock.vcpu2.vcpu = vcpu2;
46
47 return dual_lock;
48}
49
50/**
Fuad Tabba5c738432019-12-02 11:02:42 +000051 * Unlocks a vCPU previously locked with vpu_lock, and updates `locked` to
52 * reflect the fact that the vCPU is no longer locked.
53 */
54void vcpu_unlock(struct vcpu_locked *locked)
55{
56 sl_unlock(&locked->vcpu->lock);
57 locked->vcpu = NULL;
58}
59
60void vcpu_init(struct vcpu *vcpu, struct vm *vm)
61{
62 memset_s(vcpu, sizeof(*vcpu), 0, sizeof(*vcpu));
63 sl_init(&vcpu->lock);
64 vcpu->regs_available = true;
65 vcpu->vm = vm;
66 vcpu->state = VCPU_STATE_OFF;
Kathleen Capellae468c112023-12-13 17:56:28 -050067 vcpu->direct_request_origin.is_ffa_req2 = false;
68 vcpu->direct_request_origin.vm_id = HF_INVALID_VM_ID;
Olivier Deprezb2808332023-02-02 15:25:40 +010069 vcpu->rt_model = RTM_SP_INIT;
Madhukar Pappireddyeed861e2024-09-25 13:50:54 -050070 list_init(&vcpu->timer_node);
Daniel Boulby7011b5a2024-10-15 18:27:26 +010071 list_init(&vcpu->ipi_list_node);
Fuad Tabba5c738432019-12-02 11:02:42 +000072}
73
74/**
75 * Initialise the registers for the given vCPU and set the state to
Madhukar Pappireddyb11e0d12021-08-02 19:44:35 -050076 * VCPU_STATE_WAITING. The caller must hold the vCPU lock while calling this.
Fuad Tabba5c738432019-12-02 11:02:42 +000077 */
78void vcpu_on(struct vcpu_locked vcpu, ipaddr_t entry, uintreg_t arg)
79{
80 arch_regs_set_pc_arg(&vcpu.vcpu->regs, entry, arg);
Madhukar Pappireddyb11e0d12021-08-02 19:44:35 -050081 vcpu.vcpu->state = VCPU_STATE_WAITING;
Fuad Tabba5c738432019-12-02 11:02:42 +000082}
83
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010084ffa_vcpu_index_t vcpu_index(const struct vcpu *vcpu)
Fuad Tabba5c738432019-12-02 11:02:42 +000085{
86 size_t index = vcpu - vcpu->vm->vcpus;
87
88 CHECK(index < UINT16_MAX);
89 return index;
90}
91
92/**
93 * Check whether the given vcpu_state is an off state, for the purpose of
Madhukar Pappireddyb11e0d12021-08-02 19:44:35 -050094 * turning vCPUs on and off. Note that Aborted still counts as ON for the
95 * purposes of PSCI, because according to the PSCI specification (section
Olivier Depreze7eb1682022-03-16 17:09:03 +010096 * 5.7.1) a core is only considered to be off if it has been turned off
97 * with a CPU_OFF call or hasn't yet been turned on with a CPU_ON call.
Fuad Tabba5c738432019-12-02 11:02:42 +000098 */
99bool vcpu_is_off(struct vcpu_locked vcpu)
100{
Madhukar Pappireddyb11e0d12021-08-02 19:44:35 -0500101 return (vcpu.vcpu->state == VCPU_STATE_OFF);
Fuad Tabba5c738432019-12-02 11:02:42 +0000102}
103
104/**
105 * Starts a vCPU of a secondary VM.
106 *
107 * Returns true if the secondary was reset and started, or false if it was
108 * already on and so nothing was done.
109 */
Max Shvetsov40108e72020-08-27 12:39:50 +0100110bool vcpu_secondary_reset_and_start(struct vcpu_locked vcpu_locked,
111 ipaddr_t entry, uintreg_t arg)
Fuad Tabba5c738432019-12-02 11:02:42 +0000112{
Max Shvetsov40108e72020-08-27 12:39:50 +0100113 struct vm *vm = vcpu_locked.vcpu->vm;
Fuad Tabba5c738432019-12-02 11:02:42 +0000114 bool vcpu_was_off;
115
116 CHECK(vm->id != HF_PRIMARY_VM_ID);
117
Fuad Tabba5c738432019-12-02 11:02:42 +0000118 vcpu_was_off = vcpu_is_off(vcpu_locked);
119 if (vcpu_was_off) {
120 /*
121 * Set vCPU registers to a clean state ready for boot. As this
122 * is a secondary which can migrate between pCPUs, the ID of the
123 * vCPU is defined as the index and does not match the ID of the
124 * pCPU it is running on.
125 */
Max Shvetsov40108e72020-08-27 12:39:50 +0100126 arch_regs_reset(vcpu_locked.vcpu);
Fuad Tabba5c738432019-12-02 11:02:42 +0000127 vcpu_on(vcpu_locked, entry, arg);
128 }
Fuad Tabba5c738432019-12-02 11:02:42 +0000129
130 return vcpu_was_off;
131}
132
133/**
134 * Handles a page fault. It does so by determining if it's a legitimate or
135 * spurious fault, and recovering from the latter.
136 *
Fuad Tabbaed294af2019-12-20 10:43:01 +0000137 * Returns true if the caller should resume the current vCPU, or false if its VM
Fuad Tabba5c738432019-12-02 11:02:42 +0000138 * should be aborted.
139 */
140bool vcpu_handle_page_fault(const struct vcpu *current,
141 struct vcpu_fault_info *f)
142{
143 struct vm *vm = current->vm;
144 uint32_t mode;
145 uint32_t mask = f->mode | MM_MODE_INVALID;
146 bool resume;
Raghu Krishnamurthy785d52f2021-02-13 00:02:40 -0800147 struct vm_locked locked_vm;
Fuad Tabba5c738432019-12-02 11:02:42 +0000148
Raghu Krishnamurthy785d52f2021-02-13 00:02:40 -0800149 locked_vm = vm_lock(vm);
Fuad Tabba5c738432019-12-02 11:02:42 +0000150 /*
151 * Check if this is a legitimate fault, i.e., if the page table doesn't
152 * allow the access attempted by the VM.
153 *
154 * Otherwise, this is a spurious fault, likely because another CPU is
155 * updating the page table. It is responsible for issuing global TLB
156 * invalidations while holding the VM lock, so we don't need to do
157 * anything else to recover from it. (Acquiring/releasing the lock
158 * ensured that the invalidations have completed.)
159 */
Raghu Krishnamurthyb5775d22021-02-26 18:54:40 -0800160 if (!locked_vm.vm->el0_partition) {
161 resume = vm_mem_get_mode(locked_vm, f->ipaddr,
162 ipa_add(f->ipaddr, 1), &mode) &&
163 (mode & mask) == f->mode;
164 } else {
165 /*
166 * For EL0 partitions we need to get the mode for the faulting
167 * vaddr.
168 */
169 resume =
170 vm_mem_get_mode(locked_vm, ipa_init(va_addr(f->vaddr)),
171 ipa_add(ipa_init(va_addr(f->vaddr)), 1),
172 &mode) &&
173 (mode & mask) == f->mode;
Raghu Krishnamurthyf16b2ce2021-11-02 07:48:38 -0700174
175 /*
176 * For EL0 partitions, if there is an instruction abort and the
177 * mode of the page is RWX, we don't resume since Hafnium does
178 * not allow write and executable pages.
179 */
180 if ((f->mode == MM_MODE_X) &&
181 ((mode & MM_MODE_W) == MM_MODE_W)) {
182 resume = false;
183 }
Raghu Krishnamurthyb5775d22021-02-26 18:54:40 -0800184 }
Fuad Tabba5c738432019-12-02 11:02:42 +0000185
Raghu Krishnamurthy785d52f2021-02-13 00:02:40 -0800186 vm_unlock(&locked_vm);
Fuad Tabba5c738432019-12-02 11:02:42 +0000187
188 if (!resume) {
Andrew Walbran17eebf92020-02-05 16:35:49 +0000189 dlog_warning(
Karl Meakine8937d92024-03-19 16:04:25 +0000190 "Stage-%d page fault: pc=%#lx, vmid=%#x, vcpu=%u, "
191 "vaddr=%#lx, ipaddr=%#lx, mode=%#x %#x\n",
192 current->vm->el0_partition ? 1 : 2, va_addr(f->pc),
193 vm->id, vcpu_index(current), va_addr(f->vaddr),
194 ipa_addr(f->ipaddr), f->mode, mode);
Fuad Tabba5c738432019-12-02 11:02:42 +0000195 }
196
197 return resume;
198}
Olivier Deprez2ebae3a2020-06-11 16:34:30 +0200199
J-Alves7ac49052022-02-08 17:20:53 +0000200void vcpu_set_phys_core_idx(struct vcpu *vcpu)
201{
202 arch_regs_set_gp_reg(&vcpu->regs, cpu_index(vcpu->cpu),
203 PHYS_CORE_IDX_GP_REG);
204}
Olivier Deprez181074b2023-02-02 14:53:23 +0100205
206/**
Olivier Deprez632249e2022-09-26 09:18:31 +0200207 * Sets the designated GP register through which the vCPU expects to receive the
208 * boot info's address.
209 */
210void vcpu_set_boot_info_gp_reg(struct vcpu *vcpu)
211{
212 struct vm *vm = vcpu->vm;
213 uint32_t gp_register_num = vm->boot_info.gp_register_num;
214
215 if (vm->boot_info.blob_addr.ipa != 0U) {
216 arch_regs_set_gp_reg(&vcpu->regs,
217 ipa_addr(vm->boot_info.blob_addr),
218 gp_register_num);
219 }
220}
221
J-Alvesb8730e92024-08-07 18:28:55 +0100222void vcpu_interrupt_clear_decrement(struct vcpu_locked vcpu_locked,
223 uint32_t intid)
224{
225 struct interrupts *interrupts = &(vcpu_locked.vcpu->interrupts);
226
Daniel Boulby1f2babf2024-08-29 16:39:47 +0100227 /* Clear any specifics for the current intid. */
228 switch (intid) {
229 case HF_IPI_INTID:
230 vcpu_ipi_clear_info_get_retrieved(vcpu_locked);
231 break;
232 default:
233 /* Do no additional work. */
234 break;
235 }
236
J-Alvesb8730e92024-08-07 18:28:55 +0100237 vcpu_virt_interrupt_clear_pending(interrupts, intid);
238 vcpu_interrupt_count_decrement(vcpu_locked, interrupts, intid);
239}
240
J-Alves0247fe62024-02-23 10:21:46 +0000241/**
242 * Sets the vcpu in the VCPU_STATE_RUNNING.
J-Alves67a79262024-07-17 12:01:39 +0100243 * With that, its register are set as "not available".
244 * If there are registers to be written to vCPU's context, do so.
245 * However, this action is restricted to WAITING and BLOCKED states,
246 * as such, assert accordingly.
J-Alves0247fe62024-02-23 10:21:46 +0000247 */
J-Alves478faac2024-10-23 10:35:57 +0100248void vcpu_set_running(struct vcpu_locked target_locked,
249 const struct ffa_value *args)
J-Alves12cedae2023-08-04 14:37:37 +0100250{
251 struct vcpu *target_vcpu = target_locked.vcpu;
252
J-Alves67a79262024-07-17 12:01:39 +0100253 if (args != NULL) {
J-Alves0247fe62024-02-23 10:21:46 +0000254 CHECK(target_vcpu->regs_available);
J-Alves67a79262024-07-17 12:01:39 +0100255 assert(target_vcpu->state == VCPU_STATE_WAITING ||
256 target_vcpu->state == VCPU_STATE_BLOCKED);
J-Alves0247fe62024-02-23 10:21:46 +0000257
258 arch_regs_set_retval(&target_vcpu->regs, *args);
259 }
J-Alves12cedae2023-08-04 14:37:37 +0100260
261 /* Mark the registers as unavailable now. */
262 target_vcpu->regs_available = false;
263
264 /* We are about to resume target vCPU. */
265 target_vcpu->state = VCPU_STATE_RUNNING;
266}
267
268/**
J-Alves12cedae2023-08-04 14:37:37 +0100269 * It injects a virtual interrupt in the vcpu if is enabled and is not pending.
270 */
271void vcpu_interrupt_inject(struct vcpu_locked target_locked, uint32_t intid)
272{
273 struct vcpu *target_vcpu = target_locked.vcpu;
274 struct interrupts *interrupts = &target_vcpu->interrupts;
275
276 /*
277 * We only need to change state and (maybe) trigger a virtual interrupt
278 * if it is enabled and was not previously pending. Otherwise we can
279 * skip everything except setting the pending bit.
280 */
Daniel Boulbyd49d0772025-01-15 11:19:36 +0000281 if ((vcpu_is_virt_interrupt_enabled(interrupts, intid) &&
282 !vcpu_is_virt_interrupt_pending(interrupts, intid))) {
283 /* Increment the count. */
284 vcpu_interrupt_count_increment(target_locked, interrupts,
285 intid);
J-Alves12cedae2023-08-04 14:37:37 +0100286 }
287
J-Alves12cedae2023-08-04 14:37:37 +0100288 /* Either way, make it pending. */
289 vcpu_virt_interrupt_set_pending(interrupts, intid);
290}
291
J-Alves12cedae2023-08-04 14:37:37 +0100292void vcpu_enter_secure_interrupt_rtm(struct vcpu_locked vcpu_locked)
293{
294 struct vcpu *target_vcpu = vcpu_locked.vcpu;
295
296 assert(target_vcpu->scheduling_mode == NONE);
297 assert(target_vcpu->call_chain.prev_node == NULL);
298 assert(target_vcpu->call_chain.next_node == NULL);
299 assert(target_vcpu->rt_model == RTM_NONE);
300
301 target_vcpu->scheduling_mode = SPMC_MODE;
302 target_vcpu->rt_model = RTM_SEC_INTERRUPT;
303}
Madhukar Pappireddy32913cb2024-07-19 13:04:05 -0500304
305static uint16_t queue_increment_index(uint16_t current_idx)
306{
307 /* Look at the next index. Wrap around if necessary. */
308 if (current_idx == VINT_QUEUE_MAX - 1) {
309 return 0;
310 }
311
312 return current_idx + 1;
313}
314
315static bool is_queue_empty(struct interrupt_queue *q)
316{
317 if (q->head == q->tail) {
318 return true;
319 }
320
321 return false;
322}
323
324/**
325 * Queue the pending virtual interrupt for target vCPU.
326 *
327 * Returns true if successful in pushing a new entry to the queue, or false
328 * otherwise.
329 */
330bool vcpu_interrupt_queue_push(struct vcpu_locked vcpu_locked, uint32_t vint_id)
331{
332 struct interrupt_queue *q;
333 uint16_t new_tail;
334
335 assert(vint_id != HF_INVALID_INTID);
336
337 q = &vcpu_locked.vcpu->interrupts.vint_q;
338
339 /*
340 * A new entry is pushed at the tail of the queue. Upon successful
341 * push operation, the tail increments or wraps around.
342 */
343 new_tail = queue_increment_index(q->tail);
344
345 /* If new_tail reaches head of the queue, then the queue is full. */
346 if (new_tail == q->head) {
347 return false;
348 }
349
350 /* Add the virtual interrupt to the queue. */
351 q->vint_buffer[q->tail] = vint_id;
352 q->tail = new_tail;
353
354 return true;
355}
356
357/**
358 * Remove an entry from the specified vCPU's queue at the head.
359 *
360 * Returns true if successful in removing the entry, or false otherwise.
361 */
362bool vcpu_interrupt_queue_pop(struct vcpu_locked vcpu_locked, uint32_t *vint_id)
363{
364 struct interrupt_queue *q;
365 uint16_t new_head;
366
367 assert(vint_id != NULL);
368
369 q = &vcpu_locked.vcpu->interrupts.vint_q;
370
371 /* Check if queue is empty. */
372 if (is_queue_empty(q)) {
373 return false;
374 }
375
376 /*
377 * An entry is removed from the head of the queue. Once successful, the
378 * head is incremented or wrapped around if needed.
379 */
380 new_head = queue_increment_index(q->head);
381 *vint_id = q->vint_buffer[q->head];
382 q->head = new_head;
383
384 return true;
385}
386
387/**
388 * Look for the first pending virtual interrupt from the vcpu's queue. Note
389 * that the entry is not removed from the queue.
390 *
391 * Returns true if a valid entry exists in the queue, or false otherwise.
392 */
393bool vcpu_interrupt_queue_peek(struct vcpu_locked vcpu_locked,
394 uint32_t *vint_id)
395{
396 struct interrupt_queue *q;
397 uint32_t queued_vint;
398
399 assert(vint_id != NULL);
400
401 q = &vcpu_locked.vcpu->interrupts.vint_q;
402
403 /* Check if queue is empty. */
404 if (is_queue_empty(q)) {
405 return false;
406 }
407
408 queued_vint = q->vint_buffer[q->head];
409 assert(queued_vint != HF_INVALID_INTID);
410
411 *vint_id = queued_vint;
412 return true;
413}
414
415/**
416 * Find if a specific virtual interrupt exists in the specified vCPU's queue.
417 *
418 * Returns true if such an entry exists in the queue, or false otherwise.
419 */
420bool vcpu_is_interrupt_in_queue(struct vcpu_locked vcpu_locked,
421 uint32_t vint_id)
422{
423 struct interrupt_queue *q;
424 uint16_t next;
425
426 assert(vint_id != HF_INVALID_INTID);
427
428 q = &vcpu_locked.vcpu->interrupts.vint_q;
429
430 /* Check if the queue is empty. */
431 if (is_queue_empty(q)) {
432 return false;
433 }
434
435 next = q->head;
436 while (true) {
437 /* Match found. */
438 if (q->vint_buffer[next] == vint_id) {
439 return true;
440 }
441
442 next = queue_increment_index(next);
443
444 /* Reached the end of queue. */
445 if (next == q->tail) {
446 break;
447 }
448 }
449
450 return false;
451}
452
453/**
454 * Check if there are any entries in the interrupt queue.
455 *
456 * Returns true if queue is empty, or false otherwise.
457 */
458bool vcpu_is_interrupt_queue_empty(struct vcpu_locked vcpu_locked)
459{
460 struct interrupt_queue *q;
461
462 q = &vcpu_locked.vcpu->interrupts.vint_q;
463
464 if (is_queue_empty(q)) {
465 return true;
466 }
467
468 return false;
469}
J-Alves3b31f092024-08-07 13:26:29 +0100470
471/**
472 * When interrupt handling is complete the preempted_vcpu field should go back
473 * to NULL.
474 */
475void vcpu_secure_interrupt_complete(struct vcpu_locked vcpu_locked)
476{
477 struct vcpu *vcpu;
478
479 vcpu = vcpu_locked.vcpu;
480 vcpu->preempted_vcpu = NULL;
J-Alvesac940752024-08-07 14:02:51 +0100481 vcpu->requires_deactivate_call = false;
J-Alves3b31f092024-08-07 13:26:29 +0100482}