1f8ca5d45SAhmad Khalifa /*-
2f8ca5d45SAhmad Khalifa * Copyright (c) 1998 Michael Smith <msmith@freebsd.org>
3f8ca5d45SAhmad Khalifa * Copyright (c) 2014 The FreeBSD Foundation
4f8ca5d45SAhmad Khalifa * All rights reserved.
5f8ca5d45SAhmad Khalifa *
6f8ca5d45SAhmad Khalifa * Redistribution and use in source and binary forms, with or without
7f8ca5d45SAhmad Khalifa * modification, are permitted provided that the following conditions
8f8ca5d45SAhmad Khalifa * are met:
9f8ca5d45SAhmad Khalifa * 1. Redistributions of source code must retain the above copyright
10f8ca5d45SAhmad Khalifa * notice, this list of conditions and the following disclaimer.
11f8ca5d45SAhmad Khalifa * 2. Redistributions in binary form must reproduce the above copyright
12f8ca5d45SAhmad Khalifa * notice, this list of conditions and the following disclaimer in the
13f8ca5d45SAhmad Khalifa * documentation and/or other materials provided with the distribution.
14f8ca5d45SAhmad Khalifa *
15f8ca5d45SAhmad Khalifa * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16f8ca5d45SAhmad Khalifa * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17f8ca5d45SAhmad Khalifa * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18f8ca5d45SAhmad Khalifa * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19f8ca5d45SAhmad Khalifa * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20f8ca5d45SAhmad Khalifa * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21f8ca5d45SAhmad Khalifa * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22f8ca5d45SAhmad Khalifa * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23f8ca5d45SAhmad Khalifa * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24f8ca5d45SAhmad Khalifa * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25f8ca5d45SAhmad Khalifa * SUCH DAMAGE.
26f8ca5d45SAhmad Khalifa */
27f8ca5d45SAhmad Khalifa
28f8ca5d45SAhmad Khalifa #define __ELF_WORD_SIZE 64
29f8ca5d45SAhmad Khalifa #include <sys/param.h>
30f8ca5d45SAhmad Khalifa #include <sys/linker.h>
31*5e8bd45fSAhmad Khalifa #include <vm/vm.h>
32*5e8bd45fSAhmad Khalifa #include <vm/pmap.h>
33f8ca5d45SAhmad Khalifa #include <machine/elf.h>
34*5e8bd45fSAhmad Khalifa #include <machine/pmap_pae.h>
35*5e8bd45fSAhmad Khalifa #include <machine/segments.h>
36f8ca5d45SAhmad Khalifa
37f8ca5d45SAhmad Khalifa #include <efi.h>
38f8ca5d45SAhmad Khalifa #include <efilib.h>
39f8ca5d45SAhmad Khalifa
40f8ca5d45SAhmad Khalifa #include "bootstrap.h"
41f8ca5d45SAhmad Khalifa
42f8ca5d45SAhmad Khalifa #include "loader_efi.h"
43f8ca5d45SAhmad Khalifa
44f8ca5d45SAhmad Khalifa static int elf64_exec(struct preloaded_file *amp);
45f8ca5d45SAhmad Khalifa static int elf64_obj_exec(struct preloaded_file *amp);
46f8ca5d45SAhmad Khalifa
47f8ca5d45SAhmad Khalifa static struct file_format amd64_elf = {
48f8ca5d45SAhmad Khalifa .l_load = elf64_loadfile,
49f8ca5d45SAhmad Khalifa .l_exec = elf64_exec
50f8ca5d45SAhmad Khalifa };
51f8ca5d45SAhmad Khalifa
52f8ca5d45SAhmad Khalifa static struct file_format amd64_elf_obj = {
53f8ca5d45SAhmad Khalifa .l_load = elf64_obj_loadfile,
54f8ca5d45SAhmad Khalifa .l_exec = elf64_obj_exec
55f8ca5d45SAhmad Khalifa };
56f8ca5d45SAhmad Khalifa
57f8ca5d45SAhmad Khalifa struct file_format *file_formats[] = {
58f8ca5d45SAhmad Khalifa &amd64_elf,
59f8ca5d45SAhmad Khalifa &amd64_elf_obj,
60f8ca5d45SAhmad Khalifa NULL
61f8ca5d45SAhmad Khalifa };
62f8ca5d45SAhmad Khalifa
63*5e8bd45fSAhmad Khalifa /*
64*5e8bd45fSAhmad Khalifa * i386's pmap_pae.h doesn't provide this, so
65*5e8bd45fSAhmad Khalifa * just typedef our own.
66*5e8bd45fSAhmad Khalifa */
67*5e8bd45fSAhmad Khalifa typedef pdpt_entry_t pml4_entry_t;
68f8ca5d45SAhmad Khalifa
69f8ca5d45SAhmad Khalifa static void (*trampoline)(uint32_t stack, void *copy_finish, uint32_t kernend,
70*5e8bd45fSAhmad Khalifa uint32_t modulep, uint64_t *pagetable, void *gdtr, uint64_t entry);
71f8ca5d45SAhmad Khalifa
72f8ca5d45SAhmad Khalifa extern void *amd64_tramp;
73f8ca5d45SAhmad Khalifa extern uint32_t amd64_tramp_size;
74f8ca5d45SAhmad Khalifa
75f8ca5d45SAhmad Khalifa /*
76f8ca5d45SAhmad Khalifa * There is an ELF kernel and one or more ELF modules loaded.
77f8ca5d45SAhmad Khalifa * We wish to start executing the kernel image, so make such
78f8ca5d45SAhmad Khalifa * preparations as are required, and do so.
79f8ca5d45SAhmad Khalifa */
80f8ca5d45SAhmad Khalifa static int
elf64_exec(struct preloaded_file * fp)81f8ca5d45SAhmad Khalifa elf64_exec(struct preloaded_file *fp)
82f8ca5d45SAhmad Khalifa {
83*5e8bd45fSAhmad Khalifa /*
84*5e8bd45fSAhmad Khalifa * segments.h gives us a 32-bit gdtr, but
85*5e8bd45fSAhmad Khalifa * we want a 64-bit one, so define our own.
86*5e8bd45fSAhmad Khalifa */
87*5e8bd45fSAhmad Khalifa struct {
88*5e8bd45fSAhmad Khalifa uint16_t rd_limit;
89*5e8bd45fSAhmad Khalifa uint64_t rd_base;
90*5e8bd45fSAhmad Khalifa } __packed *gdtr;
91f8ca5d45SAhmad Khalifa EFI_PHYSICAL_ADDRESS ptr;
92f8ca5d45SAhmad Khalifa EFI_ALLOCATE_TYPE type;
93f8ca5d45SAhmad Khalifa EFI_STATUS err;
94f8ca5d45SAhmad Khalifa struct file_metadata *md;
95f8ca5d45SAhmad Khalifa Elf_Ehdr *ehdr;
96*5e8bd45fSAhmad Khalifa pml4_entry_t *PT4;
97*5e8bd45fSAhmad Khalifa pdpt_entry_t *PT3;
98*5e8bd45fSAhmad Khalifa pd_entry_t *PT2;
99*5e8bd45fSAhmad Khalifa struct user_segment_descriptor *gdt;
100f8ca5d45SAhmad Khalifa vm_offset_t modulep, kernend, trampstack;
101f8ca5d45SAhmad Khalifa int i;
102f8ca5d45SAhmad Khalifa
103f8ca5d45SAhmad Khalifa switch (copy_staging) {
104f8ca5d45SAhmad Khalifa case COPY_STAGING_ENABLE:
105f8ca5d45SAhmad Khalifa type = AllocateMaxAddress;
106f8ca5d45SAhmad Khalifa break;
107f8ca5d45SAhmad Khalifa case COPY_STAGING_DISABLE:
108f8ca5d45SAhmad Khalifa type = AllocateAnyPages;
109f8ca5d45SAhmad Khalifa break;
110f8ca5d45SAhmad Khalifa case COPY_STAGING_AUTO:
111f8ca5d45SAhmad Khalifa type = fp->f_kernphys_relocatable ?
112f8ca5d45SAhmad Khalifa AllocateAnyPages : AllocateMaxAddress;
113f8ca5d45SAhmad Khalifa break;
114f8ca5d45SAhmad Khalifa }
115f8ca5d45SAhmad Khalifa
116f8ca5d45SAhmad Khalifa if ((md = file_findmetadata(fp, MODINFOMD_ELFHDR)) == NULL)
117f8ca5d45SAhmad Khalifa return (EFTYPE);
118f8ca5d45SAhmad Khalifa ehdr = (Elf_Ehdr *)&(md->md_data);
119f8ca5d45SAhmad Khalifa
120f8ca5d45SAhmad Khalifa ptr = G(1);
121f8ca5d45SAhmad Khalifa err = BS->AllocatePages(type, EfiLoaderCode,
122*5e8bd45fSAhmad Khalifa EFI_SIZE_TO_PAGES(amd64_tramp_size), &ptr);
123f8ca5d45SAhmad Khalifa if (EFI_ERROR(err)) {
124f8ca5d45SAhmad Khalifa printf("Unable to allocate trampoline\n");
125f8ca5d45SAhmad Khalifa return (ENOMEM);
126f8ca5d45SAhmad Khalifa }
127f8ca5d45SAhmad Khalifa
128f8ca5d45SAhmad Khalifa trampoline = (void *)(uintptr_t)ptr;
129f8ca5d45SAhmad Khalifa bcopy(&amd64_tramp, trampoline, amd64_tramp_size);
130f8ca5d45SAhmad Khalifa
131*5e8bd45fSAhmad Khalifa /*
132*5e8bd45fSAhmad Khalifa * Allocate enough space for the GDTR + two GDT segments +
133*5e8bd45fSAhmad Khalifa * our temporary stack (28 bytes).
134*5e8bd45fSAhmad Khalifa */
135*5e8bd45fSAhmad Khalifa #define DATASZ (sizeof(*gdtr) + \
136*5e8bd45fSAhmad Khalifa sizeof(struct user_segment_descriptor) * 2 + 28)
137*5e8bd45fSAhmad Khalifa
138f8ca5d45SAhmad Khalifa ptr = G(1);
139f8ca5d45SAhmad Khalifa err = BS->AllocatePages(type, EfiLoaderData,
140*5e8bd45fSAhmad Khalifa EFI_SIZE_TO_PAGES(DATASZ), &ptr);
141f8ca5d45SAhmad Khalifa if (EFI_ERROR(err)) {
142*5e8bd45fSAhmad Khalifa printf("Unable to allocate GDT and stack\n");
143f8ca5d45SAhmad Khalifa BS->FreePages((uintptr_t)trampoline, 1);
144f8ca5d45SAhmad Khalifa return (ENOMEM);
145f8ca5d45SAhmad Khalifa }
146*5e8bd45fSAhmad Khalifa
147*5e8bd45fSAhmad Khalifa trampstack = ptr + DATASZ;
148*5e8bd45fSAhmad Khalifa
149*5e8bd45fSAhmad Khalifa #undef DATASZ
150*5e8bd45fSAhmad Khalifa
151*5e8bd45fSAhmad Khalifa gdt = (void *)(uintptr_t)ptr;
152*5e8bd45fSAhmad Khalifa gdt[0] = (struct user_segment_descriptor) { 0 };
153*5e8bd45fSAhmad Khalifa gdt[1] = (struct user_segment_descriptor) {
154*5e8bd45fSAhmad Khalifa .sd_p = 1, .sd_long = 1, .sd_type = SDT_MEMERC
155*5e8bd45fSAhmad Khalifa };
156*5e8bd45fSAhmad Khalifa
157*5e8bd45fSAhmad Khalifa gdtr = (void *)(uintptr_t)(ptr +
158*5e8bd45fSAhmad Khalifa sizeof(struct user_segment_descriptor) * 2);
159*5e8bd45fSAhmad Khalifa gdtr->rd_limit = sizeof(struct user_segment_descriptor) * 2 - 1;
160*5e8bd45fSAhmad Khalifa gdtr->rd_base = (uintptr_t)gdt;
161f8ca5d45SAhmad Khalifa
162f8ca5d45SAhmad Khalifa if (type == AllocateMaxAddress) {
163f8ca5d45SAhmad Khalifa /* Copy staging enabled */
164f8ca5d45SAhmad Khalifa
165f8ca5d45SAhmad Khalifa ptr = G(1);
166f8ca5d45SAhmad Khalifa err = BS->AllocatePages(AllocateMaxAddress, EfiLoaderData,
167f8ca5d45SAhmad Khalifa EFI_SIZE_TO_PAGES(512 * 3 * sizeof(uint64_t)), &ptr);
168f8ca5d45SAhmad Khalifa if (EFI_ERROR(err)) {
169f8ca5d45SAhmad Khalifa printf("Unable to allocate trampoline page table\n");
170f8ca5d45SAhmad Khalifa BS->FreePages((uintptr_t)trampoline, 1);
171*5e8bd45fSAhmad Khalifa BS->FreePages((uintptr_t)gdt, 1);
172f8ca5d45SAhmad Khalifa return (ENOMEM);
173f8ca5d45SAhmad Khalifa }
174*5e8bd45fSAhmad Khalifa PT4 = (pml4_entry_t *)(uintptr_t)ptr;
175f8ca5d45SAhmad Khalifa
176f8ca5d45SAhmad Khalifa PT3 = &PT4[512];
177f8ca5d45SAhmad Khalifa PT2 = &PT3[512];
178f8ca5d45SAhmad Khalifa
179f8ca5d45SAhmad Khalifa /*
180f8ca5d45SAhmad Khalifa * This is kinda brutal, but every single 1GB VM
181f8ca5d45SAhmad Khalifa * memory segment points to the same first 1GB of
182f8ca5d45SAhmad Khalifa * physical memory. But it is more than adequate.
183f8ca5d45SAhmad Khalifa */
184f8ca5d45SAhmad Khalifa for (i = 0; i < 512; i++) {
185f8ca5d45SAhmad Khalifa /*
186f8ca5d45SAhmad Khalifa * Each slot of the L4 pages points to the
187f8ca5d45SAhmad Khalifa * same L3 page.
188f8ca5d45SAhmad Khalifa */
189f8ca5d45SAhmad Khalifa PT4[i] = (uintptr_t)PT3 | PG_V | PG_RW;
190f8ca5d45SAhmad Khalifa
191f8ca5d45SAhmad Khalifa /*
192f8ca5d45SAhmad Khalifa * Each slot of the L3 pages points to the
193f8ca5d45SAhmad Khalifa * same L2 page.
194f8ca5d45SAhmad Khalifa */
195f8ca5d45SAhmad Khalifa PT3[i] = (uintptr_t)PT2 | PG_V | PG_RW;
196f8ca5d45SAhmad Khalifa
197f8ca5d45SAhmad Khalifa /*
198f8ca5d45SAhmad Khalifa * The L2 page slots are mapped with 2MB pages for 1GB.
199f8ca5d45SAhmad Khalifa */
200f8ca5d45SAhmad Khalifa PT2[i] = (i * M(2)) | PG_V | PG_RW | PG_PS;
201f8ca5d45SAhmad Khalifa }
202f8ca5d45SAhmad Khalifa } else {
203*5e8bd45fSAhmad Khalifa pdpt_entry_t *PT3_l, *PT3_u;
204*5e8bd45fSAhmad Khalifa pd_entry_t *PT2_l0, *PT2_l1, *PT2_l2, *PT2_l3, *PT2_u0, *PT2_u1;
205*5e8bd45fSAhmad Khalifa
206f8ca5d45SAhmad Khalifa err = BS->AllocatePages(AllocateAnyPages, EfiLoaderData,
207f8ca5d45SAhmad Khalifa EFI_SIZE_TO_PAGES(512 * 9 * sizeof(uint64_t)), &ptr);
208f8ca5d45SAhmad Khalifa if (EFI_ERROR(err)) {
209f8ca5d45SAhmad Khalifa printf("Unable to allocate trampoline page table\n");
210f8ca5d45SAhmad Khalifa BS->FreePages((uintptr_t)trampoline, 1);
211*5e8bd45fSAhmad Khalifa BS->FreePages((uintptr_t)gdt, 1);
212f8ca5d45SAhmad Khalifa return (ENOMEM);
213f8ca5d45SAhmad Khalifa }
214*5e8bd45fSAhmad Khalifa PT4 = (pml4_entry_t *)(uintptr_t)ptr;
215f8ca5d45SAhmad Khalifa
216f8ca5d45SAhmad Khalifa PT3_l = &PT4[512];
217f8ca5d45SAhmad Khalifa PT3_u = &PT3_l[512];
218f8ca5d45SAhmad Khalifa PT2_l0 = &PT3_u[512];
219f8ca5d45SAhmad Khalifa PT2_l1 = &PT2_l0[512];
220f8ca5d45SAhmad Khalifa PT2_l2 = &PT2_l1[512];
221f8ca5d45SAhmad Khalifa PT2_l3 = &PT2_l2[512];
222f8ca5d45SAhmad Khalifa PT2_u0 = &PT2_l3[512];
223f8ca5d45SAhmad Khalifa PT2_u1 = &PT2_u0[512];
224f8ca5d45SAhmad Khalifa
225f8ca5d45SAhmad Khalifa /* 1:1 mapping of lower 4G */
226f8ca5d45SAhmad Khalifa PT4[0] = (uintptr_t)PT3_l | PG_V | PG_RW;
227f8ca5d45SAhmad Khalifa PT3_l[0] = (uintptr_t)PT2_l0 | PG_V | PG_RW;
228f8ca5d45SAhmad Khalifa PT3_l[1] = (uintptr_t)PT2_l1 | PG_V | PG_RW;
229f8ca5d45SAhmad Khalifa PT3_l[2] = (uintptr_t)PT2_l2 | PG_V | PG_RW;
230f8ca5d45SAhmad Khalifa PT3_l[3] = (uintptr_t)PT2_l3 | PG_V | PG_RW;
231f8ca5d45SAhmad Khalifa for (i = 0; i < 2048; i++) {
232*5e8bd45fSAhmad Khalifa PT2_l0[i] = ((pd_entry_t)i * M(2)) | PG_V | PG_RW | PG_PS;
233f8ca5d45SAhmad Khalifa }
234f8ca5d45SAhmad Khalifa
235f8ca5d45SAhmad Khalifa /* mapping of kernel 2G below top */
236f8ca5d45SAhmad Khalifa PT4[511] = (uintptr_t)PT3_u | PG_V | PG_RW;
237f8ca5d45SAhmad Khalifa PT3_u[511] = (uintptr_t)PT2_u1 | PG_V | PG_RW;
238f8ca5d45SAhmad Khalifa PT3_u[510] = (uintptr_t)PT2_u0 | PG_V | PG_RW;
239f8ca5d45SAhmad Khalifa /* compat mapping of phys @0 */
240f8ca5d45SAhmad Khalifa PT2_u0[0] = PG_PS | PG_V | PG_RW;
241f8ca5d45SAhmad Khalifa /* this maps past staging area */
242f8ca5d45SAhmad Khalifa for (i = 1; i < 1024; i++) {
243f8ca5d45SAhmad Khalifa PT2_u0[i] = (staging + (i - 1) * M(2))
244f8ca5d45SAhmad Khalifa | PG_V | PG_RW | PG_PS;
245f8ca5d45SAhmad Khalifa }
246f8ca5d45SAhmad Khalifa }
247f8ca5d45SAhmad Khalifa
248f8ca5d45SAhmad Khalifa printf(
249f8ca5d45SAhmad Khalifa "staging %#llx (%scopying) tramp %p PT4 %p GDT %p\n"
250f8ca5d45SAhmad Khalifa "Start @ %#llx ...\n", staging,
251*5e8bd45fSAhmad Khalifa type == AllocateMaxAddress ? "" : "not ", trampoline, PT4, gdt,
252f8ca5d45SAhmad Khalifa ehdr->e_entry
253f8ca5d45SAhmad Khalifa );
254f8ca5d45SAhmad Khalifa
255f8ca5d45SAhmad Khalifa efi_time_fini();
256f8ca5d45SAhmad Khalifa err = bi_load(fp->f_args, &modulep, &kernend, true);
257f8ca5d45SAhmad Khalifa if (err != 0) {
258f8ca5d45SAhmad Khalifa efi_time_init();
259f8ca5d45SAhmad Khalifa return (err);
260f8ca5d45SAhmad Khalifa }
261f8ca5d45SAhmad Khalifa
262f8ca5d45SAhmad Khalifa dev_cleanup();
263f8ca5d45SAhmad Khalifa
264f8ca5d45SAhmad Khalifa trampoline(trampstack, type == AllocateMaxAddress ? efi_copy_finish :
265f8ca5d45SAhmad Khalifa efi_copy_finish_nop, kernend, modulep, PT4, gdtr, ehdr->e_entry);
266f8ca5d45SAhmad Khalifa
267f8ca5d45SAhmad Khalifa panic("exec returned");
268f8ca5d45SAhmad Khalifa }
269f8ca5d45SAhmad Khalifa
270f8ca5d45SAhmad Khalifa static int
elf64_obj_exec(struct preloaded_file * fp)271f8ca5d45SAhmad Khalifa elf64_obj_exec(struct preloaded_file *fp)
272f8ca5d45SAhmad Khalifa {
273f8ca5d45SAhmad Khalifa return (EFTYPE);
274f8ca5d45SAhmad Khalifa }
275