blob: 341f276b7199a57cce899c510a390ad0132605b5 [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 Scull18c78fc2018-08-20 12:57:41 +010023#include "hf/dlog.h"
Andrew Scull5991ec92018-10-08 14:55:02 +010024#include "hf/layout.h"
David Brazdil7a462ec2019-08-15 12:27:47 +010025#include "hf/manifest.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 Sculld9225b32018-11-19 16:12:41 +000057 arch_mm_write_back_dcache(ptr, size);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010058
Andrew Scull3c0a90a2019-07-01 11:55:53 +010059 mm_unmap(stage1_locked, to, to_end, ppool);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010060
61 return true;
62}
63
64/**
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010065 * Looks for a file in the given cpio archive. The filename is not
66 * null-terminated, so we use a memory iterator to represent it. The file, if
67 * found, is returned in the "it" argument.
68 */
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010069static bool memiter_find_file(const struct memiter *cpio,
70 const struct memiter *filename,
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010071 struct memiter *it)
72{
73 const char *fname;
74 const void *fcontents;
75 size_t fsize;
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010076 struct memiter iter = *cpio;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010077
78 while (cpio_next(&iter, &fname, &fcontents, &fsize)) {
79 if (memiter_iseq(filename, fname)) {
80 memiter_init(it, fcontents, fsize);
81 return true;
82 }
83 }
84
85 return false;
86}
87
88/**
89 * Looks for a file in the given cpio archive. The file, if found, is returned
90 * in the "it" argument.
91 */
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010092static bool find_file(const struct memiter *cpio, const char *name,
93 struct memiter *it)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010094{
95 const char *fname;
96 const void *fcontents;
97 size_t fsize;
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010098 struct memiter iter = *cpio;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010099
100 while (cpio_next(&iter, &fname, &fcontents, &fsize)) {
101 if (!strcmp(fname, name)) {
102 memiter_init(it, fcontents, fsize);
103 return true;
104 }
105 }
106
107 return false;
108}
109
110/**
111 * Loads the primary VM.
112 */
Andrew Scull3c0a90a2019-07-01 11:55:53 +0100113bool load_primary(struct mm_stage1_locked stage1_locked,
114 const struct memiter *cpio, uintreg_t kernel_arg,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000115 struct memiter *initrd, struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100116{
117 struct memiter it;
Andrew Scullf16c0c22018-10-26 18:41:24 +0100118 paddr_t primary_begin = layout_primary_begin();
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100119
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +0100120 if (!find_file(cpio, "vmlinuz", &it)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100121 dlog("Unable to find vmlinuz\n");
122 return false;
123 }
124
Andrew Scullf16c0c22018-10-26 18:41:24 +0100125 dlog("Copying primary to %p\n", pa_addr(primary_begin));
David Brazdil7a462ec2019-08-15 12:27:47 +0100126 if (!copy_to_unmapped(stage1_locked, primary_begin, &it, ppool)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100127 dlog("Unable to relocate kernel for primary vm.\n");
128 return false;
129 }
130
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +0100131 if (!find_file(cpio, "initrd.img", initrd)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100132 dlog("Unable to find initrd.img\n");
133 return false;
134 }
135
136 {
Andrew Scull19503262018-09-20 14:48:39 +0100137 struct vm *vm;
Andrew Walbranb58f8992019-04-15 12:29:31 +0100138 struct vcpu_locked vcpu_locked;
Andrew Scull19503262018-09-20 14:48:39 +0100139
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000140 if (!vm_init(MAX_CPUS, ppool, &vm)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100141 dlog("Unable to initialise primary vm\n");
142 return false;
143 }
144
Andrew Scull19503262018-09-20 14:48:39 +0100145 if (vm->id != HF_PRIMARY_VM_ID) {
146 dlog("Primary vm was not given correct id\n");
147 return false;
148 }
149
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100150 /* Map the 1TB of memory. */
151 /* TODO: We should do a whitelist rather than a blacklist. */
Andrew Scull78d6fd92018-09-06 15:08:36 +0100152 if (!mm_vm_identity_map(
Andrew Scull19503262018-09-20 14:48:39 +0100153 &vm->ptable, pa_init(0),
Andrew Scull78d6fd92018-09-06 15:08:36 +0100154 pa_init(UINT64_C(1024) * 1024 * 1024 * 1024),
Andrew Scullda241972019-01-05 18:17:48 +0000155 MM_MODE_R | MM_MODE_W | MM_MODE_X, NULL, ppool)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100156 dlog("Unable to initialise memory for primary vm\n");
157 return false;
158 }
159
Andrew Scullda241972019-01-05 18:17:48 +0000160 if (!mm_vm_unmap_hypervisor(&vm->ptable, ppool)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100161 dlog("Unable to unmap hypervisor from primary vm\n");
162 return false;
163 }
164
Andrew Walbrane1310df2019-04-29 17:28:28 +0100165 vcpu_locked = vcpu_lock(vm_get_vcpu(vm, 0));
Andrew Walbranb58f8992019-04-15 12:29:31 +0100166 vcpu_on(vcpu_locked, ipa_from_pa(primary_begin), kernel_arg);
167 vcpu_unlock(&vcpu_locked);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100168 }
169
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100170 return true;
171}
172
173/**
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100174 * Try to find a memory range of the given size within the given ranges, and
175 * remove it from them. Return true on success, or false if no large enough
176 * contiguous range is found.
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100177 */
Hong-Seok Kim09648362019-05-23 15:47:11 +0900178static bool carve_out_mem_range(struct mem_range *mem_ranges,
179 size_t mem_ranges_count, uint64_t size_to_find,
180 paddr_t *found_begin, paddr_t *found_end)
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100181{
182 size_t i;
183
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000184 /*
185 * TODO(b/116191358): Consider being cleverer about how we pack VMs
186 * together, with a non-greedy algorithm.
187 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100188 for (i = 0; i < mem_ranges_count; ++i) {
189 if (size_to_find <=
Andrew Walbran2cb43392019-04-17 12:52:45 +0100190 pa_difference(mem_ranges[i].begin, mem_ranges[i].end)) {
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100191 /*
192 * This range is big enough, take some of it from the
193 * end and reduce its size accordingly.
194 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100195 *found_end = mem_ranges[i].end;
196 *found_begin = pa_init(pa_addr(mem_ranges[i].end) -
197 size_to_find);
198 mem_ranges[i].end = *found_begin;
199 return true;
200 }
201 }
202 return false;
203}
204
205/**
206 * Given arrays of memory ranges before and after memory was removed for
207 * secondary VMs, add the difference to the reserved ranges of the given update.
208 * Return true on success, or false if there would be more than MAX_MEM_RANGES
209 * reserved ranges after adding the new ones.
210 * `before` and `after` must be arrays of exactly `mem_ranges_count` elements.
211 */
Hong-Seok Kim09648362019-05-23 15:47:11 +0900212static bool update_reserved_ranges(struct boot_params_update *update,
213 const struct mem_range *before,
214 const struct mem_range *after,
215 size_t mem_ranges_count)
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100216{
217 size_t i;
218
219 for (i = 0; i < mem_ranges_count; ++i) {
220 if (pa_addr(after[i].begin) > pa_addr(before[i].begin)) {
221 if (update->reserved_ranges_count >= MAX_MEM_RANGES) {
222 dlog("Too many reserved ranges after loading "
223 "secondary VMs.\n");
224 return false;
225 }
226 update->reserved_ranges[update->reserved_ranges_count]
227 .begin = before[i].begin;
228 update->reserved_ranges[update->reserved_ranges_count]
229 .end = after[i].begin;
230 update->reserved_ranges_count++;
231 }
232 if (pa_addr(after[i].end) < pa_addr(before[i].end)) {
233 if (update->reserved_ranges_count >= MAX_MEM_RANGES) {
234 dlog("Too many reserved ranges after loading "
235 "secondary VMs.\n");
236 return false;
237 }
238 update->reserved_ranges[update->reserved_ranges_count]
239 .begin = after[i].end;
240 update->reserved_ranges[update->reserved_ranges_count]
241 .end = before[i].end;
242 update->reserved_ranges_count++;
243 }
244 }
245
246 return true;
247}
248
249/**
250 * Loads all secondary VMs into the memory ranges from the given params.
251 * Memory reserved for the VMs is added to the `reserved_ranges` of `update`.
252 */
Andrew Scull3c0a90a2019-07-01 11:55:53 +0100253bool load_secondary(struct mm_stage1_locked stage1_locked,
254 const struct memiter *cpio,
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100255 const struct boot_params *params,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000256 struct boot_params_update *update, struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100257{
Andrew Scull19503262018-09-20 14:48:39 +0100258 struct vm *primary;
David Brazdil7a462ec2019-08-15 12:27:47 +0100259 struct manifest manifest;
260 struct memiter manifest_fdt;
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100261 struct mem_range mem_ranges_available[MAX_MEM_RANGES];
262 size_t i;
David Brazdil7a462ec2019-08-15 12:27:47 +0100263 enum manifest_return_code manifest_ret;
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100264
265 static_assert(
266 sizeof(mem_ranges_available) == sizeof(params->mem_ranges),
267 "mem_range arrays must be the same size for memcpy.");
268 static_assert(sizeof(mem_ranges_available) < 500,
269 "This will use too much stack, either make "
270 "MAX_MEM_RANGES smaller or change this.");
Andrew Sculla1aa2ba2019-04-05 11:49:02 +0100271 memcpy_s(mem_ranges_available, sizeof(mem_ranges_available),
272 params->mem_ranges, sizeof(params->mem_ranges));
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100273
Andrew Walbran42347a92019-05-09 13:59:03 +0100274 primary = vm_find(HF_PRIMARY_VM_ID);
Andrew Scull19503262018-09-20 14:48:39 +0100275
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100276 /* Round the last addresses down to the page size. */
277 for (i = 0; i < params->mem_ranges_count; ++i) {
Alfredo Mazzinghieb1997c2019-02-07 18:00:01 +0000278 mem_ranges_available[i].end = pa_init(align_down(
279 pa_addr(mem_ranges_available[i].end), PAGE_SIZE));
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100280 }
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100281
David Brazdil7a462ec2019-08-15 12:27:47 +0100282 if (!find_file(cpio, "manifest.dtb", &manifest_fdt)) {
283 dlog("Could not find \"manifest.dtb\" in cpio.\n");
284 return false;
285 }
286
287 manifest_ret = manifest_init(&manifest, &manifest_fdt);
288 if (manifest_ret != MANIFEST_SUCCESS) {
289 dlog("Could not parse manifest: %s.\n",
290 manifest_strerror(manifest_ret));
291 return false;
292 }
293
294 for (i = 0; i < manifest.num_vms; ++i) {
295 struct manifest_vm *manifest_vm = &manifest.vm[i];
296 spci_vm_id_t vm_id = HF_VM_ID_OFFSET + i;
297 struct vm *vm;
298 struct vcpu *vcpu;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100299 struct memiter kernel;
David Brazdil7a462ec2019-08-15 12:27:47 +0100300 uint64_t mem_size;
Andrew Scull80871322018-08-06 12:04:09 +0100301 paddr_t secondary_mem_begin;
302 paddr_t secondary_mem_end;
303 ipaddr_t secondary_entry;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100304
David Brazdil7a462ec2019-08-15 12:27:47 +0100305 if (vm_id == HF_PRIMARY_VM_ID) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100306 continue;
307 }
308
David Brazdil7a462ec2019-08-15 12:27:47 +0100309 dlog("Loading VM%d: ", (int)vm_id);
310 memiter_dlog_str(&manifest_vm->debug_name);
311 dlog(".\n");
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100312
David Brazdil7a462ec2019-08-15 12:27:47 +0100313 if (!memiter_find_file(cpio,
314 &manifest_vm->secondary.kernel_filename,
315 &kernel)) {
316 dlog("Could not find kernel file \"");
317 memiter_dlog_str(
318 &manifest_vm->secondary.kernel_filename);
319 dlog("\".\n");
320 continue;
321 }
322
323 mem_size = align_up(manifest_vm->secondary.mem_size, PAGE_SIZE);
324 if (mem_size < memiter_size(&kernel)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100325 dlog("Kernel is larger than available memory\n");
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100326 continue;
327 }
328
David Brazdil7a462ec2019-08-15 12:27:47 +0100329 if (!carve_out_mem_range(mem_ranges_available,
330 params->mem_ranges_count, mem_size,
331 &secondary_mem_begin,
332 &secondary_mem_end)) {
333 dlog("Not enough memory (%u bytes)\n", mem_size);
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100334 continue;
335 }
Andrew Scull80871322018-08-06 12:04:09 +0100336
Andrew Scull3c0a90a2019-07-01 11:55:53 +0100337 if (!copy_to_unmapped(stage1_locked, secondary_mem_begin,
David Brazdil7a462ec2019-08-15 12:27:47 +0100338 &kernel, ppool)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100339 dlog("Unable to copy kernel\n");
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100340 continue;
341 }
342
David Brazdil7a462ec2019-08-15 12:27:47 +0100343 if (!vm_init(manifest_vm->secondary.vcpu_count, ppool, &vm)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100344 dlog("Unable to initialise VM\n");
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100345 continue;
346 }
347
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100348 /* Grant the VM access to the memory. */
Andrew Scull19503262018-09-20 14:48:39 +0100349 if (!mm_vm_identity_map(&vm->ptable, secondary_mem_begin,
350 secondary_mem_end,
Andrew Scullda241972019-01-05 18:17:48 +0000351 MM_MODE_R | MM_MODE_W | MM_MODE_X,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000352 &secondary_entry, ppool)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100353 dlog("Unable to initialise memory\n");
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100354 continue;
355 }
356
357 /* Deny the primary VM access to this memory. */
Andrew Scull19503262018-09-20 14:48:39 +0100358 if (!mm_vm_unmap(&primary->ptable, secondary_mem_begin,
Andrew Scullda241972019-01-05 18:17:48 +0000359 secondary_mem_end, ppool)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100360 dlog("Unable to unmap secondary VM from primary VM\n");
361 return false;
362 }
363
David Brazdil7a462ec2019-08-15 12:27:47 +0100364 dlog("Loaded with %u vcpus, entry at %#x\n",
365 manifest_vm->secondary.vcpu_count,
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100366 pa_addr(secondary_mem_begin));
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100367
Andrew Walbrane1310df2019-04-29 17:28:28 +0100368 vcpu = vm_get_vcpu(vm, 0);
Andrew Walbran9a43fee2019-04-18 17:42:32 +0100369 vcpu_secondary_reset_and_start(
370 vcpu, secondary_entry,
Andrew Walbran2b87c702019-04-16 18:16:05 +0100371 pa_difference(secondary_mem_begin, secondary_mem_end));
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100372 }
373
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100374 /*
375 * Add newly reserved areas to update params by looking at the
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100376 * difference between the available ranges from the original params and
377 * the updated mem_ranges_available. We assume that the number and order
378 * of available ranges is the same, i.e. we don't remove any ranges
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100379 * above only make them smaller.
380 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100381 return update_reserved_ranges(update, params->mem_ranges,
382 mem_ranges_available,
383 params->mem_ranges_count);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100384}