blob: 8df4fe27832a664a8fb150f83646a2e6c2ec9d1d [file] [log] [blame]
Andrew Scull18834872018-10-12 11:48:09 +01001/*
Andrew Walbran692b3252019-03-07 15:51:31 +00002 * Copyright 2018 The Hafnium Authors.
Andrew Scull18834872018-10-12 11:48:09 +01003 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * https://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Andrew Scull18c78fc2018-08-20 12:57:41 +010017#include "hf/load.h"
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010018
19#include <stdbool.h>
20
Andrew Scull18c78fc2018-08-20 12:57:41 +010021#include "hf/api.h"
Andrew Walbran34ce72e2018-09-13 16:47:44 +010022#include "hf/boot_params.h"
Andrew Scull72b43c02019-09-18 13:53:45 +010023#include "hf/check.h"
Andrew Scull18c78fc2018-08-20 12:57:41 +010024#include "hf/dlog.h"
Andrew Scull5991ec92018-10-08 14:55:02 +010025#include "hf/layout.h"
Andrew Scull18c78fc2018-08-20 12:57:41 +010026#include "hf/memiter.h"
27#include "hf/mm.h"
Andrew Walbran48699362019-05-20 14:38:00 +010028#include "hf/plat/console.h"
Andrew Scull877ae4b2019-07-02 12:52:33 +010029#include "hf/static_assert.h"
Andrew Scull8d9e1212019-04-05 13:52:55 +010030#include "hf/std.h"
Andrew Scull18c78fc2018-08-20 12:57:41 +010031#include "hf/vm.h"
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010032
Andrew Scull19503262018-09-20 14:48:39 +010033#include "vmapi/hf/call.h"
34
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010035/**
36 * Copies data to an unmapped location by mapping it for write, copying the
37 * data, then unmapping it.
Andrew Sculld9225b32018-11-19 16:12:41 +000038 *
39 * The data is written so that it is available to all cores with the cache
40 * disabled. When switching to the partitions, the caching is initially disabled
41 * so the data must be available without the cache.
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010042 */
Andrew Scull3c0a90a2019-07-01 11:55:53 +010043static bool copy_to_unmapped(struct mm_stage1_locked stage1_locked, paddr_t to,
David Brazdil7a462ec2019-08-15 12:27:47 +010044 struct memiter *from_it, struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010045{
David Brazdil7a462ec2019-08-15 12:27:47 +010046 const void *from = memiter_base(from_it);
47 size_t size = memiter_size(from_it);
Andrew Scull80871322018-08-06 12:04:09 +010048 paddr_t to_end = pa_add(to, size);
49 void *ptr;
Andrew Scull265ada92018-07-30 15:19:01 +010050
Andrew Scull3c0a90a2019-07-01 11:55:53 +010051 ptr = mm_identity_map(stage1_locked, to, to_end, MM_MODE_W, ppool);
Andrew Scull80871322018-08-06 12:04:09 +010052 if (!ptr) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010053 return false;
54 }
55
Andrew Sculla1aa2ba2019-04-05 11:49:02 +010056 memcpy_s(ptr, size, from, size);
Andrew Scullc059fbe2019-09-12 12:58:40 +010057 arch_mm_flush_dcache(ptr, size);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010058
Andrew Scull72b43c02019-09-18 13:53:45 +010059 CHECK(mm_unmap(stage1_locked, to, to_end, ppool));
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010060
61 return true;
62}
63
Andrew Scull72b43c02019-09-18 13:53:45 +010064static bool load_kernel(struct mm_stage1_locked stage1_locked, paddr_t begin,
65 paddr_t end, const struct manifest_vm *manifest_vm,
66 const struct memiter *cpio, struct mpool *ppool)
67{
Andrew Scull72b43c02019-09-18 13:53:45 +010068 struct memiter kernel;
69
David Brazdil136f2942019-09-23 14:11:03 +010070 if (string_is_empty(&manifest_vm->kernel_filename)) {
Andrew Scull72b43c02019-09-18 13:53:45 +010071 /* This signals the kernel has been preloaded. */
72 return true;
73 }
74
David Brazdil136f2942019-09-23 14:11:03 +010075 if (!cpio_get_file(cpio, &manifest_vm->kernel_filename, &kernel)) {
Andrew Scull72b43c02019-09-18 13:53:45 +010076 dlog("Could not find kernel file \"%s\".\n",
David Brazdil136f2942019-09-23 14:11:03 +010077 string_data(&manifest_vm->kernel_filename));
Andrew Scull72b43c02019-09-18 13:53:45 +010078 return false;
79 }
80
81 if (pa_difference(begin, end) < memiter_size(&kernel)) {
82 dlog("Kernel is larger than available memory.\n");
83 return false;
84 }
85
86 if (!copy_to_unmapped(stage1_locked, begin, &kernel, ppool)) {
87 dlog("Unable to copy kernel.\n");
88 return false;
89 }
90
91 return true;
92}
93
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010094/**
95 * Loads the primary VM.
96 */
Andrew Scull72b43c02019-09-18 13:53:45 +010097static bool load_primary(struct mm_stage1_locked stage1_locked,
98 const struct manifest *manifest,
Andrew Scullb5f49e02019-10-02 13:20:47 +010099 const struct memiter *cpio,
100 const struct boot_params *params, struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100101{
Andrew Scullf16c0c22018-10-26 18:41:24 +0100102 paddr_t primary_begin = layout_primary_begin();
David Brazdile6f83222019-09-23 14:47:37 +0100103 struct vm *vm;
104 struct vcpu_locked vcpu_locked;
Andrew Scullb5f49e02019-10-02 13:20:47 +0100105 size_t i;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100106
Andrew Scull72b43c02019-09-18 13:53:45 +0100107 /*
108 * TODO: This bound is currently meaningless but will be addressed when
109 * the manifest specifies the load address.
110 */
111 paddr_t primary_end = pa_add(primary_begin, 0x8000000);
112
David Brazdile6f83222019-09-23 14:47:37 +0100113 if (!load_kernel(stage1_locked, primary_begin, primary_end,
114 &manifest->vm[HF_PRIMARY_VM_INDEX], cpio, ppool)) {
Andrew Scull72b43c02019-09-18 13:53:45 +0100115 dlog("Unable to load primary kernel.");
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100116 return false;
117 }
118
David Brazdile6f83222019-09-23 14:47:37 +0100119 if (!vm_init(MAX_CPUS, ppool, &vm)) {
120 dlog("Unable to initialise primary vm\n");
121 return false;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100122 }
123
David Brazdile6f83222019-09-23 14:47:37 +0100124 if (vm->id != HF_PRIMARY_VM_ID) {
125 dlog("Primary vm was not given correct id\n");
126 return false;
127 }
128
Andrew Scullb5f49e02019-10-02 13:20:47 +0100129 /*
130 * Map 1TB of address space as device memory to, most likely, make all
131 * devices available to the primary VM.
132 *
133 * TODO: We should do a whitelist rather than a blacklist.
134 */
David Brazdile6f83222019-09-23 14:47:37 +0100135 if (!mm_vm_identity_map(&vm->ptable, pa_init(0),
136 pa_init(UINT64_C(1024) * 1024 * 1024 * 1024),
Andrew Scullb5f49e02019-10-02 13:20:47 +0100137 MM_MODE_R | MM_MODE_W | MM_MODE_D, NULL,
David Brazdile6f83222019-09-23 14:47:37 +0100138 ppool)) {
Andrew Scullb5f49e02019-10-02 13:20:47 +0100139 dlog("Unable to initialise address space for primary vm\n");
David Brazdile6f83222019-09-23 14:47:37 +0100140 return false;
141 }
142
Andrew Scullb5f49e02019-10-02 13:20:47 +0100143 /* Map normal memory as such to permit caching, execution, etc. */
144 for (i = 0; i < params->mem_ranges_count; ++i) {
145 if (!mm_vm_identity_map(
146 &vm->ptable, params->mem_ranges[i].begin,
147 params->mem_ranges[i].end,
148 MM_MODE_R | MM_MODE_W | MM_MODE_X, NULL, ppool)) {
149 dlog("Unable to initialise memory for primary vm\n");
150 return false;
151 }
152 }
153
David Brazdile6f83222019-09-23 14:47:37 +0100154 if (!mm_vm_unmap_hypervisor(&vm->ptable, ppool)) {
155 dlog("Unable to unmap hypervisor from primary vm\n");
156 return false;
157 }
158
159 vcpu_locked = vcpu_lock(vm_get_vcpu(vm, 0));
Andrew Scullb5f49e02019-10-02 13:20:47 +0100160 vcpu_on(vcpu_locked, ipa_from_pa(primary_begin), params->kernel_arg);
David Brazdile6f83222019-09-23 14:47:37 +0100161 vcpu_unlock(&vcpu_locked);
162
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100163 return true;
164}
165
Andrew Scull72b43c02019-09-18 13:53:45 +0100166/*
167 * Loads a secondary VM.
168 */
169static bool load_secondary(struct mm_stage1_locked stage1_locked,
170 paddr_t mem_begin, paddr_t mem_end,
171 const struct manifest_vm *manifest_vm,
172 const struct memiter *cpio, struct mpool *ppool)
173{
174 struct vm *vm;
175 struct vcpu *vcpu;
176 ipaddr_t secondary_entry;
177
178 if (!load_kernel(stage1_locked, mem_begin, mem_end, manifest_vm, cpio,
179 ppool)) {
180 dlog("Unable to load kernel.\n");
181 return false;
182 }
183
184 if (!vm_init(manifest_vm->secondary.vcpu_count, ppool, &vm)) {
185 dlog("Unable to initialise VM.\n");
186 return false;
187 }
188
189 /* Grant the VM access to the memory. */
190 if (!mm_vm_identity_map(&vm->ptable, mem_begin, mem_end,
191 MM_MODE_R | MM_MODE_W | MM_MODE_X,
192 &secondary_entry, ppool)) {
193 dlog("Unable to initialise memory.\n");
194 return false;
195 }
196
197 dlog("Loaded with %u vcpus, entry at %#x.\n",
198 manifest_vm->secondary.vcpu_count, pa_addr(mem_begin));
199
200 vcpu = vm_get_vcpu(vm, 0);
201 vcpu_secondary_reset_and_start(vcpu, secondary_entry,
202 pa_difference(mem_begin, mem_end));
203
204 return true;
205}
206
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100207/**
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100208 * Try to find a memory range of the given size within the given ranges, and
209 * remove it from them. Return true on success, or false if no large enough
210 * contiguous range is found.
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100211 */
Hong-Seok Kim09648362019-05-23 15:47:11 +0900212static bool carve_out_mem_range(struct mem_range *mem_ranges,
213 size_t mem_ranges_count, uint64_t size_to_find,
214 paddr_t *found_begin, paddr_t *found_end)
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100215{
216 size_t i;
217
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000218 /*
219 * TODO(b/116191358): Consider being cleverer about how we pack VMs
220 * together, with a non-greedy algorithm.
221 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100222 for (i = 0; i < mem_ranges_count; ++i) {
223 if (size_to_find <=
Andrew Walbran2cb43392019-04-17 12:52:45 +0100224 pa_difference(mem_ranges[i].begin, mem_ranges[i].end)) {
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100225 /*
226 * This range is big enough, take some of it from the
227 * end and reduce its size accordingly.
228 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100229 *found_end = mem_ranges[i].end;
230 *found_begin = pa_init(pa_addr(mem_ranges[i].end) -
231 size_to_find);
232 mem_ranges[i].end = *found_begin;
233 return true;
234 }
235 }
236 return false;
237}
238
239/**
240 * Given arrays of memory ranges before and after memory was removed for
241 * secondary VMs, add the difference to the reserved ranges of the given update.
242 * Return true on success, or false if there would be more than MAX_MEM_RANGES
243 * reserved ranges after adding the new ones.
244 * `before` and `after` must be arrays of exactly `mem_ranges_count` elements.
245 */
Hong-Seok Kim09648362019-05-23 15:47:11 +0900246static bool update_reserved_ranges(struct boot_params_update *update,
247 const struct mem_range *before,
248 const struct mem_range *after,
249 size_t mem_ranges_count)
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100250{
251 size_t i;
252
253 for (i = 0; i < mem_ranges_count; ++i) {
254 if (pa_addr(after[i].begin) > pa_addr(before[i].begin)) {
255 if (update->reserved_ranges_count >= MAX_MEM_RANGES) {
256 dlog("Too many reserved ranges after loading "
257 "secondary VMs.\n");
258 return false;
259 }
260 update->reserved_ranges[update->reserved_ranges_count]
261 .begin = before[i].begin;
262 update->reserved_ranges[update->reserved_ranges_count]
263 .end = after[i].begin;
264 update->reserved_ranges_count++;
265 }
266 if (pa_addr(after[i].end) < pa_addr(before[i].end)) {
267 if (update->reserved_ranges_count >= MAX_MEM_RANGES) {
268 dlog("Too many reserved ranges after loading "
269 "secondary VMs.\n");
270 return false;
271 }
272 update->reserved_ranges[update->reserved_ranges_count]
273 .begin = after[i].end;
274 update->reserved_ranges[update->reserved_ranges_count]
275 .end = before[i].end;
276 update->reserved_ranges_count++;
277 }
278 }
279
280 return true;
281}
282
Andrew Scull72b43c02019-09-18 13:53:45 +0100283/*
284 * Loads alls VMs from the manifest.
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100285 */
Andrew Scull72b43c02019-09-18 13:53:45 +0100286bool load_vms(struct mm_stage1_locked stage1_locked,
287 const struct manifest *manifest, const struct memiter *cpio,
288 const struct boot_params *params,
289 struct boot_params_update *update, struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100290{
Andrew Scull19503262018-09-20 14:48:39 +0100291 struct vm *primary;
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100292 struct mem_range mem_ranges_available[MAX_MEM_RANGES];
293 size_t i;
294
Andrew Scullb5f49e02019-10-02 13:20:47 +0100295 if (!load_primary(stage1_locked, manifest, cpio, params, ppool)) {
Andrew Scull72b43c02019-09-18 13:53:45 +0100296 dlog("Unable to load primary VM.\n");
297 return false;
298 }
299
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100300 static_assert(
301 sizeof(mem_ranges_available) == sizeof(params->mem_ranges),
302 "mem_range arrays must be the same size for memcpy.");
303 static_assert(sizeof(mem_ranges_available) < 500,
304 "This will use too much stack, either make "
305 "MAX_MEM_RANGES smaller or change this.");
Andrew Sculla1aa2ba2019-04-05 11:49:02 +0100306 memcpy_s(mem_ranges_available, sizeof(mem_ranges_available),
307 params->mem_ranges, sizeof(params->mem_ranges));
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100308
Andrew Walbran42347a92019-05-09 13:59:03 +0100309 primary = vm_find(HF_PRIMARY_VM_ID);
Andrew Scull19503262018-09-20 14:48:39 +0100310
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100311 /* Round the last addresses down to the page size. */
312 for (i = 0; i < params->mem_ranges_count; ++i) {
Alfredo Mazzinghieb1997c2019-02-07 18:00:01 +0000313 mem_ranges_available[i].end = pa_init(align_down(
314 pa_addr(mem_ranges_available[i].end), PAGE_SIZE));
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100315 }
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100316
David Brazdil0251b942019-09-10 15:59:50 +0100317 for (i = 0; i < manifest->vm_count; ++i) {
David Brazdil0dbb41f2019-09-09 18:03:35 +0100318 const struct manifest_vm *manifest_vm = &manifest->vm[i];
David Brazdil7a462ec2019-08-15 12:27:47 +0100319 spci_vm_id_t vm_id = HF_VM_ID_OFFSET + i;
David Brazdil7a462ec2019-08-15 12:27:47 +0100320 uint64_t mem_size;
Andrew Scull80871322018-08-06 12:04:09 +0100321 paddr_t secondary_mem_begin;
322 paddr_t secondary_mem_end;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100323
David Brazdil7a462ec2019-08-15 12:27:47 +0100324 if (vm_id == HF_PRIMARY_VM_ID) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100325 continue;
326 }
327
David Brazdil0dbb41f2019-09-09 18:03:35 +0100328 dlog("Loading VM%d: %s.\n", (int)vm_id,
329 manifest_vm->debug_name);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100330
David Brazdil7a462ec2019-08-15 12:27:47 +0100331 mem_size = align_up(manifest_vm->secondary.mem_size, PAGE_SIZE);
David Brazdil7a462ec2019-08-15 12:27:47 +0100332 if (!carve_out_mem_range(mem_ranges_available,
333 params->mem_ranges_count, mem_size,
334 &secondary_mem_begin,
335 &secondary_mem_end)) {
Andrew Scull72b43c02019-09-18 13:53:45 +0100336 dlog("Not enough memory (%u bytes).\n", mem_size);
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100337 continue;
338 }
Andrew Scull80871322018-08-06 12:04:09 +0100339
Andrew Scull72b43c02019-09-18 13:53:45 +0100340 if (!load_secondary(stage1_locked, secondary_mem_begin,
341 secondary_mem_end, manifest_vm, cpio,
342 ppool)) {
343 dlog("Unable to load VM.\n");
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100344 continue;
345 }
346
347 /* Deny the primary VM access to this memory. */
Andrew Scull19503262018-09-20 14:48:39 +0100348 if (!mm_vm_unmap(&primary->ptable, secondary_mem_begin,
Andrew Scullda241972019-01-05 18:17:48 +0000349 secondary_mem_end, ppool)) {
Andrew Scull72b43c02019-09-18 13:53:45 +0100350 dlog("Unable to unmap secondary VM from primary VM.\n");
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100351 return false;
352 }
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100353 }
354
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100355 /*
356 * Add newly reserved areas to update params by looking at the
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100357 * difference between the available ranges from the original params and
358 * the updated mem_ranges_available. We assume that the number and order
359 * of available ranges is the same, i.e. we don't remove any ranges
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100360 * above only make them smaller.
361 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100362 return update_reserved_ranges(update, params->mem_ranges,
363 mem_ranges_available,
364 params->mem_ranges_count);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100365}