blob: 639291a9b42f14aec40df3e31340b83e8f5d13e1 [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 Scull5c496a32019-04-04 11:57:33 +010022#include "hf/assert.h"
Andrew Walbran34ce72e2018-09-13 16:47:44 +010023#include "hf/boot_params.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 Scull8d9e1212019-04-05 13:52:55 +010029#include "hf/std.h"
Andrew Scull18c78fc2018-08-20 12:57:41 +010030#include "hf/vm.h"
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010031
Andrew Scull19503262018-09-20 14:48:39 +010032#include "vmapi/hf/call.h"
33
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010034/**
35 * Copies data to an unmapped location by mapping it for write, copying the
36 * data, then unmapping it.
Andrew Sculld9225b32018-11-19 16:12:41 +000037 *
38 * The data is written so that it is available to all cores with the cache
39 * disabled. When switching to the partitions, the caching is initially disabled
40 * so the data must be available without the cache.
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010041 */
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000042static bool copy_to_unmapped(paddr_t to, const void *from, size_t size,
43 struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010044{
Andrew Scull80871322018-08-06 12:04:09 +010045 paddr_t to_end = pa_add(to, size);
46 void *ptr;
Andrew Scull265ada92018-07-30 15:19:01 +010047
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000048 ptr = mm_identity_map(to, to_end, MM_MODE_W, ppool);
Andrew Scull80871322018-08-06 12:04:09 +010049 if (!ptr) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010050 return false;
51 }
52
Andrew Sculla1aa2ba2019-04-05 11:49:02 +010053 memcpy_s(ptr, size, from, size);
Andrew Sculld9225b32018-11-19 16:12:41 +000054 arch_mm_write_back_dcache(ptr, size);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010055
Andrew Scullda241972019-01-05 18:17:48 +000056 mm_unmap(to, to_end, ppool);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010057
58 return true;
59}
60
61/**
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010062 * Looks for a file in the given cpio archive. The filename is not
63 * null-terminated, so we use a memory iterator to represent it. The file, if
64 * found, is returned in the "it" argument.
65 */
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010066static bool memiter_find_file(const struct memiter *cpio,
67 const struct memiter *filename,
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010068 struct memiter *it)
69{
70 const char *fname;
71 const void *fcontents;
72 size_t fsize;
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010073 struct memiter iter = *cpio;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010074
75 while (cpio_next(&iter, &fname, &fcontents, &fsize)) {
76 if (memiter_iseq(filename, fname)) {
77 memiter_init(it, fcontents, fsize);
78 return true;
79 }
80 }
81
82 return false;
83}
84
85/**
86 * Looks for a file in the given cpio archive. The file, if found, is returned
87 * in the "it" argument.
88 */
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010089static bool find_file(const struct memiter *cpio, const char *name,
90 struct memiter *it)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010091{
92 const char *fname;
93 const void *fcontents;
94 size_t fsize;
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010095 struct memiter iter = *cpio;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010096
97 while (cpio_next(&iter, &fname, &fcontents, &fsize)) {
98 if (!strcmp(fname, name)) {
99 memiter_init(it, fcontents, fsize);
100 return true;
101 }
102 }
103
104 return false;
105}
106
107/**
108 * Loads the primary VM.
109 */
Andrew Scull37402872018-10-24 14:23:06 +0100110bool load_primary(const struct memiter *cpio, uintreg_t kernel_arg,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000111 struct memiter *initrd, struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100112{
113 struct memiter it;
Andrew Scullf16c0c22018-10-26 18:41:24 +0100114 paddr_t primary_begin = layout_primary_begin();
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100115
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +0100116 if (!find_file(cpio, "vmlinuz", &it)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100117 dlog("Unable to find vmlinuz\n");
118 return false;
119 }
120
Andrew Scullf16c0c22018-10-26 18:41:24 +0100121 dlog("Copying primary to %p\n", pa_addr(primary_begin));
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000122 if (!copy_to_unmapped(primary_begin, it.next, it.limit - it.next,
123 ppool)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100124 dlog("Unable to relocate kernel for primary vm.\n");
125 return false;
126 }
127
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +0100128 if (!find_file(cpio, "initrd.img", initrd)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100129 dlog("Unable to find initrd.img\n");
130 return false;
131 }
132
133 {
Andrew Scull19503262018-09-20 14:48:39 +0100134 struct vm *vm;
Andrew Walbranb58f8992019-04-15 12:29:31 +0100135 struct vcpu_locked vcpu_locked;
Andrew Scull19503262018-09-20 14:48:39 +0100136
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000137 if (!vm_init(MAX_CPUS, ppool, &vm)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100138 dlog("Unable to initialise primary vm\n");
139 return false;
140 }
141
Andrew Scull19503262018-09-20 14:48:39 +0100142 if (vm->id != HF_PRIMARY_VM_ID) {
143 dlog("Primary vm was not given correct id\n");
144 return false;
145 }
146
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100147 /* Map the 1TB of memory. */
148 /* TODO: We should do a whitelist rather than a blacklist. */
Andrew Scull78d6fd92018-09-06 15:08:36 +0100149 if (!mm_vm_identity_map(
Andrew Scull19503262018-09-20 14:48:39 +0100150 &vm->ptable, pa_init(0),
Andrew Scull78d6fd92018-09-06 15:08:36 +0100151 pa_init(UINT64_C(1024) * 1024 * 1024 * 1024),
Andrew Scullda241972019-01-05 18:17:48 +0000152 MM_MODE_R | MM_MODE_W | MM_MODE_X, NULL, ppool)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100153 dlog("Unable to initialise memory for primary vm\n");
154 return false;
155 }
156
Andrew Scullda241972019-01-05 18:17:48 +0000157 if (!mm_vm_unmap_hypervisor(&vm->ptable, ppool)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100158 dlog("Unable to unmap hypervisor from primary vm\n");
159 return false;
160 }
161
Andrew Walbrane1310df2019-04-29 17:28:28 +0100162 vcpu_locked = vcpu_lock(vm_get_vcpu(vm, 0));
Andrew Walbranb58f8992019-04-15 12:29:31 +0100163 vcpu_on(vcpu_locked, ipa_from_pa(primary_begin), kernel_arg);
164 vcpu_unlock(&vcpu_locked);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100165 }
166
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100167 return true;
168}
169
170/**
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100171 * Try to find a memory range of the given size within the given ranges, and
172 * remove it from them. Return true on success, or false if no large enough
173 * contiguous range is found.
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100174 */
Hong-Seok Kim09648362019-05-23 15:47:11 +0900175static bool carve_out_mem_range(struct mem_range *mem_ranges,
176 size_t mem_ranges_count, uint64_t size_to_find,
177 paddr_t *found_begin, paddr_t *found_end)
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100178{
179 size_t i;
180
Wedson Almeida Filho81568c42019-01-04 13:33:02 +0000181 /*
182 * TODO(b/116191358): Consider being cleverer about how we pack VMs
183 * together, with a non-greedy algorithm.
184 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100185 for (i = 0; i < mem_ranges_count; ++i) {
186 if (size_to_find <=
Andrew Walbran2cb43392019-04-17 12:52:45 +0100187 pa_difference(mem_ranges[i].begin, mem_ranges[i].end)) {
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100188 /*
189 * This range is big enough, take some of it from the
190 * end and reduce its size accordingly.
191 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100192 *found_end = mem_ranges[i].end;
193 *found_begin = pa_init(pa_addr(mem_ranges[i].end) -
194 size_to_find);
195 mem_ranges[i].end = *found_begin;
196 return true;
197 }
198 }
199 return false;
200}
201
202/**
203 * Given arrays of memory ranges before and after memory was removed for
204 * secondary VMs, add the difference to the reserved ranges of the given update.
205 * Return true on success, or false if there would be more than MAX_MEM_RANGES
206 * reserved ranges after adding the new ones.
207 * `before` and `after` must be arrays of exactly `mem_ranges_count` elements.
208 */
Hong-Seok Kim09648362019-05-23 15:47:11 +0900209static bool update_reserved_ranges(struct boot_params_update *update,
210 const struct mem_range *before,
211 const struct mem_range *after,
212 size_t mem_ranges_count)
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100213{
214 size_t i;
215
216 for (i = 0; i < mem_ranges_count; ++i) {
217 if (pa_addr(after[i].begin) > pa_addr(before[i].begin)) {
218 if (update->reserved_ranges_count >= MAX_MEM_RANGES) {
219 dlog("Too many reserved ranges after loading "
220 "secondary VMs.\n");
221 return false;
222 }
223 update->reserved_ranges[update->reserved_ranges_count]
224 .begin = before[i].begin;
225 update->reserved_ranges[update->reserved_ranges_count]
226 .end = after[i].begin;
227 update->reserved_ranges_count++;
228 }
229 if (pa_addr(after[i].end) < pa_addr(before[i].end)) {
230 if (update->reserved_ranges_count >= MAX_MEM_RANGES) {
231 dlog("Too many reserved ranges after loading "
232 "secondary VMs.\n");
233 return false;
234 }
235 update->reserved_ranges[update->reserved_ranges_count]
236 .begin = after[i].end;
237 update->reserved_ranges[update->reserved_ranges_count]
238 .end = before[i].end;
239 update->reserved_ranges_count++;
240 }
241 }
242
243 return true;
244}
245
246/**
247 * Loads all secondary VMs into the memory ranges from the given params.
248 * Memory reserved for the VMs is added to the `reserved_ranges` of `update`.
249 */
250bool load_secondary(const struct memiter *cpio,
251 const struct boot_params *params,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000252 struct boot_params_update *update, struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100253{
Andrew Scull19503262018-09-20 14:48:39 +0100254 struct vm *primary;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100255 struct memiter it;
Andrew Scull36e4bae2018-09-27 17:50:56 +0100256 struct memiter name;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100257 uint64_t mem;
258 uint64_t cpu;
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100259 struct mem_range mem_ranges_available[MAX_MEM_RANGES];
260 size_t i;
261
262 static_assert(
263 sizeof(mem_ranges_available) == sizeof(params->mem_ranges),
264 "mem_range arrays must be the same size for memcpy.");
265 static_assert(sizeof(mem_ranges_available) < 500,
266 "This will use too much stack, either make "
267 "MAX_MEM_RANGES smaller or change this.");
Andrew Sculla1aa2ba2019-04-05 11:49:02 +0100268 memcpy_s(mem_ranges_available, sizeof(mem_ranges_available),
269 params->mem_ranges, sizeof(params->mem_ranges));
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100270
Andrew Walbran42347a92019-05-09 13:59:03 +0100271 primary = vm_find(HF_PRIMARY_VM_ID);
Andrew Scull19503262018-09-20 14:48:39 +0100272
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +0100273 if (!find_file(cpio, "vms.txt", &it)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100274 dlog("vms.txt is missing\n");
275 return true;
276 }
277
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100278 /* Round the last addresses down to the page size. */
279 for (i = 0; i < params->mem_ranges_count; ++i) {
Alfredo Mazzinghieb1997c2019-02-07 18:00:01 +0000280 mem_ranges_available[i].end = pa_init(align_down(
281 pa_addr(mem_ranges_available[i].end), PAGE_SIZE));
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100282 }
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100283
Andrew Scull19503262018-09-20 14:48:39 +0100284 while (memiter_parse_uint(&it, &mem) && memiter_parse_uint(&it, &cpu) &&
285 memiter_parse_str(&it, &name)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100286 struct memiter kernel;
Andrew Scull80871322018-08-06 12:04:09 +0100287 paddr_t secondary_mem_begin;
288 paddr_t secondary_mem_end;
289 ipaddr_t secondary_entry;
Andrew Scull36e4bae2018-09-27 17:50:56 +0100290 const char *p;
Andrew Scull19503262018-09-20 14:48:39 +0100291 struct vm *vm;
Andrew Walbran9a43fee2019-04-18 17:42:32 +0100292 struct vcpu *vcpu;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100293
Andrew Scull36e4bae2018-09-27 17:50:56 +0100294 dlog("Loading ");
295 for (p = name.next; p != name.limit; ++p) {
296 dlog("%c", *p);
297 }
298 dlog("\n");
299
300 if (!memiter_find_file(cpio, &name, &kernel)) {
301 dlog("Unable to load kernel\n");
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100302 continue;
303 }
304
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100305 /* Round up to page size. */
306 mem = (mem + PAGE_SIZE - 1) & ~(PAGE_SIZE - 1);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100307
308 if (mem < kernel.limit - kernel.next) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100309 dlog("Kernel is larger than available memory\n");
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100310 continue;
311 }
312
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100313 if (!carve_out_mem_range(
314 mem_ranges_available, params->mem_ranges_count, mem,
315 &secondary_mem_begin, &secondary_mem_end)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100316 dlog("Not enough memory (%u bytes)\n", mem);
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100317 continue;
318 }
Andrew Scull80871322018-08-06 12:04:09 +0100319
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100320 if (!copy_to_unmapped(secondary_mem_begin, kernel.next,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000321 kernel.limit - kernel.next, ppool)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100322 dlog("Unable to copy kernel\n");
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100323 continue;
324 }
325
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000326 if (!vm_init(cpu, ppool, &vm)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100327 dlog("Unable to initialise VM\n");
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100328 continue;
329 }
330
Andrew Walbran48699362019-05-20 14:38:00 +0100331 plat_console_vm_mm_init(vm, ppool);
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100332
333 /* Grant the VM access to the memory. */
Andrew Scull19503262018-09-20 14:48:39 +0100334 if (!mm_vm_identity_map(&vm->ptable, secondary_mem_begin,
335 secondary_mem_end,
Andrew Scullda241972019-01-05 18:17:48 +0000336 MM_MODE_R | MM_MODE_W | MM_MODE_X,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000337 &secondary_entry, ppool)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100338 dlog("Unable to initialise memory\n");
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100339 continue;
340 }
341
342 /* Deny the primary VM access to this memory. */
Andrew Scull19503262018-09-20 14:48:39 +0100343 if (!mm_vm_unmap(&primary->ptable, secondary_mem_begin,
Andrew Scullda241972019-01-05 18:17:48 +0000344 secondary_mem_end, ppool)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100345 dlog("Unable to unmap secondary VM from primary VM\n");
346 return false;
347 }
348
Andrew Scull36e4bae2018-09-27 17:50:56 +0100349 dlog("Loaded with %u vcpus, entry at 0x%x\n", cpu,
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100350 pa_addr(secondary_mem_begin));
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100351
Andrew Walbrane1310df2019-04-29 17:28:28 +0100352 vcpu = vm_get_vcpu(vm, 0);
Andrew Walbran9a43fee2019-04-18 17:42:32 +0100353 vcpu_secondary_reset_and_start(
354 vcpu, secondary_entry,
Andrew Walbran2b87c702019-04-16 18:16:05 +0100355 pa_difference(secondary_mem_begin, secondary_mem_end));
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100356 }
357
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100358 /*
359 * Add newly reserved areas to update params by looking at the
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100360 * difference between the available ranges from the original params and
361 * the updated mem_ranges_available. We assume that the number and order
362 * of available ranges is the same, i.e. we don't remove any ranges
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100363 * above only make them smaller.
364 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100365 return update_reserved_ranges(update, params->mem_ranges,
366 mem_ranges_available,
367 params->mem_ranges_count);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100368}