exec.c revision 1.16 1 1.16 jmcneill /* $NetBSD: exec.c,v 1.16 2020/06/21 17:24:26 jmcneill Exp $ */
2 1.1 jmcneill
3 1.1 jmcneill /*-
4 1.10 thorpej * Copyright (c) 2019 Jason R. Thorpe
5 1.1 jmcneill * Copyright (c) 2018 Jared McNeill <jmcneill (at) invisible.ca>
6 1.1 jmcneill * All rights reserved.
7 1.1 jmcneill *
8 1.1 jmcneill * Redistribution and use in source and binary forms, with or without
9 1.1 jmcneill * modification, are permitted provided that the following conditions
10 1.1 jmcneill * are met:
11 1.1 jmcneill * 1. Redistributions of source code must retain the above copyright
12 1.1 jmcneill * notice, this list of conditions and the following disclaimer.
13 1.1 jmcneill * 2. Redistributions in binary form must reproduce the above copyright
14 1.1 jmcneill * notice, this list of conditions and the following disclaimer in the
15 1.1 jmcneill * documentation and/or other materials provided with the distribution.
16 1.1 jmcneill *
17 1.1 jmcneill * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
18 1.1 jmcneill * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19 1.1 jmcneill * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20 1.1 jmcneill * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
21 1.1 jmcneill * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22 1.1 jmcneill * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
23 1.1 jmcneill * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24 1.1 jmcneill * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
25 1.1 jmcneill * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
26 1.1 jmcneill * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
27 1.1 jmcneill * SUCH DAMAGE.
28 1.1 jmcneill */
29 1.1 jmcneill
30 1.1 jmcneill #include "efiboot.h"
31 1.10 thorpej #include "efienv.h"
32 1.1 jmcneill #include "efifdt.h"
33 1.7 jmcneill #include "efiacpi.h"
34 1.14 riastrad #include "efirng.h"
35 1.16 jmcneill #include "module.h"
36 1.1 jmcneill
37 1.16 jmcneill #include <sys/param.h>
38 1.6 jmcneill #include <sys/reboot.h>
39 1.1 jmcneill
40 1.13 jmcneill extern char twiddle_toggle;
41 1.13 jmcneill
42 1.3 jmcneill u_long load_offset = 0;
43 1.3 jmcneill
44 1.4 jmcneill #define FDT_SPACE (4 * 1024 * 1024)
45 1.4 jmcneill #define FDT_ALIGN ((2 * 1024 * 1024) - 1)
46 1.4 jmcneill
47 1.14 riastrad static EFI_PHYSICAL_ADDRESS initrd_addr, dtb_addr, rndseed_addr, efirng_addr;
48 1.14 riastrad static u_long initrd_size = 0, dtb_size = 0, rndseed_size = 0, efirng_size = 0;
49 1.4 jmcneill
50 1.4 jmcneill static int
51 1.10 thorpej load_file(const char *path, u_long extra, bool quiet_errors,
52 1.10 thorpej EFI_PHYSICAL_ADDRESS *paddr, u_long *psize)
53 1.4 jmcneill {
54 1.4 jmcneill EFI_STATUS status;
55 1.4 jmcneill struct stat st;
56 1.4 jmcneill ssize_t len;
57 1.10 thorpej ssize_t expectedlen;
58 1.4 jmcneill int fd;
59 1.4 jmcneill
60 1.4 jmcneill if (strlen(path) == 0)
61 1.4 jmcneill return 0;
62 1.4 jmcneill
63 1.4 jmcneill fd = open(path, 0);
64 1.4 jmcneill if (fd < 0) {
65 1.10 thorpej if (!quiet_errors) {
66 1.10 thorpej printf("boot: failed to open %s: %s\n", path,
67 1.10 thorpej strerror(errno));
68 1.10 thorpej }
69 1.4 jmcneill return errno;
70 1.4 jmcneill }
71 1.4 jmcneill if (fstat(fd, &st) < 0) {
72 1.4 jmcneill printf("boot: failed to fstat %s: %s\n", path, strerror(errno));
73 1.4 jmcneill close(fd);
74 1.4 jmcneill return errno;
75 1.4 jmcneill }
76 1.4 jmcneill if (st.st_size == 0) {
77 1.10 thorpej if (!quiet_errors) {
78 1.10 thorpej printf("boot: empty file %s\n", path);
79 1.10 thorpej }
80 1.4 jmcneill close(fd);
81 1.4 jmcneill return EINVAL;
82 1.4 jmcneill }
83 1.4 jmcneill
84 1.10 thorpej expectedlen = st.st_size;
85 1.10 thorpej *psize = st.st_size + extra;
86 1.4 jmcneill
87 1.4 jmcneill #ifdef EFIBOOT_ALLOCATE_MAX_ADDRESS
88 1.5 jmcneill *paddr = EFIBOOT_ALLOCATE_MAX_ADDRESS;
89 1.4 jmcneill status = uefi_call_wrapper(BS->AllocatePages, 4, AllocateMaxAddress, EfiLoaderData,
90 1.5 jmcneill EFI_SIZE_TO_PAGES(*psize), paddr);
91 1.4 jmcneill #else
92 1.5 jmcneill *paddr = 0;
93 1.4 jmcneill status = uefi_call_wrapper(BS->AllocatePages, 4, AllocateAnyPages, EfiLoaderData,
94 1.5 jmcneill EFI_SIZE_TO_PAGES(*psize), paddr);
95 1.4 jmcneill #endif
96 1.4 jmcneill if (EFI_ERROR(status)) {
97 1.5 jmcneill printf("Failed to allocate %lu bytes for %s (error %lu)\n",
98 1.9 jmcneill *psize, path, (u_long)status);
99 1.4 jmcneill close(fd);
100 1.10 thorpej *paddr = 0;
101 1.4 jmcneill return ENOMEM;
102 1.4 jmcneill }
103 1.4 jmcneill
104 1.4 jmcneill printf("boot: loading %s ", path);
105 1.10 thorpej len = read(fd, (void *)(uintptr_t)*paddr, expectedlen);
106 1.4 jmcneill close(fd);
107 1.4 jmcneill
108 1.10 thorpej if (len != expectedlen) {
109 1.10 thorpej if (len < 0) {
110 1.4 jmcneill printf(": %s\n", strerror(errno));
111 1.10 thorpej } else {
112 1.10 thorpej printf(": returned %ld (expected %ld)\n", len,
113 1.10 thorpej expectedlen);
114 1.10 thorpej }
115 1.4 jmcneill return EIO;
116 1.4 jmcneill }
117 1.4 jmcneill
118 1.4 jmcneill printf("done.\n");
119 1.4 jmcneill
120 1.5 jmcneill efi_dcache_flush(*paddr, *psize);
121 1.4 jmcneill
122 1.4 jmcneill return 0;
123 1.4 jmcneill }
124 1.4 jmcneill
125 1.10 thorpej static const char default_efibootplist_path[] = "/etc/efiboot.plist";
126 1.10 thorpej
127 1.10 thorpej /* This is here because load_file() is here. */
128 1.10 thorpej void
129 1.10 thorpej load_efibootplist(bool default_fallback)
130 1.10 thorpej {
131 1.10 thorpej EFI_PHYSICAL_ADDRESS plist_addr = 0;
132 1.10 thorpej u_long plist_size = 0;
133 1.10 thorpej prop_dictionary_t plist = NULL, oplist = NULL;
134 1.10 thorpej bool load_quietly = false;
135 1.13 jmcneill bool old_twiddle_toggle = twiddle_toggle;
136 1.10 thorpej
137 1.10 thorpej const char *path = get_efibootplist_path();
138 1.10 thorpej if (path == NULL || strlen(path) == 0) {
139 1.10 thorpej if (!default_fallback)
140 1.10 thorpej return;
141 1.10 thorpej path = default_efibootplist_path;
142 1.10 thorpej load_quietly = true;
143 1.10 thorpej }
144 1.10 thorpej
145 1.13 jmcneill twiddle_toggle = load_quietly;
146 1.13 jmcneill
147 1.10 thorpej /*
148 1.10 thorpej * Fudge the size so we can ensure the resulting buffer
149 1.10 thorpej * is NUL-terminated for convenience.
150 1.10 thorpej */
151 1.10 thorpej if (load_file(path, 1, load_quietly, &plist_addr, &plist_size) != 0 ||
152 1.10 thorpej plist_addr == 0) {
153 1.10 thorpej /* Error messages have already been displayed. */
154 1.10 thorpej goto out;
155 1.10 thorpej }
156 1.10 thorpej char *plist_buf = (char *)((uintptr_t)plist_addr);
157 1.10 thorpej plist_buf[plist_size - 1] = '\0';
158 1.10 thorpej
159 1.10 thorpej plist = prop_dictionary_internalize(plist_buf);
160 1.10 thorpej if (plist == NULL) {
161 1.10 thorpej printf("boot: unable to parse plist '%s'\n", path);
162 1.10 thorpej goto out;
163 1.10 thorpej }
164 1.10 thorpej
165 1.10 thorpej out:
166 1.10 thorpej oplist = efibootplist;
167 1.10 thorpej
168 1.13 jmcneill twiddle_toggle = old_twiddle_toggle;
169 1.13 jmcneill
170 1.10 thorpej /*
171 1.10 thorpej * If we had a failure, create an empty one for
172 1.10 thorpej * convenience. But a failure should not clobber
173 1.10 thorpej * an in-memory plist we already have.
174 1.10 thorpej */
175 1.10 thorpej if (plist == NULL &&
176 1.10 thorpej (oplist == NULL || prop_dictionary_count(oplist) == 0))
177 1.10 thorpej plist = prop_dictionary_create();
178 1.10 thorpej
179 1.10 thorpej #ifdef EFIBOOT_DEBUG
180 1.10 thorpej printf(">> load_efibootplist: oplist = 0x%lx, plist = 0x%lx\n",
181 1.10 thorpej (u_long)oplist, (u_long)plist);
182 1.10 thorpej #endif
183 1.10 thorpej
184 1.10 thorpej if (plist_addr) {
185 1.10 thorpej uefi_call_wrapper(BS->FreePages, 2, plist_addr,
186 1.10 thorpej EFI_SIZE_TO_PAGES(plist_size));
187 1.10 thorpej }
188 1.10 thorpej
189 1.10 thorpej if (plist) {
190 1.10 thorpej efibootplist = plist;
191 1.10 thorpej efi_env_from_efibootplist();
192 1.10 thorpej
193 1.10 thorpej if (oplist)
194 1.10 thorpej prop_object_release(oplist);
195 1.10 thorpej }
196 1.10 thorpej }
197 1.10 thorpej
198 1.10 thorpej static void
199 1.10 thorpej apply_overlay(void *dtbo)
200 1.10 thorpej {
201 1.10 thorpej
202 1.10 thorpej if (!efi_fdt_overlay_is_compatible(dtbo)) {
203 1.10 thorpej printf("boot: incompatible overlay\n");
204 1.15 thorpej return;
205 1.10 thorpej }
206 1.10 thorpej
207 1.10 thorpej int fdterr;
208 1.10 thorpej
209 1.10 thorpej if (efi_fdt_overlay_apply(dtbo, &fdterr) != 0) {
210 1.10 thorpej printf("boot: error %d applying overlay\n", fdterr);
211 1.10 thorpej }
212 1.10 thorpej }
213 1.10 thorpej
214 1.10 thorpej static void
215 1.10 thorpej apply_overlay_file(const char *path)
216 1.10 thorpej {
217 1.10 thorpej EFI_PHYSICAL_ADDRESS dtbo_addr;
218 1.10 thorpej u_long dtbo_size;
219 1.10 thorpej
220 1.10 thorpej if (strlen(path) == 0)
221 1.10 thorpej return;
222 1.10 thorpej
223 1.10 thorpej if (load_file(path, 0, false, &dtbo_addr, &dtbo_size) != 0 ||
224 1.10 thorpej dtbo_addr == 0) {
225 1.10 thorpej /* Error messages have already been displayed. */
226 1.10 thorpej goto out;
227 1.10 thorpej }
228 1.10 thorpej
229 1.10 thorpej apply_overlay((void *)(uintptr_t)dtbo_addr);
230 1.10 thorpej
231 1.10 thorpej out:
232 1.10 thorpej if (dtbo_addr) {
233 1.10 thorpej uefi_call_wrapper(BS->FreePages, 2, dtbo_addr,
234 1.10 thorpej EFI_SIZE_TO_PAGES(dtbo_size));
235 1.10 thorpej }
236 1.10 thorpej }
237 1.10 thorpej
238 1.10 thorpej #define DT_OVERLAYS_PROP "device-tree-overlays"
239 1.10 thorpej
240 1.10 thorpej static void
241 1.10 thorpej load_fdt_overlays(void)
242 1.10 thorpej {
243 1.10 thorpej /*
244 1.10 thorpej * We support loading device tree overlays specified in efiboot.plist
245 1.10 thorpej * using the following schema:
246 1.10 thorpej *
247 1.10 thorpej * <key>device-tree-overlays</key>
248 1.10 thorpej * <array>
249 1.10 thorpej * <string>/path/to/some/overlay.dtbo</string>
250 1.10 thorpej * <string>hd0e:/some/other/overlay.dtbo</string>
251 1.10 thorpej * </array>
252 1.10 thorpej *
253 1.10 thorpej * The overlays are loaded in array order.
254 1.10 thorpej */
255 1.10 thorpej prop_array_t overlays = prop_dictionary_get(efibootplist,
256 1.10 thorpej DT_OVERLAYS_PROP);
257 1.10 thorpej if (overlays == NULL) {
258 1.10 thorpej #ifdef EFIBOOT_DEBUG
259 1.10 thorpej printf("boot: no device-tree-overlays\n");
260 1.10 thorpej #endif
261 1.10 thorpej return;
262 1.10 thorpej }
263 1.10 thorpej if (prop_object_type(overlays) != PROP_TYPE_ARRAY) {
264 1.10 thorpej printf("boot: invalid %s\n", DT_OVERLAYS_PROP);
265 1.10 thorpej return;
266 1.10 thorpej }
267 1.10 thorpej
268 1.10 thorpej prop_object_iterator_t iter = prop_array_iterator(overlays);
269 1.10 thorpej prop_string_t pathobj;
270 1.10 thorpej while ((pathobj = prop_object_iterator_next(iter)) != NULL) {
271 1.10 thorpej if (prop_object_type(pathobj) != PROP_TYPE_STRING) {
272 1.10 thorpej printf("boot: invalid %s entry\n", DT_OVERLAYS_PROP);
273 1.10 thorpej continue;
274 1.10 thorpej }
275 1.10 thorpej apply_overlay_file(prop_string_cstring_nocopy(pathobj));
276 1.10 thorpej }
277 1.10 thorpej prop_object_iterator_release(iter);
278 1.10 thorpej }
279 1.10 thorpej
280 1.14 riastrad static void
281 1.16 jmcneill load_module(const char *module_name)
282 1.16 jmcneill {
283 1.16 jmcneill EFI_PHYSICAL_ADDRESS addr;
284 1.16 jmcneill u_long size;
285 1.16 jmcneill char path[PATH_MAX];
286 1.16 jmcneill
287 1.16 jmcneill snprintf(path, sizeof(path), "%s/%s/%s.kmod", module_prefix,
288 1.16 jmcneill module_name, module_name);
289 1.16 jmcneill
290 1.16 jmcneill if (load_file(path, 0, false, &addr, &size) != 0 || addr == 0 || size == 0)
291 1.16 jmcneill return;
292 1.16 jmcneill
293 1.16 jmcneill efi_fdt_module(module_name, (u_long)addr, size);
294 1.16 jmcneill }
295 1.16 jmcneill
296 1.16 jmcneill static void
297 1.16 jmcneill load_modules(const char *kernel_name)
298 1.16 jmcneill {
299 1.16 jmcneill if (!module_enabled)
300 1.16 jmcneill return;
301 1.16 jmcneill
302 1.16 jmcneill module_init(kernel_name);
303 1.16 jmcneill module_foreach(load_module);
304 1.16 jmcneill }
305 1.16 jmcneill
306 1.16 jmcneill static void
307 1.14 riastrad generate_efirng(void)
308 1.14 riastrad {
309 1.14 riastrad EFI_PHYSICAL_ADDRESS addr;
310 1.14 riastrad u_long size = EFI_PAGE_SIZE;
311 1.14 riastrad EFI_STATUS status;
312 1.14 riastrad
313 1.14 riastrad /* Check whether the RNG is available before bothering. */
314 1.14 riastrad if (!efi_rng_available())
315 1.14 riastrad return;
316 1.14 riastrad
317 1.14 riastrad /*
318 1.14 riastrad * Allocate a page. This is the smallest unit we can pass into
319 1.14 riastrad * the kernel conveniently.
320 1.14 riastrad */
321 1.14 riastrad #ifdef EFIBOOT_ALLOCATE_MAX_ADDRESS
322 1.14 riastrad addr = EFIBOOT_ALLOCATE_MAX_ADDRESS;
323 1.14 riastrad status = uefi_call_wrapper(BS->AllocatePages, 4, AllocateMaxAddress,
324 1.14 riastrad EfiLoaderData, EFI_SIZE_TO_PAGES(size), &addr);
325 1.14 riastrad #else
326 1.14 riastrad addr = 0;
327 1.14 riastrad status = uefi_call_wrapper(BS->AllocatePages, 4, AllocateAnyPages,
328 1.14 riastrad EfiLoaderData, EFI_SIZE_TO_PAGES(size), &addr);
329 1.14 riastrad #endif
330 1.14 riastrad if (EFI_ERROR(status)) {
331 1.14 riastrad Print(L"Failed to allocate page for EFI RNG output: %r\n",
332 1.14 riastrad status);
333 1.14 riastrad return;
334 1.14 riastrad }
335 1.14 riastrad
336 1.14 riastrad /* Fill the page with whatever the EFI RNG will do. */
337 1.14 riastrad if (efi_rng((void *)(uintptr_t)addr, size)) {
338 1.14 riastrad uefi_call_wrapper(BS->FreePages, 2, addr, size);
339 1.14 riastrad return;
340 1.14 riastrad }
341 1.14 riastrad
342 1.14 riastrad /* Success! */
343 1.14 riastrad efirng_addr = addr;
344 1.14 riastrad efirng_size = size;
345 1.14 riastrad }
346 1.14 riastrad
347 1.1 jmcneill int
348 1.1 jmcneill exec_netbsd(const char *fname, const char *args)
349 1.1 jmcneill {
350 1.1 jmcneill EFI_PHYSICAL_ADDRESS addr;
351 1.1 jmcneill u_long marks[MARK_MAX], alloc_size;
352 1.1 jmcneill EFI_STATUS status;
353 1.6 jmcneill int fd, ohowto;
354 1.1 jmcneill
355 1.10 thorpej load_file(get_initrd_path(), 0, false, &initrd_addr, &initrd_size);
356 1.10 thorpej load_file(get_dtb_path(), 0, false, &dtb_addr, &dtb_size);
357 1.14 riastrad generate_efirng();
358 1.4 jmcneill
359 1.1 jmcneill memset(marks, 0, sizeof(marks));
360 1.6 jmcneill ohowto = howto;
361 1.6 jmcneill howto |= AB_SILENT;
362 1.1 jmcneill fd = loadfile(fname, marks, COUNT_KERNEL | LOAD_NOTE);
363 1.6 jmcneill howto = ohowto;
364 1.1 jmcneill if (fd < 0) {
365 1.1 jmcneill printf("boot: %s: %s\n", fname, strerror(errno));
366 1.1 jmcneill return EIO;
367 1.1 jmcneill }
368 1.1 jmcneill close(fd);
369 1.1 jmcneill marks[MARK_END] = (((u_long) marks[MARK_END] + sizeof(int) - 1)) & (-sizeof(int));
370 1.4 jmcneill alloc_size = marks[MARK_END] - marks[MARK_START] + FDT_SPACE + EFIBOOT_ALIGN;
371 1.1 jmcneill
372 1.1 jmcneill #ifdef EFIBOOT_ALLOCATE_MAX_ADDRESS
373 1.1 jmcneill addr = EFIBOOT_ALLOCATE_MAX_ADDRESS;
374 1.1 jmcneill status = uefi_call_wrapper(BS->AllocatePages, 4, AllocateMaxAddress, EfiLoaderData,
375 1.1 jmcneill EFI_SIZE_TO_PAGES(alloc_size), &addr);
376 1.1 jmcneill #else
377 1.1 jmcneill addr = 0;
378 1.1 jmcneill status = uefi_call_wrapper(BS->AllocatePages, 4, AllocateAnyPages, EfiLoaderData,
379 1.1 jmcneill EFI_SIZE_TO_PAGES(alloc_size), &addr);
380 1.1 jmcneill #endif
381 1.1 jmcneill if (EFI_ERROR(status)) {
382 1.1 jmcneill printf("Failed to allocate %lu bytes for kernel image (error %lu)\n",
383 1.9 jmcneill alloc_size, (u_long)status);
384 1.1 jmcneill return ENOMEM;
385 1.1 jmcneill }
386 1.1 jmcneill
387 1.1 jmcneill memset(marks, 0, sizeof(marks));
388 1.3 jmcneill load_offset = (addr + EFIBOOT_ALIGN) & ~(EFIBOOT_ALIGN - 1);
389 1.1 jmcneill fd = loadfile(fname, marks, LOAD_KERNEL);
390 1.1 jmcneill if (fd < 0) {
391 1.1 jmcneill printf("boot: %s: %s\n", fname, strerror(errno));
392 1.1 jmcneill goto cleanup;
393 1.1 jmcneill }
394 1.1 jmcneill close(fd);
395 1.3 jmcneill load_offset = 0;
396 1.1 jmcneill
397 1.7 jmcneill #ifdef EFIBOOT_ACPI
398 1.7 jmcneill if (efi_acpi_available()) {
399 1.7 jmcneill efi_acpi_create_fdt();
400 1.7 jmcneill } else
401 1.7 jmcneill #endif
402 1.9 jmcneill if (dtb_addr && efi_fdt_set_data((void *)(uintptr_t)dtb_addr) != 0) {
403 1.5 jmcneill printf("boot: invalid DTB data\n");
404 1.5 jmcneill goto cleanup;
405 1.5 jmcneill }
406 1.5 jmcneill
407 1.1 jmcneill if (efi_fdt_size() > 0) {
408 1.12 riastrad /*
409 1.12 riastrad * Load the rndseed as late as possible -- after we
410 1.12 riastrad * have committed to using fdt and executing this
411 1.12 riastrad * kernel -- so that it doesn't hang around in memory
412 1.12 riastrad * if we have to bail or the kernel won't use it.
413 1.12 riastrad */
414 1.12 riastrad load_file(get_rndseed_path(), 0, false,
415 1.12 riastrad &rndseed_addr, &rndseed_size);
416 1.12 riastrad
417 1.4 jmcneill efi_fdt_init((marks[MARK_END] + FDT_ALIGN) & ~FDT_ALIGN, FDT_ALIGN + 1);
418 1.16 jmcneill load_modules(fname);
419 1.10 thorpej load_fdt_overlays();
420 1.4 jmcneill efi_fdt_initrd(initrd_addr, initrd_size);
421 1.12 riastrad efi_fdt_rndseed(rndseed_addr, rndseed_size);
422 1.14 riastrad efi_fdt_efirng(efirng_addr, efirng_size);
423 1.2 jmcneill efi_fdt_bootargs(args);
424 1.11 jmcneill #ifdef EFIBOOT_ACPI
425 1.11 jmcneill if (efi_acpi_available())
426 1.11 jmcneill efi_fdt_gop();
427 1.11 jmcneill #endif
428 1.4 jmcneill efi_fdt_memory_map();
429 1.8 jmcneill }
430 1.8 jmcneill
431 1.8 jmcneill efi_cleanup();
432 1.8 jmcneill
433 1.8 jmcneill if (efi_fdt_size() > 0) {
434 1.4 jmcneill efi_fdt_fini();
435 1.1 jmcneill }
436 1.1 jmcneill
437 1.1 jmcneill efi_boot_kernel(marks);
438 1.1 jmcneill
439 1.1 jmcneill /* This should not happen.. */
440 1.1 jmcneill printf("boot returned\n");
441 1.1 jmcneill
442 1.1 jmcneill cleanup:
443 1.1 jmcneill uefi_call_wrapper(BS->FreePages, 2, addr, EFI_SIZE_TO_PAGES(alloc_size));
444 1.4 jmcneill if (initrd_addr) {
445 1.4 jmcneill uefi_call_wrapper(BS->FreePages, 2, initrd_addr, EFI_SIZE_TO_PAGES(initrd_size));
446 1.4 jmcneill initrd_addr = 0;
447 1.4 jmcneill initrd_size = 0;
448 1.4 jmcneill }
449 1.5 jmcneill if (dtb_addr) {
450 1.5 jmcneill uefi_call_wrapper(BS->FreePages, 2, dtb_addr, EFI_SIZE_TO_PAGES(dtb_size));
451 1.5 jmcneill dtb_addr = 0;
452 1.5 jmcneill dtb_size = 0;
453 1.5 jmcneill }
454 1.1 jmcneill return EIO;
455 1.1 jmcneill }
456