1 /*- 2 * Copyright (c) 1998 Doug Rabson 3 * Copyright (c) 2004 Peter Wemm 4 * All rights reserved. 5 * 6 * Redistribution and use in source and binary forms, with or without 7 * modification, are permitted provided that the following conditions 8 * are met: 9 * 1. Redistributions of source code must retain the above copyright 10 * notice, this list of conditions and the following disclaimer. 11 * 2. Redistributions in binary form must reproduce the above copyright 12 * notice, this list of conditions and the following disclaimer in the 13 * documentation and/or other materials provided with the distribution. 14 * 15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 16 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 19 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 20 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 21 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 22 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 23 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 24 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 25 * SUCH DAMAGE. 26 * 27 * $FreeBSD: src/sys/kern/link_elf.c,v 1.24 1999/12/24 15:33:36 bde Exp $ 28 */ 29 30 #include <sys/param.h> 31 #include <sys/kernel.h> 32 #include <sys/systm.h> 33 #include <sys/malloc.h> 34 #include <sys/proc.h> 35 #include <sys/nlookup.h> 36 #include <sys/fcntl.h> 37 #include <sys/vnode.h> 38 #include <sys/linker.h> 39 #include <machine/elf.h> 40 41 #include <vm/vm.h> 42 #include <vm/vm_param.h> 43 #include <vm/vm_zone.h> 44 #include <vm/vm_object.h> 45 #include <vm/vm_kern.h> 46 #include <vm/vm_extern.h> 47 #include <sys/lock.h> 48 #include <vm/pmap.h> 49 #include <vm/vm_map.h> 50 51 static int link_elf_obj_preload_file(const char *, linker_file_t *); 52 static int link_elf_obj_preload_finish(linker_file_t); 53 static int link_elf_obj_load_file(const char *, linker_file_t *); 54 static int 55 link_elf_obj_lookup_symbol(linker_file_t, const char *, 56 c_linker_sym_t *); 57 static int link_elf_obj_symbol_values(linker_file_t, c_linker_sym_t, linker_symval_t *); 58 static int 59 link_elf_obj_search_symbol(linker_file_t, caddr_t value, 60 c_linker_sym_t * sym, long *diffp); 61 62 static void link_elf_obj_unload_file(linker_file_t); 63 static int 64 link_elf_obj_lookup_set(linker_file_t, const char *, 65 void ***, void ***, int *); 66 static void link_elf_obj_reloc_local(linker_file_t lf); 67 static int elf_obj_lookup(linker_file_t lf, Elf_Size symidx, int deps, Elf_Addr *); 68 69 static struct linker_class_ops link_elf_obj_class_ops = { 70 link_elf_obj_load_file, 71 link_elf_obj_preload_file, 72 }; 73 74 static struct linker_file_ops link_elf_obj_file_ops = { 75 .lookup_symbol = link_elf_obj_lookup_symbol, 76 .symbol_values = link_elf_obj_symbol_values, 77 .search_symbol = link_elf_obj_search_symbol, 78 .preload_finish = link_elf_obj_preload_finish, 79 .unload = link_elf_obj_unload_file, 80 .lookup_set = link_elf_obj_lookup_set, 81 }; 82 83 typedef struct { 84 void *addr; 85 Elf_Off size; 86 int flags; 87 int sec; /* Original section */ 88 char *name; 89 } Elf_progent; 90 91 typedef struct { 92 Elf_Rel *rel; 93 int nrel; 94 int sec; 95 } Elf_relent; 96 97 typedef struct { 98 Elf_Rela *rela; 99 int nrela; 100 int sec; 101 } Elf_relaent; 102 103 104 typedef struct elf_file { 105 int preloaded; 106 107 caddr_t address; /* Relocation address */ 108 size_t bytes; /* Chunk size in bytes */ 109 vm_object_t object; /* VM object to hold file pages */ 110 Elf_Shdr *e_shdr; 111 112 Elf_progent *progtab; 113 int nprogtab; 114 115 Elf_relaent *relatab; 116 int nrelatab; 117 118 Elf_relent *reltab; 119 int nreltab; 120 121 Elf_Sym *ddbsymtab; /* The symbol table we are using */ 122 long ddbsymcnt; /* Number of symbols */ 123 caddr_t ddbstrtab; /* String table */ 124 long ddbstrcnt; /* number of bytes in string table */ 125 126 caddr_t shstrtab; /* Section name string table */ 127 long shstrcnt; /* number of bytes in string table */ 128 129 caddr_t ctftab; /* CTF table */ 130 long ctfcnt; /* number of bytes in CTF table */ 131 caddr_t ctfoff; /* CTF offset table */ 132 caddr_t typoff; /* Type offset table */ 133 long typlen; /* Number of type entries. */ 134 135 } *elf_file_t; 136 137 static int relocate_file(linker_file_t lf); 138 139 /* 140 * The kernel symbol table starts here. 141 */ 142 extern struct _dynamic _DYNAMIC; 143 144 static void 145 link_elf_obj_init(void *arg) 146 { 147 #if ELF_TARG_CLASS == ELFCLASS32 148 linker_add_class("elf32", NULL, &link_elf_obj_class_ops); 149 #else 150 linker_add_class("elf64", NULL, &link_elf_obj_class_ops); 151 #endif 152 } 153 154 SYSINIT(link_elf, SI_BOOT2_KLD, SI_ORDER_SECOND, link_elf_obj_init, 0); 155 156 static void 157 link_elf_obj_error(const char *file, const char *s) 158 { 159 kprintf("kldload: %s: %s\n", file, s); 160 } 161 162 static int 163 link_elf_obj_preload_file(const char *filename, linker_file_t *result) 164 { 165 Elf_Ehdr *hdr; 166 Elf_Shdr *shdr; 167 Elf_Sym *es; 168 caddr_t modptr, baseptr, sizeptr; 169 char *type; 170 elf_file_t ef; 171 linker_file_t lf; 172 Elf_Addr off; 173 int error, i, j, pb, ra, rl, shstrindex, symstrindex, symtabindex; 174 175 /* 176 * Look to see if we have the module preloaded. 177 */ 178 modptr = preload_search_by_name(filename); 179 if (modptr == NULL) 180 return ENOENT; 181 182 /* It's preloaded, check we can handle it and collect information */ 183 type = (char *)preload_search_info(modptr, MODINFO_TYPE); 184 baseptr = preload_search_info(modptr, MODINFO_ADDR); 185 sizeptr = preload_search_info(modptr, MODINFO_SIZE); 186 hdr = (Elf_Ehdr *) preload_search_info(modptr, MODINFO_METADATA | 187 MODINFOMD_ELFHDR); 188 shdr = (Elf_Shdr *) preload_search_info(modptr, MODINFO_METADATA | 189 MODINFOMD_SHDR); 190 if (type == NULL || 191 (strcmp(type, "elf" __XSTRING(__ELF_WORD_SIZE) " obj module") != 0 && 192 strcmp(type, "elf obj module") != 0)) { 193 return (EFTYPE); 194 } 195 if (baseptr == NULL || sizeptr == NULL || hdr == NULL || shdr == NULL) 196 return (EINVAL); 197 198 ef = kmalloc(sizeof(struct elf_file), M_LINKER, M_WAITOK | M_ZERO); 199 ef->preloaded = 1; 200 ef->address = *(caddr_t *) baseptr; 201 ef->bytes = 0; 202 lf = linker_make_file(filename, ef, &link_elf_obj_file_ops); 203 if (lf == NULL) { 204 kfree(ef, M_LINKER); 205 return ENOMEM; 206 } 207 lf->address = ef->address; 208 lf->size = *(size_t *) sizeptr; 209 210 if (hdr->e_ident[EI_CLASS] != ELF_TARG_CLASS || 211 hdr->e_ident[EI_DATA] != ELF_TARG_DATA || 212 hdr->e_ident[EI_VERSION] != EV_CURRENT || 213 hdr->e_version != EV_CURRENT || 214 hdr->e_type != ET_REL || 215 hdr->e_machine != ELF_TARG_MACH) { 216 error = EFTYPE; 217 goto out; 218 } 219 ef->e_shdr = shdr; 220 221 /* Scan the section header for information and table sizing. */ 222 symtabindex = -1; 223 symstrindex = -1; 224 for (i = 0; i < hdr->e_shnum; i++) { 225 switch (shdr[i].sh_type) { 226 case SHT_PROGBITS: 227 case SHT_NOBITS: 228 ef->nprogtab++; 229 break; 230 case SHT_SYMTAB: 231 symtabindex = i; 232 symstrindex = shdr[i].sh_link; 233 break; 234 case SHT_REL: 235 ef->nreltab++; 236 break; 237 case SHT_RELA: 238 ef->nrelatab++; 239 break; 240 } 241 } 242 243 shstrindex = hdr->e_shstrndx; 244 if (ef->nprogtab == 0 || symstrindex < 0 || 245 symstrindex >= hdr->e_shnum || 246 shdr[symstrindex].sh_type != SHT_STRTAB || shstrindex == 0 || 247 shstrindex >= hdr->e_shnum || 248 shdr[shstrindex].sh_type != SHT_STRTAB) { 249 error = ENOEXEC; 250 goto out; 251 } 252 /* Allocate space for tracking the load chunks */ 253 if (ef->nprogtab != 0) 254 ef->progtab = kmalloc(ef->nprogtab * sizeof(*ef->progtab), 255 M_LINKER, M_WAITOK | M_ZERO); 256 if (ef->nreltab != 0) 257 ef->reltab = kmalloc(ef->nreltab * sizeof(*ef->reltab), 258 M_LINKER, M_WAITOK | M_ZERO); 259 if (ef->nrelatab != 0) 260 ef->relatab = kmalloc(ef->nrelatab * sizeof(*ef->relatab), 261 M_LINKER, M_WAITOK | M_ZERO); 262 if ((ef->nprogtab != 0 && ef->progtab == NULL) || 263 (ef->nreltab != 0 && ef->reltab == NULL) || 264 (ef->nrelatab != 0 && ef->relatab == NULL)) { 265 error = ENOMEM; 266 goto out; 267 } 268 /* XXX, relocate the sh_addr fields saved by the loader. */ 269 off = 0; 270 for (i = 0; i < hdr->e_shnum; i++) { 271 if (shdr[i].sh_addr != 0 && (off == 0 || shdr[i].sh_addr < off)) 272 off = shdr[i].sh_addr; 273 } 274 for (i = 0; i < hdr->e_shnum; i++) { 275 if (shdr[i].sh_addr != 0) 276 shdr[i].sh_addr = shdr[i].sh_addr - off + 277 (Elf_Addr) ef->address; 278 } 279 280 ef->ddbsymcnt = shdr[symtabindex].sh_size / sizeof(Elf_Sym); 281 ef->ddbsymtab = (Elf_Sym *) shdr[symtabindex].sh_addr; 282 ef->ddbstrcnt = shdr[symstrindex].sh_size; 283 ef->ddbstrtab = (char *)shdr[symstrindex].sh_addr; 284 ef->shstrcnt = shdr[shstrindex].sh_size; 285 ef->shstrtab = (char *)shdr[shstrindex].sh_addr; 286 287 /* Now fill out progtab and the relocation tables. */ 288 pb = 0; 289 rl = 0; 290 ra = 0; 291 for (i = 0; i < hdr->e_shnum; i++) { 292 switch (shdr[i].sh_type) { 293 case SHT_PROGBITS: 294 case SHT_NOBITS: 295 ef->progtab[pb].addr = (void *)shdr[i].sh_addr; 296 if (shdr[i].sh_type == SHT_PROGBITS) 297 ef->progtab[pb].name = "<<PROGBITS>>"; 298 else 299 ef->progtab[pb].name = "<<NOBITS>>"; 300 ef->progtab[pb].size = shdr[i].sh_size; 301 ef->progtab[pb].sec = i; 302 if (ef->shstrtab && shdr[i].sh_name != 0) 303 ef->progtab[pb].name = 304 ef->shstrtab + shdr[i].sh_name; 305 #if 0 306 if (ef->progtab[pb].name != NULL && 307 !strcmp(ef->progtab[pb].name, "set_pcpu")) { 308 void *dpcpu; 309 310 dpcpu = dpcpu_alloc(shdr[i].sh_size); 311 if (dpcpu == NULL) { 312 error = ENOSPC; 313 goto out; 314 } 315 memcpy(dpcpu, ef->progtab[pb].addr, 316 ef->progtab[pb].size); 317 dpcpu_copy(dpcpu, shdr[i].sh_size); 318 ef->progtab[pb].addr = dpcpu; 319 #ifdef VIMAGE 320 } else if (ef->progtab[pb].name != NULL && 321 !strcmp(ef->progtab[pb].name, VNET_SETNAME)) { 322 void *vnet_data; 323 324 vnet_data = vnet_data_alloc(shdr[i].sh_size); 325 if (vnet_data == NULL) { 326 error = ENOSPC; 327 goto out; 328 } 329 memcpy(vnet_data, ef->progtab[pb].addr, 330 ef->progtab[pb].size); 331 vnet_data_copy(vnet_data, shdr[i].sh_size); 332 ef->progtab[pb].addr = vnet_data; 333 #endif 334 } 335 #endif 336 /* Update all symbol values with the offset. */ 337 for (j = 0; j < ef->ddbsymcnt; j++) { 338 es = &ef->ddbsymtab[j]; 339 if (es->st_shndx != i) 340 continue; 341 es->st_value += (Elf_Addr) ef->progtab[pb].addr; 342 } 343 pb++; 344 break; 345 case SHT_REL: 346 ef->reltab[rl].rel = (Elf_Rel *) shdr[i].sh_addr; 347 ef->reltab[rl].nrel = shdr[i].sh_size / sizeof(Elf_Rel); 348 ef->reltab[rl].sec = shdr[i].sh_info; 349 rl++; 350 break; 351 case SHT_RELA: 352 ef->relatab[ra].rela = (Elf_Rela *) shdr[i].sh_addr; 353 ef->relatab[ra].nrela = 354 shdr[i].sh_size / sizeof(Elf_Rela); 355 ef->relatab[ra].sec = shdr[i].sh_info; 356 ra++; 357 break; 358 } 359 } 360 if (pb != ef->nprogtab) 361 panic("lost progbits"); 362 if (rl != ef->nreltab) 363 panic("lost reltab"); 364 if (ra != ef->nrelatab) 365 panic("lost relatab"); 366 367 /* Local intra-module relocations */ 368 link_elf_obj_reloc_local(lf); 369 370 *result = lf; 371 return (0); 372 373 out: 374 /* preload not done this way */ 375 linker_file_unload(lf /* , LINKER_UNLOAD_FORCE */ ); 376 return (error); 377 } 378 379 static int 380 link_elf_obj_preload_finish(linker_file_t lf) 381 { 382 int error; 383 384 error = relocate_file(lf); 385 386 return (error); 387 } 388 389 static int 390 link_elf_obj_load_file(const char *filename, linker_file_t * result) 391 { 392 struct nlookupdata nd; 393 struct thread *td = curthread; /* XXX */ 394 struct proc *p = td->td_proc; 395 char *pathname; 396 struct vnode *vp; 397 Elf_Ehdr *hdr; 398 Elf_Shdr *shdr; 399 Elf_Sym *es; 400 int nbytes, i, j; 401 vm_offset_t mapbase; 402 size_t mapsize; 403 int error = 0; 404 int resid; 405 elf_file_t ef; 406 linker_file_t lf; 407 int symtabindex; 408 int symstrindex; 409 int shstrindex; 410 int nsym; 411 int pb, rl, ra; 412 int alignmask; 413 414 /* XXX Hack for firmware loading where p == NULL */ 415 if (p == NULL) { 416 p = &proc0; 417 } 418 419 KKASSERT(p != NULL); 420 if (p->p_ucred == NULL) { 421 kprintf("link_elf_obj_load_file: cannot load '%s' from filesystem" 422 " this early\n", filename); 423 return ENOENT; 424 } 425 shdr = NULL; 426 lf = NULL; 427 mapsize = 0; 428 hdr = NULL; 429 pathname = linker_search_path(filename); 430 if (pathname == NULL) 431 return ENOENT; 432 433 error = nlookup_init(&nd, pathname, UIO_SYSSPACE, NLC_FOLLOW | NLC_LOCKVP); 434 if (error == 0) 435 error = vn_open(&nd, NULL, FREAD, 0); 436 kfree(pathname, M_LINKER); 437 if (error) { 438 nlookup_done(&nd); 439 return error; 440 } 441 vp = nd.nl_open_vp; 442 nd.nl_open_vp = NULL; 443 nlookup_done(&nd); 444 445 /* 446 * Read the elf header from the file. 447 */ 448 hdr = kmalloc(sizeof(*hdr), M_LINKER, M_WAITOK); 449 error = vn_rdwr(UIO_READ, vp, (void *)hdr, sizeof(*hdr), 0, 450 UIO_SYSSPACE, IO_NODELOCKED, p->p_ucred, &resid); 451 if (error) 452 goto out; 453 if (resid != 0) { 454 error = ENOEXEC; 455 goto out; 456 } 457 if (!IS_ELF(*hdr)) { 458 error = ENOEXEC; 459 goto out; 460 } 461 462 if (hdr->e_ident[EI_CLASS] != ELF_TARG_CLASS 463 || hdr->e_ident[EI_DATA] != ELF_TARG_DATA) { 464 link_elf_obj_error(filename, "Unsupported file layout"); 465 error = ENOEXEC; 466 goto out; 467 } 468 if (hdr->e_ident[EI_VERSION] != EV_CURRENT 469 || hdr->e_version != EV_CURRENT) { 470 link_elf_obj_error(filename, "Unsupported file version"); 471 error = ENOEXEC; 472 goto out; 473 } 474 if (hdr->e_type != ET_REL) { 475 error = ENOSYS; 476 goto out; 477 } 478 if (hdr->e_machine != ELF_TARG_MACH) { 479 link_elf_obj_error(filename, "Unsupported machine"); 480 error = ENOEXEC; 481 goto out; 482 } 483 484 ef = kmalloc(sizeof(struct elf_file), M_LINKER, M_WAITOK | M_ZERO); 485 lf = linker_make_file(filename, ef, &link_elf_obj_file_ops); 486 if (lf == NULL) { 487 kfree(ef, M_LINKER); 488 error = ENOMEM; 489 goto out; 490 } 491 ef->nprogtab = 0; 492 ef->e_shdr = NULL; 493 ef->nreltab = 0; 494 ef->nrelatab = 0; 495 496 /* Allocate and read in the section header */ 497 nbytes = hdr->e_shnum * hdr->e_shentsize; 498 if (nbytes == 0 || hdr->e_shoff == 0 || 499 hdr->e_shentsize != sizeof(Elf_Shdr)) { 500 error = ENOEXEC; 501 goto out; 502 } 503 shdr = kmalloc(nbytes, M_LINKER, M_WAITOK); 504 ef->e_shdr = shdr; 505 error = vn_rdwr(UIO_READ, vp, (caddr_t) shdr, nbytes, hdr->e_shoff, 506 UIO_SYSSPACE, IO_NODELOCKED, p->p_ucred, &resid); 507 if (error) 508 goto out; 509 if (resid) { 510 error = ENOEXEC; 511 goto out; 512 } 513 /* Scan the section header for information and table sizing. */ 514 nsym = 0; 515 symtabindex = -1; 516 symstrindex = -1; 517 for (i = 0; i < hdr->e_shnum; i++) { 518 switch (shdr[i].sh_type) { 519 case SHT_PROGBITS: 520 case SHT_NOBITS: 521 ef->nprogtab++; 522 break; 523 case SHT_SYMTAB: 524 nsym++; 525 symtabindex = i; 526 symstrindex = shdr[i].sh_link; 527 break; 528 case SHT_REL: 529 ef->nreltab++; 530 break; 531 case SHT_RELA: 532 ef->nrelatab++; 533 break; 534 case SHT_STRTAB: 535 break; 536 } 537 } 538 if (ef->nprogtab == 0) { 539 link_elf_obj_error(filename, "file has no contents"); 540 error = ENOEXEC; 541 goto out; 542 } 543 if (nsym != 1) { 544 /* Only allow one symbol table for now */ 545 link_elf_obj_error(filename, "file has no valid symbol table"); 546 error = ENOEXEC; 547 goto out; 548 } 549 if (symstrindex < 0 || symstrindex > hdr->e_shnum || 550 shdr[symstrindex].sh_type != SHT_STRTAB) { 551 link_elf_obj_error(filename, "file has invalid symbol strings"); 552 error = ENOEXEC; 553 goto out; 554 } 555 /* Allocate space for tracking the load chunks */ 556 if (ef->nprogtab != 0) 557 ef->progtab = kmalloc(ef->nprogtab * sizeof(*ef->progtab), 558 M_LINKER, M_WAITOK | M_ZERO); 559 if (ef->nreltab != 0) 560 ef->reltab = kmalloc(ef->nreltab * sizeof(*ef->reltab), 561 M_LINKER, M_WAITOK | M_ZERO); 562 if (ef->nrelatab != 0) 563 ef->relatab = kmalloc(ef->nrelatab * sizeof(*ef->relatab), 564 M_LINKER, M_WAITOK | M_ZERO); 565 if ((ef->nprogtab != 0 && ef->progtab == NULL) || 566 (ef->nreltab != 0 && ef->reltab == NULL) || 567 (ef->nrelatab != 0 && ef->relatab == NULL)) { 568 error = ENOMEM; 569 goto out; 570 } 571 if (symtabindex == -1) 572 panic("lost symbol table index"); 573 /* Allocate space for and load the symbol table */ 574 ef->ddbsymcnt = shdr[symtabindex].sh_size / sizeof(Elf_Sym); 575 ef->ddbsymtab = kmalloc(shdr[symtabindex].sh_size, M_LINKER, M_WAITOK); 576 error = vn_rdwr(UIO_READ, vp, (void *)ef->ddbsymtab, 577 shdr[symtabindex].sh_size, shdr[symtabindex].sh_offset, 578 UIO_SYSSPACE, IO_NODELOCKED, p->p_ucred, &resid); 579 if (error) 580 goto out; 581 if (resid != 0) { 582 error = EINVAL; 583 goto out; 584 } 585 if (symstrindex == -1) 586 panic("lost symbol string index"); 587 /* Allocate space for and load the symbol strings */ 588 ef->ddbstrcnt = shdr[symstrindex].sh_size; 589 ef->ddbstrtab = kmalloc(shdr[symstrindex].sh_size, M_LINKER, M_WAITOK); 590 error = vn_rdwr(UIO_READ, vp, ef->ddbstrtab, 591 shdr[symstrindex].sh_size, shdr[symstrindex].sh_offset, 592 UIO_SYSSPACE, IO_NODELOCKED, p->p_ucred, &resid); 593 if (error) 594 goto out; 595 if (resid != 0) { 596 error = EINVAL; 597 goto out; 598 } 599 /* Do we have a string table for the section names? */ 600 shstrindex = -1; 601 if (hdr->e_shstrndx != 0 && 602 shdr[hdr->e_shstrndx].sh_type == SHT_STRTAB) { 603 shstrindex = hdr->e_shstrndx; 604 ef->shstrcnt = shdr[shstrindex].sh_size; 605 ef->shstrtab = kmalloc(shdr[shstrindex].sh_size, M_LINKER, 606 M_WAITOK); 607 error = vn_rdwr(UIO_READ, vp, ef->shstrtab, 608 shdr[shstrindex].sh_size, shdr[shstrindex].sh_offset, 609 UIO_SYSSPACE, IO_NODELOCKED, p->p_ucred, &resid); 610 if (error) 611 goto out; 612 if (resid != 0) { 613 error = EINVAL; 614 goto out; 615 } 616 } 617 /* Size up code/data(progbits) and bss(nobits). */ 618 alignmask = 0; 619 for (i = 0; i < hdr->e_shnum; i++) { 620 switch (shdr[i].sh_type) { 621 case SHT_PROGBITS: 622 case SHT_NOBITS: 623 alignmask = shdr[i].sh_addralign - 1; 624 mapsize += alignmask; 625 mapsize &= ~alignmask; 626 mapsize += shdr[i].sh_size; 627 break; 628 } 629 } 630 631 /* 632 * We know how much space we need for the text/data/bss/etc. This 633 * stuff needs to be in a single chunk so that profiling etc can get 634 * the bounds and gdb can associate offsets with modules 635 */ 636 ef->object = vm_object_allocate(OBJT_DEFAULT, 637 round_page(mapsize) >> PAGE_SHIFT); 638 if (ef->object == NULL) { 639 error = ENOMEM; 640 goto out; 641 } 642 vm_object_hold(ef->object); 643 vm_object_reference_locked(ef->object); 644 ef->address = (caddr_t) vm_map_min(&kernel_map); 645 ef->bytes = 0; 646 647 /* 648 * In order to satisfy x86_64's architectural requirements on the 649 * location of code and data in the kernel's address space, request a 650 * mapping that is above the kernel. 651 * 652 * vkernel64's text+data is outside the managed VM space entirely. 653 */ 654 #if defined(__amd64__) && defined(_KERNEL_VIRTUAL) 655 error = vkernel_module_memory_alloc(&mapbase, round_page(mapsize)); 656 #else 657 mapbase = KERNBASE; 658 error = vm_map_find(&kernel_map, ef->object, 0, &mapbase, 659 round_page(mapsize), PAGE_SIZE, 660 TRUE, VM_MAPTYPE_NORMAL, 661 VM_PROT_ALL, VM_PROT_ALL, FALSE); 662 vm_object_drop(ef->object); 663 if (error) { 664 vm_object_deallocate(ef->object); 665 ef->object = NULL; 666 goto out; 667 } 668 /* Wire the pages */ 669 error = vm_map_wire(&kernel_map, mapbase, 670 mapbase + round_page(mapsize), 0); 671 #endif 672 if (error != KERN_SUCCESS) { 673 error = ENOMEM; 674 goto out; 675 } 676 /* Inform the kld system about the situation */ 677 lf->address = ef->address = (caddr_t) mapbase; 678 lf->size = round_page(mapsize); 679 ef->bytes = mapsize; 680 681 /* 682 * Now load code/data(progbits), zero bss(nobits), allocate space for 683 * and load relocs 684 */ 685 pb = 0; 686 rl = 0; 687 ra = 0; 688 alignmask = 0; 689 for (i = 0; i < hdr->e_shnum; i++) { 690 switch (shdr[i].sh_type) { 691 case SHT_PROGBITS: 692 case SHT_NOBITS: 693 alignmask = shdr[i].sh_addralign - 1; 694 mapbase += alignmask; 695 mapbase &= ~alignmask; 696 if (ef->shstrtab && shdr[i].sh_name != 0) 697 ef->progtab[pb].name = 698 ef->shstrtab + shdr[i].sh_name; 699 else if (shdr[i].sh_type == SHT_PROGBITS) 700 ef->progtab[pb].name = "<<PROGBITS>>"; 701 else 702 ef->progtab[pb].name = "<<NOBITS>>"; 703 #if 0 704 if (ef->progtab[pb].name != NULL && 705 !strcmp(ef->progtab[pb].name, "set_pcpu")) 706 ef->progtab[pb].addr = 707 dpcpu_alloc(shdr[i].sh_size); 708 #ifdef VIMAGE 709 else if (ef->progtab[pb].name != NULL && 710 !strcmp(ef->progtab[pb].name, VNET_SETNAME)) 711 ef->progtab[pb].addr = 712 vnet_data_alloc(shdr[i].sh_size); 713 #endif 714 else 715 #endif 716 ef->progtab[pb].addr = 717 (void *)(uintptr_t) mapbase; 718 if (ef->progtab[pb].addr == NULL) { 719 error = ENOSPC; 720 goto out; 721 } 722 ef->progtab[pb].size = shdr[i].sh_size; 723 ef->progtab[pb].sec = i; 724 if (shdr[i].sh_type == SHT_PROGBITS) { 725 error = vn_rdwr(UIO_READ, vp, 726 ef->progtab[pb].addr, 727 shdr[i].sh_size, shdr[i].sh_offset, 728 UIO_SYSSPACE, IO_NODELOCKED, p->p_ucred, 729 &resid); 730 if (error) 731 goto out; 732 if (resid != 0) { 733 error = EINVAL; 734 goto out; 735 } 736 #if 0 737 /* Initialize the per-cpu or vnet area. */ 738 if (ef->progtab[pb].addr != (void *)mapbase && 739 !strcmp(ef->progtab[pb].name, "set_pcpu")) 740 dpcpu_copy(ef->progtab[pb].addr, 741 shdr[i].sh_size); 742 #ifdef VIMAGE 743 else if (ef->progtab[pb].addr != 744 (void *)mapbase && 745 !strcmp(ef->progtab[pb].name, VNET_SETNAME)) 746 vnet_data_copy(ef->progtab[pb].addr, 747 shdr[i].sh_size); 748 #endif 749 #endif 750 } else 751 bzero(ef->progtab[pb].addr, shdr[i].sh_size); 752 753 /* Update all symbol values with the offset. */ 754 for (j = 0; j < ef->ddbsymcnt; j++) { 755 es = &ef->ddbsymtab[j]; 756 if (es->st_shndx != i) 757 continue; 758 es->st_value += (Elf_Addr) ef->progtab[pb].addr; 759 } 760 mapbase += shdr[i].sh_size; 761 pb++; 762 break; 763 case SHT_REL: 764 ef->reltab[rl].rel = kmalloc(shdr[i].sh_size, M_LINKER, M_WAITOK); 765 ef->reltab[rl].nrel = shdr[i].sh_size / sizeof(Elf_Rel); 766 ef->reltab[rl].sec = shdr[i].sh_info; 767 error = vn_rdwr(UIO_READ, vp, 768 (void *)ef->reltab[rl].rel, 769 shdr[i].sh_size, shdr[i].sh_offset, 770 UIO_SYSSPACE, IO_NODELOCKED, p->p_ucred, &resid); 771 if (error) 772 goto out; 773 if (resid != 0) { 774 error = EINVAL; 775 goto out; 776 } 777 rl++; 778 break; 779 case SHT_RELA: 780 ef->relatab[ra].rela = kmalloc(shdr[i].sh_size, M_LINKER, M_WAITOK); 781 ef->relatab[ra].nrela = shdr[i].sh_size / sizeof(Elf_Rela); 782 ef->relatab[ra].sec = shdr[i].sh_info; 783 error = vn_rdwr(UIO_READ, vp, 784 (void *)ef->relatab[ra].rela, 785 shdr[i].sh_size, shdr[i].sh_offset, 786 UIO_SYSSPACE, IO_NODELOCKED, p->p_ucred, &resid); 787 if (error) 788 goto out; 789 if (resid != 0) { 790 error = EINVAL; 791 goto out; 792 } 793 ra++; 794 break; 795 } 796 } 797 if (pb != ef->nprogtab) 798 panic("lost progbits"); 799 if (rl != ef->nreltab) 800 panic("lost reltab"); 801 if (ra != ef->nrelatab) 802 panic("lost relatab"); 803 if (mapbase != (vm_offset_t) ef->address + mapsize) 804 panic("mapbase 0x%lx != address %p + mapsize 0x%lx (0x%lx)", 805 mapbase, ef->address, mapsize, 806 (vm_offset_t) ef->address + mapsize); 807 808 /* Local intra-module relocations */ 809 link_elf_obj_reloc_local(lf); 810 811 /* Pull in dependencies */ 812 error = linker_load_dependencies(lf); 813 if (error) 814 goto out; 815 816 /* External relocations */ 817 error = relocate_file(lf); 818 if (error) 819 goto out; 820 821 *result = lf; 822 823 out: 824 if (error && lf) 825 linker_file_unload(lf /*, LINKER_UNLOAD_FORCE */); 826 if (hdr) 827 kfree(hdr, M_LINKER); 828 vn_unlock(vp); 829 vn_close(vp, FREAD); 830 831 return error; 832 } 833 834 static void 835 link_elf_obj_unload_file(linker_file_t file) 836 { 837 elf_file_t ef = file->priv; 838 int i; 839 840 if (ef->progtab) { 841 for (i = 0; i < ef->nprogtab; i++) { 842 if (ef->progtab[i].size == 0) 843 continue; 844 if (ef->progtab[i].name == NULL) 845 continue; 846 #if 0 847 if (!strcmp(ef->progtab[i].name, "set_pcpu")) 848 dpcpu_free(ef->progtab[i].addr, 849 ef->progtab[i].size); 850 #ifdef VIMAGE 851 else if (!strcmp(ef->progtab[i].name, VNET_SETNAME)) 852 vnet_data_free(ef->progtab[i].addr, 853 ef->progtab[i].size); 854 #endif 855 #endif 856 } 857 } 858 if (ef->preloaded) { 859 if (ef->reltab) 860 kfree(ef->reltab, M_LINKER); 861 if (ef->relatab) 862 kfree(ef->relatab, M_LINKER); 863 if (ef->progtab) 864 kfree(ef->progtab, M_LINKER); 865 if (ef->ctftab) 866 kfree(ef->ctftab, M_LINKER); 867 if (ef->ctfoff) 868 kfree(ef->ctfoff, M_LINKER); 869 if (ef->typoff) 870 kfree(ef->typoff, M_LINKER); 871 if (file->filename != NULL) 872 preload_delete_name(file->filename); 873 kfree(ef, M_LINKER); 874 /* XXX reclaim module memory? */ 875 return; 876 } 877 878 for (i = 0; i < ef->nreltab; i++) 879 if (ef->reltab[i].rel) 880 kfree(ef->reltab[i].rel, M_LINKER); 881 for (i = 0; i < ef->nrelatab; i++) 882 if (ef->relatab[i].rela) 883 kfree(ef->relatab[i].rela, M_LINKER); 884 if (ef->reltab) 885 kfree(ef->reltab, M_LINKER); 886 if (ef->relatab) 887 kfree(ef->relatab, M_LINKER); 888 if (ef->progtab) 889 kfree(ef->progtab, M_LINKER); 890 891 if (ef->object) { 892 #if defined(__amd64__) && defined(_KERNEL_VIRTUAL) 893 vkernel_module_memory_free((vm_offset_t)ef->address, ef->bytes); 894 #else 895 vm_map_remove(&kernel_map, (vm_offset_t) ef->address, 896 (vm_offset_t) ef->address + 897 (ef->object->size << PAGE_SHIFT)); 898 #endif 899 vm_object_deallocate(ef->object); 900 ef->object = NULL; 901 } 902 if (ef->e_shdr) 903 kfree(ef->e_shdr, M_LINKER); 904 if (ef->ddbsymtab) 905 kfree(ef->ddbsymtab, M_LINKER); 906 if (ef->ddbstrtab) 907 kfree(ef->ddbstrtab, M_LINKER); 908 if (ef->shstrtab) 909 kfree(ef->shstrtab, M_LINKER); 910 if (ef->ctftab) 911 kfree(ef->ctftab, M_LINKER); 912 if (ef->ctfoff) 913 kfree(ef->ctfoff, M_LINKER); 914 if (ef->typoff) 915 kfree(ef->typoff, M_LINKER); 916 kfree(ef, M_LINKER); 917 } 918 919 static const char * 920 symbol_name(elf_file_t ef, Elf_Size r_info) 921 { 922 const Elf_Sym *ref; 923 924 if (ELF_R_SYM(r_info)) { 925 ref = ef->ddbsymtab + ELF_R_SYM(r_info); 926 return ef->ddbstrtab + ref->st_name; 927 } else 928 return NULL; 929 } 930 931 static Elf_Addr 932 findbase(elf_file_t ef, int sec) 933 { 934 int i; 935 Elf_Addr base = 0; 936 937 for (i = 0; i < ef->nprogtab; i++) { 938 if (sec == ef->progtab[i].sec) { 939 base = (Elf_Addr)ef->progtab[i].addr; 940 break; 941 } 942 } 943 return base; 944 } 945 946 static int 947 relocate_file(linker_file_t lf) 948 { 949 elf_file_t ef = lf->priv; 950 const Elf_Rel *rellim; 951 const Elf_Rel *rel; 952 const Elf_Rela *relalim; 953 const Elf_Rela *rela; 954 const char *symname; 955 const Elf_Sym *sym; 956 int i; 957 Elf_Size symidx; 958 Elf_Addr base; 959 960 /* Perform relocations without addend if there are any: */ 961 for (i = 0; i < ef->nreltab; i++) { 962 rel = ef->reltab[i].rel; 963 if (rel == NULL) 964 panic("lost a reltab!"); 965 rellim = rel + ef->reltab[i].nrel; 966 base = findbase(ef, ef->reltab[i].sec); 967 if (base == 0) 968 panic("lost base for reltab"); 969 for ( ; rel < rellim; rel++) { 970 symidx = ELF_R_SYM(rel->r_info); 971 if (symidx >= ef->ddbsymcnt) 972 continue; 973 sym = ef->ddbsymtab + symidx; 974 /* Local relocs are already done */ 975 if (ELF_ST_BIND(sym->st_info) == STB_LOCAL) 976 continue; 977 if (elf_reloc(lf, base, rel, ELF_RELOC_REL, 978 elf_obj_lookup)) { 979 symname = symbol_name(ef, rel->r_info); 980 kprintf("link_elf_obj_obj: symbol %s undefined\n", 981 symname); 982 return ENOENT; 983 } 984 } 985 } 986 987 /* Perform relocations with addend if there are any: */ 988 for (i = 0; i < ef->nrelatab; i++) { 989 rela = ef->relatab[i].rela; 990 if (rela == NULL) 991 panic("lost a relatab!"); 992 relalim = rela + ef->relatab[i].nrela; 993 base = findbase(ef, ef->relatab[i].sec); 994 if (base == 0) 995 panic("lost base for relatab"); 996 for ( ; rela < relalim; rela++) { 997 symidx = ELF_R_SYM(rela->r_info); 998 if (symidx >= ef->ddbsymcnt) 999 continue; 1000 sym = ef->ddbsymtab + symidx; 1001 /* Local relocs are already done */ 1002 if (ELF_ST_BIND(sym->st_info) == STB_LOCAL) 1003 continue; 1004 if (elf_reloc(lf, base, rela, ELF_RELOC_RELA, 1005 elf_obj_lookup)) { 1006 symname = symbol_name(ef, rela->r_info); 1007 kprintf("link_elf_obj_obj: symbol %s undefined\n", 1008 symname); 1009 return ENOENT; 1010 } 1011 } 1012 } 1013 1014 return 0; 1015 } 1016 1017 static int 1018 link_elf_obj_lookup_symbol(linker_file_t lf, const char *name, c_linker_sym_t *sym) 1019 { 1020 elf_file_t ef = lf->priv; 1021 const Elf_Sym *symp; 1022 const char *strp; 1023 int i; 1024 1025 for (i = 0, symp = ef->ddbsymtab; i < ef->ddbsymcnt; i++, symp++) { 1026 strp = ef->ddbstrtab + symp->st_name; 1027 if (symp->st_shndx != SHN_UNDEF && strcmp(name, strp) == 0) { 1028 *sym = (c_linker_sym_t) symp; 1029 return 0; 1030 } 1031 } 1032 return ENOENT; 1033 } 1034 1035 static int 1036 link_elf_obj_symbol_values(linker_file_t lf, c_linker_sym_t sym, 1037 linker_symval_t *symval) 1038 { 1039 elf_file_t ef = lf->priv; 1040 const Elf_Sym *es = (const Elf_Sym*) sym; 1041 1042 if (es >= ef->ddbsymtab && es < (ef->ddbsymtab + ef->ddbsymcnt)) { 1043 symval->name = ef->ddbstrtab + es->st_name; 1044 symval->value = (caddr_t)es->st_value; 1045 symval->size = es->st_size; 1046 return 0; 1047 } 1048 return ENOENT; 1049 } 1050 1051 static int 1052 link_elf_obj_search_symbol(linker_file_t lf, caddr_t value, 1053 c_linker_sym_t *sym, long *diffp) 1054 { 1055 elf_file_t ef = lf->priv; 1056 u_long off = (uintptr_t) (void *) value; 1057 u_long diff = off; 1058 u_long st_value; 1059 const Elf_Sym *es; 1060 const Elf_Sym *best = NULL; 1061 int i; 1062 1063 for (i = 0, es = ef->ddbsymtab; i < ef->ddbsymcnt; i++, es++) { 1064 if (es->st_name == 0) 1065 continue; 1066 st_value = es->st_value; 1067 if (off >= st_value) { 1068 if (off - st_value < diff) { 1069 diff = off - st_value; 1070 best = es; 1071 if (diff == 0) 1072 break; 1073 } else if (off - st_value == diff) { 1074 best = es; 1075 } 1076 } 1077 } 1078 if (best == NULL) 1079 *diffp = off; 1080 else 1081 *diffp = diff; 1082 *sym = (c_linker_sym_t) best; 1083 1084 return 0; 1085 } 1086 1087 /* 1088 * Look up a linker set on an ELF system. 1089 */ 1090 static int 1091 link_elf_obj_lookup_set(linker_file_t lf, const char *name, 1092 void ***startp, void ***stopp, int *countp) 1093 { 1094 elf_file_t ef = lf->priv; 1095 void **start, **stop; 1096 int i, count; 1097 1098 /* Relative to section number */ 1099 for (i = 0; i < ef->nprogtab; i++) { 1100 if ((strncmp(ef->progtab[i].name, "set_", 4) == 0) && 1101 strcmp(ef->progtab[i].name + 4, name) == 0) { 1102 start = (void **)ef->progtab[i].addr; 1103 stop = (void **)((char *)ef->progtab[i].addr + 1104 ef->progtab[i].size); 1105 count = stop - start; 1106 if (startp) 1107 *startp = start; 1108 if (stopp) 1109 *stopp = stop; 1110 if (countp) 1111 *countp = count; 1112 return (0); 1113 } 1114 } 1115 return (ESRCH); 1116 } 1117 1118 /* 1119 * Symbol lookup function that can be used when the symbol index is known (ie 1120 * in relocations). It uses the symbol index instead of doing a fully fledged 1121 * hash table based lookup when such is valid. For example for local symbols. 1122 * This is not only more efficient, it's also more correct. It's not always 1123 * the case that the symbol can be found through the hash table. 1124 */ 1125 static int 1126 elf_obj_lookup(linker_file_t lf, Elf_Size symidx, int deps, Elf_Addr *result) 1127 { 1128 elf_file_t ef = lf->priv; 1129 const Elf_Sym *sym; 1130 const char *symbol; 1131 1132 /* Don't even try to lookup the symbol if the index is bogus. */ 1133 if (symidx >= ef->ddbsymcnt) 1134 return (ENOENT); 1135 1136 sym = ef->ddbsymtab + symidx; 1137 1138 /* Quick answer if there is a definition included. */ 1139 if (sym->st_shndx != SHN_UNDEF) { 1140 *result = sym->st_value; 1141 return (0); 1142 } 1143 1144 /* If we get here, then it is undefined and needs a lookup. */ 1145 switch (ELF_ST_BIND(sym->st_info)) { 1146 case STB_LOCAL: 1147 /* Local, but undefined? huh? */ 1148 return (ENOENT); 1149 1150 case STB_GLOBAL: 1151 /* Relative to Data or Function name */ 1152 symbol = ef->ddbstrtab + sym->st_name; 1153 1154 /* Force a lookup failure if the symbol name is bogus. */ 1155 if (*symbol == 0) 1156 return (ENOENT); 1157 return (linker_file_lookup_symbol(lf, symbol, deps, (caddr_t *)result)); 1158 1159 case STB_WEAK: 1160 kprintf("link_elf_obj_obj: Weak symbols not supported\n"); 1161 return (ENOENT); 1162 1163 default: 1164 return (ENOENT); 1165 } 1166 } 1167 1168 static void 1169 link_elf_obj_fix_link_set(elf_file_t ef) 1170 { 1171 static const char startn[] = "__start_"; 1172 static const char stopn[] = "__stop_"; 1173 Elf_Sym *sym; 1174 const char *sym_name, *linkset_name; 1175 Elf_Addr startp, stopp; 1176 Elf_Size symidx; 1177 int start, i; 1178 1179 startp = stopp = 0; 1180 for (symidx = 1 /* zero entry is special */; 1181 symidx < ef->ddbsymcnt; symidx++) { 1182 sym = ef->ddbsymtab + symidx; 1183 if (sym->st_shndx != SHN_UNDEF) 1184 continue; 1185 1186 sym_name = ef->ddbstrtab + sym->st_name; 1187 if (strncmp(sym_name, startn, sizeof(startn) - 1) == 0) { 1188 start = 1; 1189 linkset_name = sym_name + sizeof(startn) - 1; 1190 } 1191 else if (strncmp(sym_name, stopn, sizeof(stopn) - 1) == 0) { 1192 start = 0; 1193 linkset_name = sym_name + sizeof(stopn) - 1; 1194 } 1195 else 1196 continue; 1197 1198 for (i = 0; i < ef->nprogtab; i++) { 1199 if (strcmp(ef->progtab[i].name, linkset_name) == 0) { 1200 startp = (Elf_Addr)ef->progtab[i].addr; 1201 stopp = (Elf_Addr)(startp + ef->progtab[i].size); 1202 break; 1203 } 1204 } 1205 if (i == ef->nprogtab) 1206 continue; 1207 1208 sym->st_value = start ? startp : stopp; 1209 sym->st_shndx = i; 1210 } 1211 } 1212 1213 static void 1214 link_elf_obj_reloc_local(linker_file_t lf) 1215 { 1216 elf_file_t ef = lf->priv; 1217 const Elf_Rel *rellim; 1218 const Elf_Rel *rel; 1219 const Elf_Rela *relalim; 1220 const Elf_Rela *rela; 1221 const Elf_Sym *sym; 1222 Elf_Addr base; 1223 int i; 1224 Elf_Size symidx; 1225 1226 link_elf_obj_fix_link_set(ef); 1227 1228 /* Perform relocations without addend if there are any: */ 1229 for (i = 0; i < ef->nreltab; i++) { 1230 rel = ef->reltab[i].rel; 1231 if (rel == NULL) 1232 panic("lost a reltab!"); 1233 rellim = rel + ef->reltab[i].nrel; 1234 base = findbase(ef, ef->reltab[i].sec); 1235 if (base == 0) 1236 panic("lost base for reltab"); 1237 for ( ; rel < rellim; rel++) { 1238 symidx = ELF_R_SYM(rel->r_info); 1239 if (symidx >= ef->ddbsymcnt) 1240 continue; 1241 sym = ef->ddbsymtab + symidx; 1242 /* Only do local relocs */ 1243 if (ELF_ST_BIND(sym->st_info) != STB_LOCAL) 1244 continue; 1245 elf_reloc_local(lf, base, rel, ELF_RELOC_REL, 1246 elf_obj_lookup); 1247 } 1248 } 1249 1250 /* Perform relocations with addend if there are any: */ 1251 for (i = 0; i < ef->nrelatab; i++) { 1252 rela = ef->relatab[i].rela; 1253 if (rela == NULL) 1254 panic("lost a relatab!"); 1255 relalim = rela + ef->relatab[i].nrela; 1256 base = findbase(ef, ef->relatab[i].sec); 1257 if (base == 0) 1258 panic("lost base for relatab"); 1259 for ( ; rela < relalim; rela++) { 1260 symidx = ELF_R_SYM(rela->r_info); 1261 if (symidx >= ef->ddbsymcnt) 1262 continue; 1263 sym = ef->ddbsymtab + symidx; 1264 /* Only do local relocs */ 1265 if (ELF_ST_BIND(sym->st_info) != STB_LOCAL) 1266 continue; 1267 elf_reloc_local(lf, base, rela, ELF_RELOC_RELA, 1268 elf_obj_lookup); 1269 } 1270 } 1271 } 1272