blob: 2c79ae5265e1861cbeba7fd6739e8059536b9b83 [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
18/**
19 * Locks the given vCPU and updates `locked` to hold the newly locked vCPU.
20 */
21struct vcpu_locked vcpu_lock(struct vcpu *vcpu)
22{
23 struct vcpu_locked locked = {
24 .vcpu = vcpu,
25 };
26
27 sl_lock(&vcpu->lock);
28
29 return locked;
30}
31
32/**
Olivier Deprez0b6f10a2020-08-05 18:21:33 +020033 * Locks two vCPUs ensuring that the locking order is according to the locks'
34 * addresses.
35 */
36struct two_vcpu_locked vcpu_lock_both(struct vcpu *vcpu1, struct vcpu *vcpu2)
37{
38 struct two_vcpu_locked dual_lock;
39
40 sl_lock_both(&vcpu1->lock, &vcpu2->lock);
41 dual_lock.vcpu1.vcpu = vcpu1;
42 dual_lock.vcpu2.vcpu = vcpu2;
43
44 return dual_lock;
45}
46
47/**
Fuad Tabba5c738432019-12-02 11:02:42 +000048 * Unlocks a vCPU previously locked with vpu_lock, and updates `locked` to
49 * reflect the fact that the vCPU is no longer locked.
50 */
51void vcpu_unlock(struct vcpu_locked *locked)
52{
53 sl_unlock(&locked->vcpu->lock);
54 locked->vcpu = NULL;
55}
56
57void vcpu_init(struct vcpu *vcpu, struct vm *vm)
58{
59 memset_s(vcpu, sizeof(*vcpu), 0, sizeof(*vcpu));
60 sl_init(&vcpu->lock);
61 vcpu->regs_available = true;
62 vcpu->vm = vm;
63 vcpu->state = VCPU_STATE_OFF;
Olivier Deprezee9d6a92019-11-26 09:14:11 +000064 vcpu->direct_request_origin_vm_id = HF_INVALID_VM_ID;
Fuad Tabba5c738432019-12-02 11:02:42 +000065}
66
67/**
68 * Initialise the registers for the given vCPU and set the state to
Madhukar Pappireddyb11e0d12021-08-02 19:44:35 -050069 * VCPU_STATE_WAITING. The caller must hold the vCPU lock while calling this.
Fuad Tabba5c738432019-12-02 11:02:42 +000070 */
71void vcpu_on(struct vcpu_locked vcpu, ipaddr_t entry, uintreg_t arg)
72{
73 arch_regs_set_pc_arg(&vcpu.vcpu->regs, entry, arg);
Madhukar Pappireddyb11e0d12021-08-02 19:44:35 -050074 vcpu.vcpu->state = VCPU_STATE_WAITING;
Fuad Tabba5c738432019-12-02 11:02:42 +000075}
76
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010077ffa_vcpu_index_t vcpu_index(const struct vcpu *vcpu)
Fuad Tabba5c738432019-12-02 11:02:42 +000078{
79 size_t index = vcpu - vcpu->vm->vcpus;
80
81 CHECK(index < UINT16_MAX);
82 return index;
83}
84
85/**
86 * Check whether the given vcpu_state is an off state, for the purpose of
Madhukar Pappireddyb11e0d12021-08-02 19:44:35 -050087 * turning vCPUs on and off. Note that Aborted still counts as ON for the
88 * purposes of PSCI, because according to the PSCI specification (section
89 * 5.7.1) a core is only considered to be off if it has been turned off
90 * with a CPU_OFF call or hasn't yet been turned on with a CPU_ON call.
Fuad Tabba5c738432019-12-02 11:02:42 +000091 */
92bool vcpu_is_off(struct vcpu_locked vcpu)
93{
Madhukar Pappireddyb11e0d12021-08-02 19:44:35 -050094 return (vcpu.vcpu->state == VCPU_STATE_OFF);
Fuad Tabba5c738432019-12-02 11:02:42 +000095}
96
97/**
98 * Starts a vCPU of a secondary VM.
99 *
100 * Returns true if the secondary was reset and started, or false if it was
101 * already on and so nothing was done.
102 */
Max Shvetsov40108e72020-08-27 12:39:50 +0100103bool vcpu_secondary_reset_and_start(struct vcpu_locked vcpu_locked,
104 ipaddr_t entry, uintreg_t arg)
Fuad Tabba5c738432019-12-02 11:02:42 +0000105{
Max Shvetsov40108e72020-08-27 12:39:50 +0100106 struct vm *vm = vcpu_locked.vcpu->vm;
Fuad Tabba5c738432019-12-02 11:02:42 +0000107 bool vcpu_was_off;
108
109 CHECK(vm->id != HF_PRIMARY_VM_ID);
110
Fuad Tabba5c738432019-12-02 11:02:42 +0000111 vcpu_was_off = vcpu_is_off(vcpu_locked);
112 if (vcpu_was_off) {
113 /*
114 * Set vCPU registers to a clean state ready for boot. As this
115 * is a secondary which can migrate between pCPUs, the ID of the
116 * vCPU is defined as the index and does not match the ID of the
117 * pCPU it is running on.
118 */
Max Shvetsov40108e72020-08-27 12:39:50 +0100119 arch_regs_reset(vcpu_locked.vcpu);
Fuad Tabba5c738432019-12-02 11:02:42 +0000120 vcpu_on(vcpu_locked, entry, arg);
121 }
Fuad Tabba5c738432019-12-02 11:02:42 +0000122
123 return vcpu_was_off;
124}
125
126/**
127 * Handles a page fault. It does so by determining if it's a legitimate or
128 * spurious fault, and recovering from the latter.
129 *
Fuad Tabbaed294af2019-12-20 10:43:01 +0000130 * Returns true if the caller should resume the current vCPU, or false if its VM
Fuad Tabba5c738432019-12-02 11:02:42 +0000131 * should be aborted.
132 */
133bool vcpu_handle_page_fault(const struct vcpu *current,
134 struct vcpu_fault_info *f)
135{
136 struct vm *vm = current->vm;
137 uint32_t mode;
138 uint32_t mask = f->mode | MM_MODE_INVALID;
139 bool resume;
Raghu Krishnamurthy785d52f2021-02-13 00:02:40 -0800140 struct vm_locked locked_vm;
Fuad Tabba5c738432019-12-02 11:02:42 +0000141
Raghu Krishnamurthy785d52f2021-02-13 00:02:40 -0800142 locked_vm = vm_lock(vm);
Fuad Tabba5c738432019-12-02 11:02:42 +0000143 /*
144 * Check if this is a legitimate fault, i.e., if the page table doesn't
145 * allow the access attempted by the VM.
146 *
147 * Otherwise, this is a spurious fault, likely because another CPU is
148 * updating the page table. It is responsible for issuing global TLB
149 * invalidations while holding the VM lock, so we don't need to do
150 * anything else to recover from it. (Acquiring/releasing the lock
151 * ensured that the invalidations have completed.)
152 */
Raghu Krishnamurthyb5775d22021-02-26 18:54:40 -0800153 if (!locked_vm.vm->el0_partition) {
154 resume = vm_mem_get_mode(locked_vm, f->ipaddr,
155 ipa_add(f->ipaddr, 1), &mode) &&
156 (mode & mask) == f->mode;
157 } else {
158 /*
159 * For EL0 partitions we need to get the mode for the faulting
160 * vaddr.
161 */
162 resume =
163 vm_mem_get_mode(locked_vm, ipa_init(va_addr(f->vaddr)),
164 ipa_add(ipa_init(va_addr(f->vaddr)), 1),
165 &mode) &&
166 (mode & mask) == f->mode;
167 }
Fuad Tabba5c738432019-12-02 11:02:42 +0000168
Raghu Krishnamurthy785d52f2021-02-13 00:02:40 -0800169 vm_unlock(&locked_vm);
Fuad Tabba5c738432019-12-02 11:02:42 +0000170
171 if (!resume) {
Andrew Walbran17eebf92020-02-05 16:35:49 +0000172 dlog_warning(
Raghu Krishnamurthyb5775d22021-02-26 18:54:40 -0800173 "Stage-%d page fault: pc=%#x, vmid=%#x, vcpu=%u, "
174 "vaddr=%#x, ipaddr=%#x, mode=%#x %#x\n",
175 current->vm->el0_partition ? 1 : 2, f->pc, vm->id,
176 vcpu_index(current), f->vaddr, f->ipaddr, f->mode,
177 mode);
Fuad Tabba5c738432019-12-02 11:02:42 +0000178 }
179
180 return resume;
181}
Olivier Deprez2ebae3a2020-06-11 16:34:30 +0200182
Olivier Depreze6f7b9d2021-02-01 11:55:48 +0100183void vcpu_reset(struct vcpu *vcpu)
184{
Max Shvetsov40108e72020-08-27 12:39:50 +0100185 arch_cpu_init(vcpu->cpu, vcpu->vm->secondary_ep);
Olivier Depreze6f7b9d2021-02-01 11:55:48 +0100186
187 /* Reset the registers to give a clean start for vCPU. */
188 arch_regs_reset(vcpu);
189}