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 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 271f8ca5d45SAhmad Khalifa elf64_obj_exec(struct preloaded_file *fp) 272f8ca5d45SAhmad Khalifa { 273f8ca5d45SAhmad Khalifa return (EFTYPE); 274f8ca5d45SAhmad Khalifa } 275