1 /* $OpenBSD: exec.c,v 1.1 2021/04/28 19:01:00 drahn Exp $ */
2
3 /*
4 * Copyright (c) 2006, 2016 Mark Kettenis
5 *
6 * Permission to use, copy, modify, and distribute this software for any
7 * purpose with or without fee is hereby granted, provided that the above
8 * copyright notice and this permission notice appear in all copies.
9 *
10 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
11 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
12 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
13 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
17 */
18
19 #include <sys/param.h>
20 #include <sys/reboot.h>
21 #include <dev/cons.h>
22
23 #include <lib/libkern/libkern.h>
24 #include <lib/libsa/loadfile.h>
25 #include <sys/exec_elf.h>
26
27 #include <efi.h>
28 #include <stand/boot/cmd.h>
29
30 #include "efiboot.h"
31 #include "libsa.h"
32 #include "fdt.h"
33
34 typedef void (*startfuncp)(void *, void *, void *) __attribute__ ((noreturn));
35
36 unsigned int cpu_get_dcache_line_size(void);
37 void cpu_flush_dcache(vaddr_t, vsize_t);
38 void cpu_inval_icache(void);
39
40 void
cpu_flush_dcache(vaddr_t addr,vsize_t len)41 cpu_flush_dcache(vaddr_t addr, vsize_t len)
42 {
43 __asm volatile("fence" ::: "memory");
44 }
45
46 void
cpu_inval_icache(void)47 cpu_inval_icache(void)
48 {
49 __asm volatile("fence.i" ::: "memory");
50 }
51
52 void
run_loadfile(uint64_t * marks,int howto)53 run_loadfile(uint64_t *marks, int howto)
54 {
55 char args[256];
56 char *cp;
57 void *fdt;
58
59 strlcpy(args, cmd.path, sizeof(args));
60 cp = args + strlen(args);
61
62 *cp++ = ' ';
63 *cp = '-';
64 if (howto & RB_ASKNAME)
65 *++cp = 'a';
66 if (howto & RB_CONFIG)
67 *++cp = 'c';
68 if (howto & RB_SINGLE)
69 *++cp = 's';
70 if (howto & RB_KDB)
71 *++cp = 'd';
72 if (*cp == '-')
73 *--cp = 0;
74 else
75 *++cp = 0;
76
77 fdt = efi_makebootargs(args, howto);
78
79 efi_cleanup();
80
81 cpu_flush_dcache(marks[MARK_ENTRY], marks[MARK_END] - marks[MARK_ENTRY]);
82 cpu_inval_icache();
83
84 cpu_flush_dcache((vaddr_t)fdt, fdt_get_size(fdt));
85
86 (*(startfuncp)(marks[MARK_ENTRY]))((void *)marks[MARK_END], 0, fdt);
87
88 /* NOTREACHED */
89 }
90