blob: 4b0880ce432f1f4ce3a004c352836332aa0b8adf [file] [log] [blame]
Andrew Scull18834872018-10-12 11:48:09 +01001/*
2 * Copyright 2018 Google LLC
3 *
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
Andrew Walbran34ce72e2018-09-13 16:47:44 +010019#include <assert.h>
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010020#include <stdbool.h>
21
Andrew Scull18c78fc2018-08-20 12:57:41 +010022#include "hf/api.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"
28#include "hf/std.h"
29#include "hf/vm.h"
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010030
Andrew Scull19503262018-09-20 14:48:39 +010031#include "vmapi/hf/call.h"
32
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010033/**
34 * Copies data to an unmapped location by mapping it for write, copying the
35 * data, then unmapping it.
Andrew Sculld9225b32018-11-19 16:12:41 +000036 *
37 * The data is written so that it is available to all cores with the cache
38 * disabled. When switching to the partitions, the caching is initially disabled
39 * so the data must be available without the cache.
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010040 */
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000041static bool copy_to_unmapped(paddr_t to, const void *from, size_t size,
42 struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010043{
Andrew Scull80871322018-08-06 12:04:09 +010044 paddr_t to_end = pa_add(to, size);
45 void *ptr;
Andrew Scull265ada92018-07-30 15:19:01 +010046
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000047 ptr = mm_identity_map(to, to_end, MM_MODE_W, ppool);
Andrew Scull80871322018-08-06 12:04:09 +010048 if (!ptr) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010049 return false;
50 }
51
Andrew Scull80871322018-08-06 12:04:09 +010052 memcpy(ptr, from, size);
Andrew Sculld9225b32018-11-19 16:12:41 +000053 arch_mm_write_back_dcache(ptr, size);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010054
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +000055 mm_unmap(to, to_end, 0, ppool);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010056
57 return true;
58}
59
60/**
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010061 * Looks for a file in the given cpio archive. The filename is not
62 * null-terminated, so we use a memory iterator to represent it. The file, if
63 * found, is returned in the "it" argument.
64 */
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010065static bool memiter_find_file(const struct memiter *cpio,
66 const struct memiter *filename,
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010067 struct memiter *it)
68{
69 const char *fname;
70 const void *fcontents;
71 size_t fsize;
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010072 struct memiter iter = *cpio;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010073
74 while (cpio_next(&iter, &fname, &fcontents, &fsize)) {
75 if (memiter_iseq(filename, fname)) {
76 memiter_init(it, fcontents, fsize);
77 return true;
78 }
79 }
80
81 return false;
82}
83
84/**
85 * Looks for a file in the given cpio archive. The file, if found, is returned
86 * in the "it" argument.
87 */
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010088static bool find_file(const struct memiter *cpio, const char *name,
89 struct memiter *it)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010090{
91 const char *fname;
92 const void *fcontents;
93 size_t fsize;
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +010094 struct memiter iter = *cpio;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +010095
96 while (cpio_next(&iter, &fname, &fcontents, &fsize)) {
97 if (!strcmp(fname, name)) {
98 memiter_init(it, fcontents, fsize);
99 return true;
100 }
101 }
102
103 return false;
104}
105
106/**
107 * Loads the primary VM.
108 */
Andrew Scull37402872018-10-24 14:23:06 +0100109bool load_primary(const struct memiter *cpio, uintreg_t kernel_arg,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000110 struct memiter *initrd, struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100111{
112 struct memiter it;
Andrew Scullf16c0c22018-10-26 18:41:24 +0100113 paddr_t primary_begin = layout_primary_begin();
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100114
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +0100115 if (!find_file(cpio, "vmlinuz", &it)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100116 dlog("Unable to find vmlinuz\n");
117 return false;
118 }
119
Andrew Scullf16c0c22018-10-26 18:41:24 +0100120 dlog("Copying primary to %p\n", pa_addr(primary_begin));
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000121 if (!copy_to_unmapped(primary_begin, it.next, it.limit - it.next,
122 ppool)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100123 dlog("Unable to relocate kernel for primary vm.\n");
124 return false;
125 }
126
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +0100127 if (!find_file(cpio, "initrd.img", initrd)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100128 dlog("Unable to find initrd.img\n");
129 return false;
130 }
131
132 {
Andrew Scull19503262018-09-20 14:48:39 +0100133 struct vm *vm;
134
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000135 if (!vm_init(MAX_CPUS, ppool, &vm)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100136 dlog("Unable to initialise primary vm\n");
137 return false;
138 }
139
Andrew Scull19503262018-09-20 14:48:39 +0100140 if (vm->id != HF_PRIMARY_VM_ID) {
141 dlog("Primary vm was not given correct id\n");
142 return false;
143 }
144
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100145 /* Map the 1TB of memory. */
146 /* TODO: We should do a whitelist rather than a blacklist. */
Andrew Scull78d6fd92018-09-06 15:08:36 +0100147 if (!mm_vm_identity_map(
Andrew Scull19503262018-09-20 14:48:39 +0100148 &vm->ptable, pa_init(0),
Andrew Scull78d6fd92018-09-06 15:08:36 +0100149 pa_init(UINT64_C(1024) * 1024 * 1024 * 1024),
150 MM_MODE_R | MM_MODE_W | MM_MODE_X |
151 MM_MODE_NOINVALIDATE,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000152 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
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000157 if (!mm_vm_unmap_hypervisor(&vm->ptable, MM_MODE_NOINVALIDATE,
158 ppool)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100159 dlog("Unable to unmap hypervisor from primary vm\n");
160 return false;
161 }
162
Andrew Scullf16c0c22018-10-26 18:41:24 +0100163 vm_start_vcpu(vm, 0, ipa_from_pa(primary_begin), kernel_arg);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100164 }
165
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100166 return true;
167}
168
169/**
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100170 * Try to find a memory range of the given size within the given ranges, and
171 * remove it from them. Return true on success, or false if no large enough
172 * contiguous range is found.
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100173 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100174bool carve_out_mem_range(struct mem_range *mem_ranges, size_t mem_ranges_count,
175 uint64_t size_to_find, paddr_t *found_begin,
176 paddr_t *found_end)
177{
178 size_t i;
179
180 /* TODO(b/116191358): Consider being cleverer about how we pack VMs
181 * together, with a non-greedy algorithm. */
182 for (i = 0; i < mem_ranges_count; ++i) {
183 if (size_to_find <=
184 pa_addr(mem_ranges[i].end) - pa_addr(mem_ranges[i].begin)) {
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100185 /*
186 * This range is big enough, take some of it from the
187 * end and reduce its size accordingly.
188 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100189 *found_end = mem_ranges[i].end;
190 *found_begin = pa_init(pa_addr(mem_ranges[i].end) -
191 size_to_find);
192 mem_ranges[i].end = *found_begin;
193 return true;
194 }
195 }
196 return false;
197}
198
199/**
200 * Given arrays of memory ranges before and after memory was removed for
201 * secondary VMs, add the difference to the reserved ranges of the given update.
202 * Return true on success, or false if there would be more than MAX_MEM_RANGES
203 * reserved ranges after adding the new ones.
204 * `before` and `after` must be arrays of exactly `mem_ranges_count` elements.
205 */
206bool update_reserved_ranges(struct boot_params_update *update,
207 const struct mem_range *before,
208 const struct mem_range *after,
209 size_t mem_ranges_count)
210{
211 size_t i;
212
213 for (i = 0; i < mem_ranges_count; ++i) {
214 if (pa_addr(after[i].begin) > pa_addr(before[i].begin)) {
215 if (update->reserved_ranges_count >= MAX_MEM_RANGES) {
216 dlog("Too many reserved ranges after loading "
217 "secondary VMs.\n");
218 return false;
219 }
220 update->reserved_ranges[update->reserved_ranges_count]
221 .begin = before[i].begin;
222 update->reserved_ranges[update->reserved_ranges_count]
223 .end = after[i].begin;
224 update->reserved_ranges_count++;
225 }
226 if (pa_addr(after[i].end) < pa_addr(before[i].end)) {
227 if (update->reserved_ranges_count >= MAX_MEM_RANGES) {
228 dlog("Too many reserved ranges after loading "
229 "secondary VMs.\n");
230 return false;
231 }
232 update->reserved_ranges[update->reserved_ranges_count]
233 .begin = after[i].end;
234 update->reserved_ranges[update->reserved_ranges_count]
235 .end = before[i].end;
236 update->reserved_ranges_count++;
237 }
238 }
239
240 return true;
241}
242
243/**
244 * Loads all secondary VMs into the memory ranges from the given params.
245 * Memory reserved for the VMs is added to the `reserved_ranges` of `update`.
246 */
247bool load_secondary(const struct memiter *cpio,
248 const struct boot_params *params,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000249 struct boot_params_update *update, struct mpool *ppool)
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100250{
Andrew Scull19503262018-09-20 14:48:39 +0100251 struct vm *primary;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100252 struct memiter it;
Andrew Scull36e4bae2018-09-27 17:50:56 +0100253 struct memiter name;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100254 uint64_t mem;
255 uint64_t cpu;
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100256 struct mem_range mem_ranges_available[MAX_MEM_RANGES];
257 size_t i;
258
259 static_assert(
260 sizeof(mem_ranges_available) == sizeof(params->mem_ranges),
261 "mem_range arrays must be the same size for memcpy.");
262 static_assert(sizeof(mem_ranges_available) < 500,
263 "This will use too much stack, either make "
264 "MAX_MEM_RANGES smaller or change this.");
265 memcpy(mem_ranges_available, params->mem_ranges,
266 sizeof(mem_ranges_available));
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100267
Andrew Scull19503262018-09-20 14:48:39 +0100268 primary = vm_get(HF_PRIMARY_VM_ID);
269
Wedson Almeida Filho9ee60e92018-07-23 18:56:56 +0100270 if (!find_file(cpio, "vms.txt", &it)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100271 dlog("vms.txt is missing\n");
272 return true;
273 }
274
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100275 /* Round the last addresses down to the page size. */
276 for (i = 0; i < params->mem_ranges_count; ++i) {
277 mem_ranges_available[i].end =
278 pa_init(pa_addr(mem_ranges_available[i].end) &
279 ~(PAGE_SIZE - 1));
280 }
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100281
Andrew Scull19503262018-09-20 14:48:39 +0100282 while (memiter_parse_uint(&it, &mem) && memiter_parse_uint(&it, &cpu) &&
283 memiter_parse_str(&it, &name)) {
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100284 struct memiter kernel;
Andrew Scull80871322018-08-06 12:04:09 +0100285 paddr_t secondary_mem_begin;
286 paddr_t secondary_mem_end;
287 ipaddr_t secondary_entry;
Andrew Scull36e4bae2018-09-27 17:50:56 +0100288 const char *p;
Andrew Scull19503262018-09-20 14:48:39 +0100289 struct vm *vm;
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100290
Andrew Scull36e4bae2018-09-27 17:50:56 +0100291 dlog("Loading ");
292 for (p = name.next; p != name.limit; ++p) {
293 dlog("%c", *p);
294 }
295 dlog("\n");
296
297 if (!memiter_find_file(cpio, &name, &kernel)) {
298 dlog("Unable to load kernel\n");
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100299 continue;
300 }
301
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100302 /* Round up to page size. */
303 mem = (mem + PAGE_SIZE - 1) & ~(PAGE_SIZE - 1);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100304
305 if (mem < kernel.limit - kernel.next) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100306 dlog("Kernel is larger than available memory\n");
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100307 continue;
308 }
309
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100310 if (!carve_out_mem_range(
311 mem_ranges_available, params->mem_ranges_count, mem,
312 &secondary_mem_begin, &secondary_mem_end)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100313 dlog("Not enough memory (%u bytes)\n", mem);
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100314 continue;
315 }
Andrew Scull80871322018-08-06 12:04:09 +0100316
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100317 if (!copy_to_unmapped(secondary_mem_begin, kernel.next,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000318 kernel.limit - kernel.next, ppool)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100319 dlog("Unable to copy kernel\n");
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100320 continue;
321 }
322
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000323 if (!vm_init(cpu, ppool, &vm)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100324 dlog("Unable to initialise VM\n");
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100325 continue;
326 }
327
328 /* TODO: Remove this. */
329 /* Grant VM access to uart. */
Andrew Scull24e032f2018-10-15 17:18:12 +0100330 mm_vm_identity_map(&vm->ptable, pa_init(PL011_BASE),
331 pa_add(pa_init(PL011_BASE), PAGE_SIZE),
Andrew Scull7a789b72018-12-19 14:07:10 +0000332 MM_MODE_R | MM_MODE_W | MM_MODE_NOINVALIDATE,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000333 NULL, ppool);
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100334
335 /* Grant the VM access to the memory. */
Andrew Scull19503262018-09-20 14:48:39 +0100336 if (!mm_vm_identity_map(&vm->ptable, secondary_mem_begin,
337 secondary_mem_end,
Andrew Scull80871322018-08-06 12:04:09 +0100338 MM_MODE_R | MM_MODE_W | MM_MODE_X |
339 MM_MODE_NOINVALIDATE,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000340 &secondary_entry, ppool)) {
Andrew Scull36e4bae2018-09-27 17:50:56 +0100341 dlog("Unable to initialise memory\n");
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100342 continue;
343 }
344
345 /* Deny the primary VM access to this memory. */
Andrew Scull19503262018-09-20 14:48:39 +0100346 if (!mm_vm_unmap(&primary->ptable, secondary_mem_begin,
Wedson Almeida Filho22d5eaa2018-12-16 00:38:49 +0000347 secondary_mem_end, MM_MODE_NOINVALIDATE,
348 ppool)) {
Wedson Almeida Filho84a30a02018-07-23 20:05:05 +0100349 dlog("Unable to unmap secondary VM from primary VM\n");
350 return false;
351 }
352
Andrew Scull36e4bae2018-09-27 17:50:56 +0100353 dlog("Loaded with %u vcpus, entry at 0x%x\n", cpu,
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100354 pa_addr(secondary_mem_begin));
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100355
Andrew Scull19503262018-09-20 14:48:39 +0100356 vm_start_vcpu(vm, 0, secondary_entry, 0);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100357 }
358
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100359 /*
360 * Add newly reserved areas to update params by looking at the
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100361 * difference between the available ranges from the original params and
362 * the updated mem_ranges_available. We assume that the number and order
363 * of available ranges is the same, i.e. we don't remove any ranges
Wedson Almeida Filhob2c159e2018-10-25 13:27:47 +0100364 * above only make them smaller.
365 */
Andrew Walbran34ce72e2018-09-13 16:47:44 +0100366 return update_reserved_ranges(update, params->mem_ranges,
367 mem_ranges_available,
368 params->mem_ranges_count);
Wedson Almeida Filhofdf4afc2018-07-19 15:45:21 +0100369}