Home | History | Annotate | Line # | Download | only in kern
subr_kobj.c revision 1.59.2.1
      1  1.59.2.1    bouyer /*	$NetBSD: subr_kobj.c,v 1.59.2.1 2017/04/21 16:54:02 bouyer Exp $	*/
      2       1.1        ad 
      3       1.1        ad /*-
      4       1.1        ad  * Copyright (c) 2008 The NetBSD Foundation, Inc.
      5       1.1        ad  * All rights reserved.
      6       1.1        ad  *
      7      1.25        ad  * This code is derived from software developed for The NetBSD Foundation
      8      1.25        ad  * by Andrew Doran.
      9      1.25        ad  *
     10       1.1        ad  * Redistribution and use in source and binary forms, with or without
     11       1.1        ad  * modification, are permitted provided that the following conditions
     12       1.1        ad  * are met:
     13       1.1        ad  * 1. Redistributions of source code must retain the above copyright
     14       1.1        ad  *    notice, this list of conditions and the following disclaimer.
     15       1.1        ad  * 2. Redistributions in binary form must reproduce the above copyright
     16       1.1        ad  *    notice, this list of conditions and the following disclaimer in the
     17       1.1        ad  *    documentation and/or other materials provided with the distribution.
     18       1.1        ad  *
     19       1.1        ad  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20       1.1        ad  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21       1.1        ad  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22       1.1        ad  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23       1.1        ad  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24       1.1        ad  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25       1.1        ad  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26       1.1        ad  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27       1.1        ad  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28       1.1        ad  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29       1.1        ad  * POSSIBILITY OF SUCH DAMAGE.
     30       1.1        ad  */
     31       1.1        ad 
     32       1.1        ad /*-
     33       1.1        ad  * Copyright (c) 1998-2000 Doug Rabson
     34       1.1        ad  * Copyright (c) 2004 Peter Wemm
     35       1.1        ad  * All rights reserved.
     36       1.1        ad  *
     37       1.1        ad  * Redistribution and use in source and binary forms, with or without
     38       1.1        ad  * modification, are permitted provided that the following conditions
     39       1.1        ad  * are met:
     40       1.1        ad  * 1. Redistributions of source code must retain the above copyright
     41       1.1        ad  *    notice, this list of conditions and the following disclaimer.
     42       1.1        ad  * 2. Redistributions in binary form must reproduce the above copyright
     43       1.1        ad  *    notice, this list of conditions and the following disclaimer in the
     44       1.1        ad  *    documentation and/or other materials provided with the distribution.
     45       1.1        ad  *
     46       1.1        ad  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
     47       1.1        ad  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     48       1.1        ad  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     49       1.1        ad  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
     50       1.1        ad  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     51       1.1        ad  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     52       1.1        ad  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     53       1.1        ad  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     54       1.1        ad  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     55       1.1        ad  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     56       1.1        ad  * SUCH DAMAGE.
     57       1.1        ad  */
     58       1.1        ad 
     59       1.1        ad /*
     60       1.1        ad  * Kernel loader for ELF objects.
     61       1.1        ad  *
     62       1.1        ad  * TODO: adjust kmem_alloc() calls to avoid needless fragmentation.
     63       1.1        ad  */
     64       1.1        ad 
     65       1.1        ad #include <sys/cdefs.h>
     66  1.59.2.1    bouyer __KERNEL_RCSID(0, "$NetBSD: subr_kobj.c,v 1.59.2.1 2017/04/21 16:54:02 bouyer Exp $");
     67      1.34       apb 
     68      1.51     pooka #ifdef _KERNEL_OPT
     69      1.34       apb #include "opt_modular.h"
     70      1.51     pooka #endif
     71       1.1        ad 
     72      1.36        ad #include <sys/kobj_impl.h>
     73      1.16        ad 
     74      1.16        ad #ifdef MODULAR
     75      1.16        ad 
     76       1.1        ad #include <sys/param.h>
     77       1.1        ad #include <sys/kernel.h>
     78       1.1        ad #include <sys/kmem.h>
     79       1.1        ad #include <sys/proc.h>
     80       1.1        ad #include <sys/ksyms.h>
     81      1.25        ad #include <sys/module.h>
     82       1.1        ad 
     83       1.1        ad #include <uvm/uvm_extern.h>
     84       1.1        ad 
     85      1.47      maxv #define kobj_error(_kobj, ...) \
     86      1.47      maxv 	kobj_out(__func__, __LINE__, _kobj, __VA_ARGS__)
     87      1.47      maxv 
     88      1.18        ad static int	kobj_relocate(kobj_t, bool);
     89      1.30        ad static int	kobj_checksyms(kobj_t, bool);
     90      1.47      maxv static void	kobj_out(const char *, int, kobj_t, const char *, ...)
     91      1.44  christos     __printflike(4, 5);
     92      1.18        ad static void	kobj_jettison(kobj_t);
     93      1.12        ad static void	kobj_free(kobj_t, void *, size_t);
     94      1.18        ad static void	kobj_close(kobj_t);
     95      1.40     pooka static int	kobj_read_mem(kobj_t, void **, size_t, off_t, bool);
     96      1.40     pooka static void	kobj_close_mem(kobj_t);
     97       1.1        ad 
     98      1.25        ad extern struct vm_map *module_map;
     99       1.1        ad 
    100       1.1        ad /*
    101      1.18        ad  * kobj_load_mem:
    102       1.3        ad  *
    103      1.18        ad  *	Load an object already resident in memory.  If size is not -1,
    104      1.18        ad  *	the complete size of the object is known.
    105       1.3        ad  */
    106       1.3        ad int
    107      1.44  christos kobj_load_mem(kobj_t *kop, const char *name, void *base, ssize_t size)
    108       1.3        ad {
    109       1.3        ad 	kobj_t ko;
    110       1.3        ad 
    111       1.3        ad 	ko = kmem_zalloc(sizeof(*ko), KM_SLEEP);
    112       1.3        ad 	if (ko == NULL) {
    113       1.3        ad 		return ENOMEM;
    114       1.3        ad 	}
    115       1.3        ad 
    116       1.3        ad 	ko->ko_type = KT_MEMORY;
    117      1.44  christos 	kobj_setname(ko, name);
    118       1.3        ad 	ko->ko_source = base;
    119       1.3        ad 	ko->ko_memsize = size;
    120      1.40     pooka 	ko->ko_read = kobj_read_mem;
    121      1.40     pooka 	ko->ko_close = kobj_close_mem;
    122      1.40     pooka 
    123       1.3        ad 	*kop = ko;
    124      1.18        ad 	return kobj_load(ko);
    125       1.3        ad }
    126       1.3        ad 
    127       1.3        ad /*
    128       1.3        ad  * kobj_close:
    129       1.3        ad  *
    130      1.18        ad  *	Close an open ELF object.
    131       1.3        ad  */
    132      1.18        ad static void
    133       1.3        ad kobj_close(kobj_t ko)
    134       1.3        ad {
    135       1.3        ad 
    136      1.18        ad 	if (ko->ko_source == NULL) {
    137      1.18        ad 		return;
    138      1.18        ad 	}
    139       1.3        ad 
    140      1.40     pooka 	ko->ko_close(ko);
    141      1.40     pooka 	ko->ko_source = NULL;
    142      1.40     pooka }
    143      1.40     pooka 
    144      1.40     pooka static void
    145      1.40     pooka kobj_close_mem(kobj_t ko)
    146      1.40     pooka {
    147       1.3        ad 
    148      1.40     pooka 	return;
    149       1.3        ad }
    150       1.3        ad 
    151       1.3        ad /*
    152       1.3        ad  * kobj_load:
    153       1.3        ad  *
    154      1.18        ad  *	Load an ELF object and prepare to link into the running kernel
    155      1.18        ad  *	image.
    156       1.3        ad  */
    157      1.40     pooka int
    158       1.3        ad kobj_load(kobj_t ko)
    159       1.3        ad {
    160       1.3        ad 	Elf_Ehdr *hdr;
    161       1.3        ad 	Elf_Shdr *shdr;
    162       1.3        ad 	Elf_Sym *es;
    163      1.55      maxv 	vaddr_t map_text_base;
    164      1.55      maxv 	vaddr_t map_data_base;
    165      1.57      maxv 	vaddr_t map_rodata_base;
    166      1.55      maxv 	size_t map_text_size;
    167      1.55      maxv 	size_t map_data_size;
    168      1.57      maxv 	size_t map_rodata_size;
    169       1.3        ad 	int error;
    170       1.3        ad 	int symtabindex;
    171       1.3        ad 	int symstrindex;
    172       1.3        ad 	int nsym;
    173       1.3        ad 	int pb, rl, ra;
    174       1.3        ad 	int alignmask;
    175       1.3        ad 	int i, j;
    176      1.13        ad 	void *addr;
    177       1.3        ad 
    178       1.3        ad 	KASSERT(ko->ko_type != KT_UNSET);
    179       1.3        ad 	KASSERT(ko->ko_source != NULL);
    180       1.3        ad 
    181       1.3        ad 	shdr = NULL;
    182       1.3        ad 	error = 0;
    183       1.3        ad 	hdr = NULL;
    184       1.3        ad 
    185       1.1        ad 	/*
    186       1.1        ad 	 * Read the elf header from the file.
    187       1.1        ad 	 */
    188      1.40     pooka 	error = ko->ko_read(ko, (void **)&hdr, sizeof(*hdr), 0, true);
    189      1.44  christos 	if (error != 0) {
    190      1.47      maxv 		kobj_error(ko, "read failed %d", error);
    191       1.1        ad 		goto out;
    192      1.44  christos 	}
    193       1.1        ad 	if (memcmp(hdr->e_ident, ELFMAG, SELFMAG) != 0) {
    194      1.47      maxv 		kobj_error(ko, "not an ELF object");
    195       1.1        ad 		error = ENOEXEC;
    196       1.1        ad 		goto out;
    197       1.1        ad 	}
    198       1.1        ad 
    199       1.1        ad 	if (hdr->e_ident[EI_VERSION] != EV_CURRENT ||
    200       1.1        ad 	    hdr->e_version != EV_CURRENT) {
    201      1.47      maxv 		kobj_error(ko, "unsupported file version %d",
    202      1.47      maxv 		    hdr->e_ident[EI_VERSION]);
    203       1.1        ad 		error = ENOEXEC;
    204       1.1        ad 		goto out;
    205       1.1        ad 	}
    206       1.1        ad 	if (hdr->e_type != ET_REL) {
    207      1.47      maxv 		kobj_error(ko, "unsupported file type %d", hdr->e_type);
    208       1.1        ad 		error = ENOEXEC;
    209       1.1        ad 		goto out;
    210       1.1        ad 	}
    211       1.1        ad 	switch (hdr->e_machine) {
    212       1.1        ad #if ELFSIZE == 32
    213       1.1        ad 	ELF32_MACHDEP_ID_CASES
    214      1.42      matt #elif ELFSIZE == 64
    215      1.42      matt 	ELF64_MACHDEP_ID_CASES
    216       1.1        ad #else
    217      1.42      matt #error not defined
    218       1.1        ad #endif
    219       1.1        ad 	default:
    220      1.47      maxv 		kobj_error(ko, "unsupported machine %d", hdr->e_machine);
    221       1.1        ad 		error = ENOEXEC;
    222       1.1        ad 		goto out;
    223       1.1        ad 	}
    224       1.1        ad 
    225       1.1        ad 	ko->ko_nprogtab = 0;
    226       1.1        ad 	ko->ko_shdr = 0;
    227       1.1        ad 	ko->ko_nrel = 0;
    228       1.1        ad 	ko->ko_nrela = 0;
    229       1.1        ad 
    230       1.1        ad 	/*
    231       1.1        ad 	 * Allocate and read in the section header.
    232       1.1        ad 	 */
    233      1.49      maxv 	if (hdr->e_shnum == 0 || hdr->e_shnum > ELF_MAXSHNUM ||
    234      1.49      maxv 	    hdr->e_shoff == 0 || hdr->e_shentsize != sizeof(Elf_Shdr)) {
    235      1.47      maxv 		kobj_error(ko, "bad sizes");
    236       1.1        ad 		error = ENOEXEC;
    237       1.1        ad 		goto out;
    238       1.1        ad 	}
    239      1.49      maxv 	ko->ko_shdrsz = hdr->e_shnum * sizeof(Elf_Shdr);
    240      1.40     pooka 	error = ko->ko_read(ko, (void **)&shdr, ko->ko_shdrsz, hdr->e_shoff,
    241      1.40     pooka 	    true);
    242      1.12        ad 	if (error != 0) {
    243      1.47      maxv 		kobj_error(ko, "read failed %d", error);
    244       1.1        ad 		goto out;
    245       1.1        ad 	}
    246       1.1        ad 	ko->ko_shdr = shdr;
    247       1.1        ad 
    248       1.1        ad 	/*
    249       1.1        ad 	 * Scan the section header for information and table sizing.
    250       1.1        ad 	 */
    251       1.1        ad 	nsym = 0;
    252      1.48      maxv 	symtabindex = symstrindex = -1;
    253       1.1        ad 	for (i = 0; i < hdr->e_shnum; i++) {
    254       1.1        ad 		switch (shdr[i].sh_type) {
    255       1.1        ad 		case SHT_PROGBITS:
    256       1.1        ad 		case SHT_NOBITS:
    257       1.1        ad 			ko->ko_nprogtab++;
    258       1.1        ad 			break;
    259       1.1        ad 		case SHT_SYMTAB:
    260       1.1        ad 			nsym++;
    261       1.1        ad 			symtabindex = i;
    262       1.1        ad 			symstrindex = shdr[i].sh_link;
    263       1.1        ad 			break;
    264       1.1        ad 		case SHT_REL:
    265      1.46      matt 			if (shdr[shdr[i].sh_info].sh_type != SHT_PROGBITS)
    266      1.46      matt 				continue;
    267       1.1        ad 			ko->ko_nrel++;
    268       1.1        ad 			break;
    269       1.1        ad 		case SHT_RELA:
    270      1.46      matt 			if (shdr[shdr[i].sh_info].sh_type != SHT_PROGBITS)
    271      1.46      matt 				continue;
    272       1.1        ad 			ko->ko_nrela++;
    273       1.1        ad 			break;
    274       1.1        ad 		case SHT_STRTAB:
    275       1.1        ad 			break;
    276       1.1        ad 		}
    277       1.1        ad 	}
    278       1.1        ad 	if (ko->ko_nprogtab == 0) {
    279      1.47      maxv 		kobj_error(ko, "file has no contents");
    280       1.1        ad 		error = ENOEXEC;
    281       1.1        ad 		goto out;
    282       1.1        ad 	}
    283       1.1        ad 	if (nsym != 1) {
    284       1.1        ad 		/* Only allow one symbol table for now */
    285      1.47      maxv 		kobj_error(ko, "file has no valid symbol table");
    286       1.1        ad 		error = ENOEXEC;
    287       1.1        ad 		goto out;
    288       1.1        ad 	}
    289      1.48      maxv 	KASSERT(symtabindex != -1);
    290      1.49      maxv 	KASSERT(symstrindex != -1);
    291      1.49      maxv 
    292      1.49      maxv 	if (symstrindex == SHN_UNDEF || symstrindex >= hdr->e_shnum ||
    293       1.1        ad 	    shdr[symstrindex].sh_type != SHT_STRTAB) {
    294      1.47      maxv 		kobj_error(ko, "file has invalid symbol strings");
    295       1.1        ad 		error = ENOEXEC;
    296       1.1        ad 		goto out;
    297       1.1        ad 	}
    298       1.1        ad 
    299       1.1        ad 	/*
    300       1.1        ad 	 * Allocate space for tracking the load chunks.
    301       1.1        ad 	 */
    302       1.1        ad 	if (ko->ko_nprogtab != 0) {
    303       1.1        ad 		ko->ko_progtab = kmem_zalloc(ko->ko_nprogtab *
    304       1.1        ad 		    sizeof(*ko->ko_progtab), KM_SLEEP);
    305       1.1        ad 		if (ko->ko_progtab == NULL) {
    306       1.1        ad 			error = ENOMEM;
    307      1.47      maxv 			kobj_error(ko, "out of memory");
    308       1.1        ad 			goto out;
    309       1.1        ad 		}
    310       1.1        ad 	}
    311       1.1        ad 	if (ko->ko_nrel != 0) {
    312       1.1        ad 		ko->ko_reltab = kmem_zalloc(ko->ko_nrel *
    313       1.1        ad 		    sizeof(*ko->ko_reltab), KM_SLEEP);
    314       1.1        ad 		if (ko->ko_reltab == NULL) {
    315       1.1        ad 			error = ENOMEM;
    316      1.47      maxv 			kobj_error(ko, "out of memory");
    317       1.1        ad 			goto out;
    318       1.1        ad 		}
    319       1.1        ad 	}
    320       1.1        ad 	if (ko->ko_nrela != 0) {
    321       1.1        ad 		ko->ko_relatab = kmem_zalloc(ko->ko_nrela *
    322       1.1        ad 		    sizeof(*ko->ko_relatab), KM_SLEEP);
    323       1.1        ad 		if (ko->ko_relatab == NULL) {
    324       1.1        ad 			error = ENOMEM;
    325      1.47      maxv 			kobj_error(ko, "out of memory");
    326       1.1        ad 			goto out;
    327       1.1        ad 		}
    328       1.1        ad 	}
    329       1.1        ad 
    330       1.1        ad 	/*
    331       1.1        ad 	 * Allocate space for and load the symbol table.
    332       1.1        ad 	 */
    333       1.1        ad 	ko->ko_symcnt = shdr[symtabindex].sh_size / sizeof(Elf_Sym);
    334       1.1        ad 	if (ko->ko_symcnt == 0) {
    335      1.47      maxv 		kobj_error(ko, "no symbol table");
    336      1.49      maxv 		error = ENOEXEC;
    337       1.1        ad 		goto out;
    338       1.1        ad 	}
    339      1.40     pooka 	error = ko->ko_read(ko, (void **)&ko->ko_symtab,
    340      1.12        ad 	    ko->ko_symcnt * sizeof(Elf_Sym),
    341      1.40     pooka 	    shdr[symtabindex].sh_offset, true);
    342       1.1        ad 	if (error != 0) {
    343      1.47      maxv 		kobj_error(ko, "read failed %d", error);
    344       1.1        ad 		goto out;
    345       1.1        ad 	}
    346       1.1        ad 
    347       1.1        ad 	/*
    348       1.1        ad 	 * Allocate space for and load the symbol strings.
    349       1.1        ad 	 */
    350       1.1        ad 	ko->ko_strtabsz = shdr[symstrindex].sh_size;
    351       1.1        ad 	if (ko->ko_strtabsz == 0) {
    352      1.47      maxv 		kobj_error(ko, "no symbol strings");
    353      1.49      maxv 		error = ENOEXEC;
    354       1.1        ad 		goto out;
    355       1.1        ad 	}
    356      1.40     pooka 	error = ko->ko_read(ko, (void *)&ko->ko_strtab, ko->ko_strtabsz,
    357      1.40     pooka 	    shdr[symstrindex].sh_offset, true);
    358       1.1        ad 	if (error != 0) {
    359      1.47      maxv 		kobj_error(ko, "read failed %d", error);
    360       1.1        ad 		goto out;
    361       1.1        ad 	}
    362       1.1        ad 
    363       1.1        ad 	/*
    364      1.41     pooka 	 * Adjust module symbol namespace, if necessary (e.g. with rump)
    365      1.41     pooka 	 */
    366      1.41     pooka 	error = kobj_renamespace(ko->ko_symtab, ko->ko_symcnt,
    367      1.41     pooka 	    &ko->ko_strtab, &ko->ko_strtabsz);
    368      1.41     pooka 	if (error != 0) {
    369      1.50      maxv 		kobj_error(ko, "renamespace failed %d", error);
    370      1.41     pooka 		goto out;
    371      1.41     pooka 	}
    372      1.41     pooka 
    373      1.41     pooka 	/*
    374       1.8        ad 	 * Do we have a string table for the section names?
    375       1.8        ad 	 */
    376      1.49      maxv 	if (hdr->e_shstrndx != SHN_UNDEF) {
    377      1.49      maxv 		if (hdr->e_shstrndx >= hdr->e_shnum) {
    378      1.49      maxv 			kobj_error(ko, "bad shstrndx");
    379      1.49      maxv 			error = ENOEXEC;
    380       1.8        ad 			goto out;
    381       1.8        ad 		}
    382      1.49      maxv 		if (shdr[hdr->e_shstrndx].sh_size != 0 &&
    383      1.49      maxv 		    shdr[hdr->e_shstrndx].sh_type == SHT_STRTAB) {
    384      1.49      maxv 			ko->ko_shstrtabsz = shdr[hdr->e_shstrndx].sh_size;
    385      1.49      maxv 			error = ko->ko_read(ko, (void **)&ko->ko_shstrtab,
    386      1.49      maxv 			    shdr[hdr->e_shstrndx].sh_size,
    387      1.49      maxv 			    shdr[hdr->e_shstrndx].sh_offset, true);
    388      1.49      maxv 			if (error != 0) {
    389      1.49      maxv 				kobj_error(ko, "read failed %d", error);
    390      1.49      maxv 				goto out;
    391      1.49      maxv 			}
    392      1.49      maxv 		}
    393       1.8        ad 	}
    394       1.8        ad 
    395       1.8        ad 	/*
    396       1.1        ad 	 * Size up code/data(progbits) and bss(nobits).
    397       1.1        ad 	 */
    398       1.1        ad 	alignmask = 0;
    399      1.55      maxv 	map_text_size = 0;
    400      1.55      maxv 	map_data_size = 0;
    401      1.57      maxv 	map_rodata_size = 0;
    402       1.1        ad 	for (i = 0; i < hdr->e_shnum; i++) {
    403      1.55      maxv 		if (shdr[i].sh_type != SHT_PROGBITS &&
    404      1.55      maxv 		    shdr[i].sh_type != SHT_NOBITS)
    405      1.55      maxv 			continue;
    406      1.55      maxv 		alignmask = shdr[i].sh_addralign - 1;
    407      1.55      maxv 		if ((shdr[i].sh_flags & SHF_EXECINSTR)) {
    408      1.55      maxv 			map_text_size += alignmask;
    409      1.55      maxv 			map_text_size &= ~alignmask;
    410      1.55      maxv 			map_text_size += shdr[i].sh_size;
    411      1.57      maxv 		} else if (!(shdr[i].sh_flags & SHF_WRITE)) {
    412      1.57      maxv 			map_rodata_size += alignmask;
    413      1.57      maxv 			map_rodata_size &= ~alignmask;
    414      1.57      maxv 			map_rodata_size += shdr[i].sh_size;
    415      1.55      maxv 		} else {
    416      1.55      maxv 			map_data_size += alignmask;
    417      1.55      maxv 			map_data_size &= ~alignmask;
    418      1.55      maxv 			map_data_size += shdr[i].sh_size;
    419       1.1        ad 		}
    420       1.1        ad 	}
    421       1.1        ad 
    422      1.55      maxv 	if (map_text_size == 0) {
    423      1.55      maxv 		kobj_error(ko, "no text");
    424      1.55      maxv 		error = ENOEXEC;
    425      1.55      maxv  		goto out;
    426      1.55      maxv  	}
    427      1.58      maxv 
    428      1.58      maxv 	if (map_data_size != 0) {
    429      1.58      maxv 		map_data_base = uvm_km_alloc(module_map, round_page(map_data_size),
    430      1.58      maxv 			0, UVM_KMF_WIRED);
    431      1.58      maxv 		if (map_data_base == 0) {
    432      1.58      maxv 			kobj_error(ko, "out of memory");
    433      1.58      maxv 			error = ENOMEM;
    434      1.58      maxv 			goto out;
    435      1.58      maxv 		}
    436      1.58      maxv 		ko->ko_data_address = map_data_base;
    437      1.58      maxv 		ko->ko_data_size = map_data_size;
    438      1.58      maxv  	} else {
    439      1.58      maxv 		map_data_base = 0;
    440      1.58      maxv 		ko->ko_data_address = 0;
    441      1.58      maxv 		ko->ko_data_size = 0;
    442      1.58      maxv 	}
    443      1.58      maxv 
    444      1.58      maxv 	if (map_rodata_size != 0) {
    445      1.58      maxv 		map_rodata_base = uvm_km_alloc(module_map, round_page(map_rodata_size),
    446      1.58      maxv 			0, UVM_KMF_WIRED);
    447      1.58      maxv 		if (map_rodata_base == 0) {
    448      1.58      maxv 			kobj_error(ko, "out of memory");
    449      1.58      maxv 			error = ENOMEM;
    450      1.58      maxv 			goto out;
    451      1.58      maxv 		}
    452      1.58      maxv 		ko->ko_rodata_address = map_rodata_base;
    453      1.58      maxv 		ko->ko_rodata_size = map_rodata_size;
    454      1.58      maxv  	} else {
    455      1.58      maxv 		map_rodata_base = 0;
    456      1.58      maxv 		ko->ko_rodata_address = 0;
    457      1.58      maxv 		ko->ko_rodata_size = 0;
    458      1.58      maxv 	}
    459      1.54      maxv 
    460      1.55      maxv 	map_text_base = uvm_km_alloc(module_map, round_page(map_text_size),
    461      1.54      maxv 	    0, UVM_KMF_WIRED | UVM_KMF_EXEC);
    462      1.55      maxv 	if (map_text_base == 0) {
    463      1.54      maxv 		kobj_error(ko, "out of memory");
    464      1.54      maxv 		error = ENOMEM;
    465       1.1        ad 		goto out;
    466       1.1        ad 	}
    467      1.55      maxv 	ko->ko_text_address = map_text_base;
    468      1.55      maxv 	ko->ko_text_size = map_text_size;
    469      1.54      maxv 
    470       1.1        ad 	/*
    471       1.1        ad 	 * Now load code/data(progbits), zero bss(nobits), allocate space
    472       1.1        ad 	 * for and load relocs
    473       1.1        ad 	 */
    474       1.1        ad 	pb = 0;
    475       1.1        ad 	rl = 0;
    476       1.1        ad 	ra = 0;
    477       1.1        ad 	alignmask = 0;
    478       1.1        ad 	for (i = 0; i < hdr->e_shnum; i++) {
    479       1.1        ad 		switch (shdr[i].sh_type) {
    480       1.1        ad 		case SHT_PROGBITS:
    481       1.1        ad 		case SHT_NOBITS:
    482       1.1        ad 			alignmask = shdr[i].sh_addralign - 1;
    483      1.55      maxv 			if ((shdr[i].sh_flags & SHF_EXECINSTR)) {
    484      1.55      maxv 				map_text_base += alignmask;
    485      1.55      maxv 				map_text_base &= ~alignmask;
    486      1.55      maxv 				addr = (void *)map_text_base;
    487      1.55      maxv 				map_text_base += shdr[i].sh_size;
    488      1.57      maxv 			} else if (!(shdr[i].sh_flags & SHF_WRITE)) {
    489      1.57      maxv 				map_rodata_base += alignmask;
    490      1.57      maxv 				map_rodata_base &= ~alignmask;
    491      1.57      maxv 				addr = (void *)map_rodata_base;
    492      1.57      maxv 				map_rodata_base += shdr[i].sh_size;
    493      1.55      maxv  			} else {
    494      1.55      maxv 				map_data_base += alignmask;
    495      1.55      maxv 				map_data_base &= ~alignmask;
    496      1.55      maxv 				addr = (void *)map_data_base;
    497      1.55      maxv 				map_data_base += shdr[i].sh_size;
    498      1.55      maxv  			}
    499      1.54      maxv 
    500      1.13        ad 			ko->ko_progtab[pb].addr = addr;
    501       1.1        ad 			if (shdr[i].sh_type == SHT_PROGBITS) {
    502       1.1        ad 				ko->ko_progtab[pb].name = "<<PROGBITS>>";
    503      1.40     pooka 				error = ko->ko_read(ko, &addr,
    504      1.40     pooka 				    shdr[i].sh_size, shdr[i].sh_offset, false);
    505       1.1        ad 				if (error != 0) {
    506      1.50      maxv 					kobj_error(ko, "read failed %d", error);
    507       1.1        ad 					goto out;
    508       1.1        ad 				}
    509      1.54      maxv 			} else { /* SHT_NOBITS */
    510       1.1        ad 				ko->ko_progtab[pb].name = "<<NOBITS>>";
    511      1.13        ad 				memset(addr, 0, shdr[i].sh_size);
    512       1.1        ad 			}
    513      1.54      maxv 
    514       1.1        ad 			ko->ko_progtab[pb].size = shdr[i].sh_size;
    515       1.1        ad 			ko->ko_progtab[pb].sec = i;
    516       1.8        ad 			if (ko->ko_shstrtab != NULL && shdr[i].sh_name != 0) {
    517       1.8        ad 				ko->ko_progtab[pb].name =
    518       1.8        ad 				    ko->ko_shstrtab + shdr[i].sh_name;
    519       1.8        ad 			}
    520       1.1        ad 
    521       1.1        ad 			/* Update all symbol values with the offset. */
    522       1.1        ad 			for (j = 0; j < ko->ko_symcnt; j++) {
    523       1.1        ad 				es = &ko->ko_symtab[j];
    524       1.1        ad 				if (es->st_shndx != i) {
    525       1.1        ad 					continue;
    526       1.1        ad 				}
    527      1.13        ad 				es->st_value += (Elf_Addr)addr;
    528       1.1        ad 			}
    529       1.1        ad 			pb++;
    530       1.1        ad 			break;
    531       1.1        ad 		case SHT_REL:
    532      1.46      matt 			if (shdr[shdr[i].sh_info].sh_type != SHT_PROGBITS)
    533      1.46      matt 				break;
    534       1.1        ad 			ko->ko_reltab[rl].size = shdr[i].sh_size;
    535       1.1        ad 			ko->ko_reltab[rl].size -=
    536       1.1        ad 			    shdr[i].sh_size % sizeof(Elf_Rel);
    537       1.1        ad 			if (ko->ko_reltab[rl].size != 0) {
    538       1.1        ad 				ko->ko_reltab[rl].nrel =
    539       1.1        ad 				    shdr[i].sh_size / sizeof(Elf_Rel);
    540       1.1        ad 				ko->ko_reltab[rl].sec = shdr[i].sh_info;
    541      1.40     pooka 				error = ko->ko_read(ko,
    542      1.32     pooka 				    (void **)&ko->ko_reltab[rl].rel,
    543       1.1        ad 				    ko->ko_reltab[rl].size,
    544      1.40     pooka 				    shdr[i].sh_offset, true);
    545       1.1        ad 				if (error != 0) {
    546      1.47      maxv 					kobj_error(ko, "read failed %d",
    547      1.47      maxv 					    error);
    548       1.1        ad 					goto out;
    549       1.1        ad 				}
    550       1.1        ad 			}
    551       1.1        ad 			rl++;
    552       1.1        ad 			break;
    553       1.1        ad 		case SHT_RELA:
    554      1.46      matt 			if (shdr[shdr[i].sh_info].sh_type != SHT_PROGBITS)
    555      1.46      matt 				break;
    556       1.1        ad 			ko->ko_relatab[ra].size = shdr[i].sh_size;
    557       1.1        ad 			ko->ko_relatab[ra].size -=
    558       1.1        ad 			    shdr[i].sh_size % sizeof(Elf_Rela);
    559       1.1        ad 			if (ko->ko_relatab[ra].size != 0) {
    560       1.1        ad 				ko->ko_relatab[ra].nrela =
    561       1.1        ad 				    shdr[i].sh_size / sizeof(Elf_Rela);
    562       1.1        ad 				ko->ko_relatab[ra].sec = shdr[i].sh_info;
    563      1.40     pooka 				error = ko->ko_read(ko,
    564      1.32     pooka 				    (void **)&ko->ko_relatab[ra].rela,
    565       1.1        ad 				    shdr[i].sh_size,
    566      1.40     pooka 				    shdr[i].sh_offset, true);
    567       1.1        ad 				if (error != 0) {
    568      1.50      maxv 					kobj_error(ko, "read failed %d", error);
    569       1.1        ad 					goto out;
    570       1.1        ad 				}
    571       1.1        ad 			}
    572       1.1        ad 			ra++;
    573       1.1        ad 			break;
    574      1.13        ad 		default:
    575      1.13        ad 			break;
    576       1.1        ad 		}
    577       1.1        ad 	}
    578       1.1        ad 	if (pb != ko->ko_nprogtab) {
    579      1.46      matt 		panic("%s:%d: %s: lost progbits", __func__, __LINE__,
    580      1.46      matt 		   ko->ko_name);
    581       1.1        ad 	}
    582       1.1        ad 	if (rl != ko->ko_nrel) {
    583      1.46      matt 		panic("%s:%d: %s: lost rel", __func__, __LINE__,
    584      1.46      matt 		   ko->ko_name);
    585       1.1        ad 	}
    586       1.1        ad 	if (ra != ko->ko_nrela) {
    587      1.46      matt 		panic("%s:%d: %s: lost rela", __func__, __LINE__,
    588      1.46      matt 		   ko->ko_name);
    589       1.1        ad 	}
    590      1.55      maxv 	if (map_text_base != ko->ko_text_address + map_text_size) {
    591      1.55      maxv 		panic("%s:%d: %s: map_text_base 0x%lx != address %lx "
    592      1.55      maxv 		    "+ map_text_size %ld (0x%lx)\n",
    593      1.55      maxv 		    __func__, __LINE__, ko->ko_name, (long)map_text_base,
    594      1.55      maxv 		    (long)ko->ko_text_address, (long)map_text_size,
    595      1.55      maxv 		    (long)ko->ko_text_address + map_text_size);
    596      1.55      maxv 	}
    597      1.55      maxv 	if (map_data_base != ko->ko_data_address + map_data_size) {
    598      1.55      maxv 		panic("%s:%d: %s: map_data_base 0x%lx != address %lx "
    599      1.55      maxv 		    "+ map_data_size %ld (0x%lx)\n",
    600      1.55      maxv 		    __func__, __LINE__, ko->ko_name, (long)map_data_base,
    601      1.55      maxv 		    (long)ko->ko_data_address, (long)map_data_size,
    602      1.55      maxv 		    (long)ko->ko_data_address + map_data_size);
    603       1.1        ad 	}
    604      1.57      maxv 	if (map_rodata_base != ko->ko_rodata_address + map_rodata_size) {
    605      1.57      maxv 		panic("%s:%d: %s: map_rodata_base 0x%lx != address %lx "
    606      1.57      maxv 		    "+ map_rodata_size %ld (0x%lx)\n",
    607      1.57      maxv 		    __func__, __LINE__, ko->ko_name, (long)map_rodata_base,
    608      1.57      maxv 		    (long)ko->ko_rodata_address, (long)map_rodata_size,
    609      1.57      maxv 		    (long)ko->ko_rodata_address + map_rodata_size);
    610      1.57      maxv 	}
    611       1.1        ad 
    612       1.1        ad 	/*
    613      1.18        ad 	 * Perform local relocations only.  Relocations relating to global
    614      1.18        ad 	 * symbols will be done by kobj_affix().
    615       1.1        ad 	 */
    616      1.30        ad 	error = kobj_checksyms(ko, false);
    617      1.23        ad 	if (error == 0) {
    618      1.23        ad 		error = kobj_relocate(ko, true);
    619      1.23        ad 	}
    620       1.1        ad  out:
    621       1.3        ad 	if (hdr != NULL) {
    622      1.12        ad 		kobj_free(ko, hdr, sizeof(*hdr));
    623       1.1        ad 	}
    624      1.18        ad 	kobj_close(ko);
    625      1.18        ad 	if (error != 0) {
    626      1.18        ad 		kobj_unload(ko);
    627      1.18        ad 	}
    628       1.1        ad 
    629       1.1        ad 	return error;
    630       1.1        ad }
    631       1.1        ad 
    632  1.59.2.1    bouyer static void
    633  1.59.2.1    bouyer kobj_unload_notify(kobj_t ko, vaddr_t addr, size_t size, const char *note)
    634  1.59.2.1    bouyer {
    635  1.59.2.1    bouyer 	if (addr == 0)
    636  1.59.2.1    bouyer 		return;
    637  1.59.2.1    bouyer 
    638  1.59.2.1    bouyer 	int error = kobj_machdep(ko, (void *)addr, size, false);
    639  1.59.2.1    bouyer 	if (error)
    640  1.59.2.1    bouyer 		kobj_error(ko, "machine dependent deinit failed (%s) %d",
    641  1.59.2.1    bouyer 		    note, error);
    642  1.59.2.1    bouyer }
    643  1.59.2.1    bouyer 
    644  1.59.2.1    bouyer #define KOBJ_SEGMENT_NOTIFY(ko, what) \
    645  1.59.2.1    bouyer     kobj_unload_notify(ko, (ko)->ko_ ## what ## _address, \
    646  1.59.2.1    bouyer 	(ko)->ko_ ## what ## _size, # what);
    647  1.59.2.1    bouyer 
    648  1.59.2.1    bouyer #define KOBJ_SEGMENT_FREE(ko, what) \
    649  1.59.2.1    bouyer     do \
    650  1.59.2.1    bouyer 	if ((ko)->ko_ ## what ## _address != 0) \
    651  1.59.2.1    bouyer 		uvm_km_free(module_map, (ko)->ko_ ## what ## _address, \
    652  1.59.2.1    bouyer 		    round_page((ko)->ko_ ## what ## _size), UVM_KMF_WIRED); \
    653  1.59.2.1    bouyer     while (/*CONSTCOND*/ 0)
    654  1.59.2.1    bouyer 
    655       1.1        ad /*
    656       1.1        ad  * kobj_unload:
    657       1.1        ad  *
    658       1.1        ad  *	Unload an object previously loaded by kobj_load().
    659       1.1        ad  */
    660       1.1        ad void
    661       1.1        ad kobj_unload(kobj_t ko)
    662       1.1        ad {
    663      1.18        ad 	kobj_close(ko);
    664      1.18        ad 	kobj_jettison(ko);
    665      1.18        ad 
    666  1.59.2.1    bouyer 
    667      1.18        ad 	/*
    668      1.18        ad 	 * Notify MD code that a module has been unloaded.
    669      1.18        ad 	 */
    670      1.18        ad 	if (ko->ko_loaded) {
    671  1.59.2.1    bouyer 		KOBJ_SEGMENT_NOTIFY(ko, text);
    672  1.59.2.1    bouyer 		KOBJ_SEGMENT_NOTIFY(ko, data);
    673  1.59.2.1    bouyer 		KOBJ_SEGMENT_NOTIFY(ko, rodata);
    674  1.59.2.1    bouyer 	}
    675      1.58      maxv 
    676  1.59.2.1    bouyer 	KOBJ_SEGMENT_FREE(ko, text);
    677  1.59.2.1    bouyer 	KOBJ_SEGMENT_FREE(ko, data);
    678  1.59.2.1    bouyer 	KOBJ_SEGMENT_FREE(ko, rodata);
    679      1.58      maxv 
    680       1.1        ad 	if (ko->ko_ksyms == true) {
    681      1.23        ad 		ksyms_modunload(ko->ko_name);
    682       1.1        ad 	}
    683       1.1        ad 	if (ko->ko_symtab != NULL) {
    684      1.12        ad 		kobj_free(ko, ko->ko_symtab, ko->ko_symcnt * sizeof(Elf_Sym));
    685       1.1        ad 	}
    686       1.1        ad 	if (ko->ko_strtab != NULL) {
    687      1.12        ad 		kobj_free(ko, ko->ko_strtab, ko->ko_strtabsz);
    688       1.1        ad 	}
    689      1.14        ad 	if (ko->ko_progtab != NULL) {
    690      1.14        ad 		kobj_free(ko, ko->ko_progtab, ko->ko_nprogtab *
    691      1.14        ad 		    sizeof(*ko->ko_progtab));
    692      1.14        ad 		ko->ko_progtab = NULL;
    693      1.14        ad 	}
    694      1.14        ad 	if (ko->ko_shstrtab) {
    695      1.14        ad 		kobj_free(ko, ko->ko_shstrtab, ko->ko_shstrtabsz);
    696      1.14        ad 		ko->ko_shstrtab = NULL;
    697      1.14        ad 	}
    698       1.1        ad 
    699       1.3        ad 	kmem_free(ko, sizeof(*ko));
    700       1.1        ad }
    701       1.1        ad 
    702       1.1        ad /*
    703       1.2        ad  * kobj_stat:
    704       1.2        ad  *
    705       1.2        ad  *	Return size and load address of an object.
    706       1.2        ad  */
    707      1.39    dyoung int
    708       1.8        ad kobj_stat(kobj_t ko, vaddr_t *address, size_t *size)
    709       1.2        ad {
    710       1.2        ad 
    711       1.2        ad 	if (address != NULL) {
    712      1.55      maxv 		*address = ko->ko_text_address;
    713       1.2        ad 	}
    714       1.2        ad 	if (size != NULL) {
    715      1.55      maxv 		*size = ko->ko_text_size;
    716       1.2        ad 	}
    717      1.53   msaitoh 	return 0;
    718       1.2        ad }
    719       1.2        ad 
    720       1.2        ad /*
    721      1.18        ad  * kobj_affix:
    722       1.3        ad  *
    723      1.18        ad  *	Set an object's name and perform global relocs.  May only be
    724      1.18        ad  *	called after the module and any requisite modules are loaded.
    725       1.3        ad  */
    726       1.6        ad int
    727      1.18        ad kobj_affix(kobj_t ko, const char *name)
    728       1.3        ad {
    729       1.6        ad 	int error;
    730       1.3        ad 
    731      1.18        ad 	KASSERT(ko->ko_ksyms == false);
    732      1.18        ad 	KASSERT(ko->ko_loaded == false);
    733       1.3        ad 
    734      1.44  christos 	kobj_setname(ko, name);
    735       1.6        ad 
    736      1.30        ad 	/* Cache addresses of undefined symbols. */
    737      1.30        ad 	error = kobj_checksyms(ko, true);
    738      1.30        ad 
    739      1.23        ad 	/* Now do global relocations. */
    740      1.30        ad 	if (error == 0)
    741      1.30        ad 		error = kobj_relocate(ko, false);
    742      1.23        ad 
    743      1.23        ad 	/*
    744      1.23        ad 	 * Now that we know the name, register the symbol table.
    745      1.25        ad 	 * Do after global relocations because ksyms will pack
    746      1.25        ad 	 * the table.
    747      1.23        ad 	 */
    748      1.30        ad 	if (error == 0) {
    749      1.30        ad 		ksyms_modload(ko->ko_name, ko->ko_symtab, ko->ko_symcnt *
    750      1.30        ad 		    sizeof(Elf_Sym), ko->ko_strtab, ko->ko_strtabsz);
    751      1.30        ad 		ko->ko_ksyms = true;
    752      1.30        ad 	}
    753      1.18        ad 
    754      1.18        ad 	/* Jettison unneeded memory post-link. */
    755      1.18        ad 	kobj_jettison(ko);
    756      1.18        ad 
    757      1.33     pooka 	/*
    758      1.33     pooka 	 * Notify MD code that a module has been loaded.
    759      1.33     pooka 	 *
    760      1.33     pooka 	 * Most architectures use this opportunity to flush their caches.
    761      1.33     pooka 	 */
    762  1.59.2.1    bouyer 	if (error == 0 && ko->ko_text_address != 0) {
    763      1.55      maxv 		error = kobj_machdep(ko, (void *)ko->ko_text_address,
    764      1.55      maxv 		    ko->ko_text_size, true);
    765      1.55      maxv 		if (error != 0)
    766  1.59.2.1    bouyer 			kobj_error(ko, "machine dependent init failed (text)"
    767  1.59.2.1    bouyer 			    " %d", error);
    768  1.59.2.1    bouyer 	}
    769      1.58      maxv 
    770  1.59.2.1    bouyer 	if (error == 0 && ko->ko_data_address != 0) {
    771  1.59.2.1    bouyer 		error = kobj_machdep(ko, (void *)ko->ko_data_address,
    772  1.59.2.1    bouyer 		    ko->ko_data_size, true);
    773  1.59.2.1    bouyer 		if (error != 0)
    774  1.59.2.1    bouyer 			kobj_error(ko, "machine dependent init failed (data)"
    775  1.59.2.1    bouyer 			    " %d", error);
    776  1.59.2.1    bouyer 	}
    777      1.58      maxv 
    778  1.59.2.1    bouyer 	if (error == 0 && ko->ko_rodata_address != 0) {
    779  1.59.2.1    bouyer 		error = kobj_machdep(ko, (void *)ko->ko_rodata_address,
    780  1.59.2.1    bouyer 		    ko->ko_rodata_size, true);
    781  1.59.2.1    bouyer 		if (error != 0)
    782  1.59.2.1    bouyer 			kobj_error(ko, "machine dependent init failed (rodata)"
    783  1.59.2.1    bouyer 			    " %d", error);
    784      1.18        ad 	}
    785      1.18        ad 
    786      1.59    martin 	if (error == 0) {
    787  1.59.2.1    bouyer 		ko->ko_loaded = true;
    788  1.59.2.1    bouyer 
    789      1.59    martin 		/* Change the memory protections, when needed. */
    790  1.59.2.1    bouyer 		if (ko->ko_text_address != 0) {
    791  1.59.2.1    bouyer 			uvm_km_protect(module_map, ko->ko_text_address,
    792  1.59.2.1    bouyer 			     ko->ko_text_size, VM_PROT_READ|VM_PROT_EXECUTE);
    793  1.59.2.1    bouyer 		}
    794      1.59    martin 		if (ko->ko_rodata_address != 0) {
    795      1.59    martin 			uvm_km_protect(module_map, ko->ko_rodata_address,
    796      1.59    martin 			    ko->ko_rodata_size, VM_PROT_READ);
    797      1.59    martin 		}
    798      1.59    martin 	} else {
    799      1.59    martin 		/* If there was an error, destroy the whole object. */
    800      1.18        ad 		kobj_unload(ko);
    801       1.6        ad 	}
    802       1.6        ad 
    803       1.6        ad 	return error;
    804       1.3        ad }
    805       1.3        ad 
    806       1.3        ad /*
    807       1.8        ad  * kobj_find_section:
    808       1.8        ad  *
    809       1.8        ad  *	Given a section name, search the loaded object and return
    810       1.8        ad  *	virtual address if present and loaded.
    811       1.8        ad  */
    812       1.8        ad int
    813       1.8        ad kobj_find_section(kobj_t ko, const char *name, void **addr, size_t *size)
    814       1.8        ad {
    815       1.8        ad 	int i;
    816       1.8        ad 
    817       1.8        ad 	KASSERT(ko->ko_progtab != NULL);
    818       1.8        ad 
    819       1.8        ad 	for (i = 0; i < ko->ko_nprogtab; i++) {
    820       1.8        ad 		if (strcmp(ko->ko_progtab[i].name, name) == 0) {
    821       1.8        ad 			if (addr != NULL) {
    822       1.8        ad 				*addr = ko->ko_progtab[i].addr;
    823       1.8        ad 			}
    824       1.8        ad 			if (size != NULL) {
    825       1.8        ad 				*size = ko->ko_progtab[i].size;
    826       1.8        ad 			}
    827       1.8        ad 			return 0;
    828       1.8        ad 		}
    829       1.8        ad 	}
    830       1.8        ad 
    831       1.8        ad 	return ENOENT;
    832       1.8        ad }
    833       1.8        ad 
    834       1.8        ad /*
    835      1.18        ad  * kobj_jettison:
    836       1.1        ad  *
    837      1.18        ad  *	Release object data not needed after performing relocations.
    838       1.1        ad  */
    839       1.1        ad static void
    840      1.18        ad kobj_jettison(kobj_t ko)
    841       1.1        ad {
    842       1.1        ad 	int i;
    843       1.1        ad 
    844      1.35        ad 	if (ko->ko_reltab != NULL) {
    845      1.35        ad 		for (i = 0; i < ko->ko_nrel; i++) {
    846      1.35        ad 			if (ko->ko_reltab[i].rel) {
    847      1.35        ad 				kobj_free(ko, ko->ko_reltab[i].rel,
    848      1.35        ad 				    ko->ko_reltab[i].size);
    849      1.35        ad 			}
    850       1.1        ad 		}
    851      1.12        ad 		kobj_free(ko, ko->ko_reltab, ko->ko_nrel *
    852       1.1        ad 		    sizeof(*ko->ko_reltab));
    853       1.1        ad 		ko->ko_reltab = NULL;
    854       1.1        ad 		ko->ko_nrel = 0;
    855       1.1        ad 	}
    856       1.1        ad 	if (ko->ko_relatab != NULL) {
    857      1.35        ad 		for (i = 0; i < ko->ko_nrela; i++) {
    858      1.35        ad 			if (ko->ko_relatab[i].rela) {
    859      1.35        ad 				kobj_free(ko, ko->ko_relatab[i].rela,
    860      1.35        ad 				    ko->ko_relatab[i].size);
    861      1.35        ad 			}
    862      1.35        ad 		}
    863      1.12        ad 		kobj_free(ko, ko->ko_relatab, ko->ko_nrela *
    864       1.1        ad 		    sizeof(*ko->ko_relatab));
    865       1.1        ad 		ko->ko_relatab = NULL;
    866       1.1        ad 		ko->ko_nrela = 0;
    867       1.1        ad 	}
    868       1.1        ad 	if (ko->ko_shdr != NULL) {
    869      1.12        ad 		kobj_free(ko, ko->ko_shdr, ko->ko_shdrsz);
    870       1.1        ad 		ko->ko_shdr = NULL;
    871       1.1        ad 	}
    872       1.1        ad }
    873       1.1        ad 
    874       1.1        ad /*
    875       1.1        ad  * kobj_sym_lookup:
    876       1.1        ad  *
    877       1.1        ad  *	Symbol lookup function to be used when the symbol index
    878       1.1        ad  *	is known (ie during relocation).
    879       1.1        ad  */
    880       1.1        ad uintptr_t
    881       1.1        ad kobj_sym_lookup(kobj_t ko, uintptr_t symidx)
    882       1.1        ad {
    883       1.1        ad 	const Elf_Sym *sym;
    884       1.1        ad 	const char *symbol;
    885       1.1        ad 
    886       1.1        ad 	/* Don't even try to lookup the symbol if the index is bogus. */
    887       1.1        ad 	if (symidx >= ko->ko_symcnt)
    888       1.1        ad 		return 0;
    889       1.1        ad 
    890       1.1        ad 	sym = ko->ko_symtab + symidx;
    891       1.1        ad 
    892       1.1        ad 	/* Quick answer if there is a definition included. */
    893       1.1        ad 	if (sym->st_shndx != SHN_UNDEF) {
    894      1.28        ad 		return (uintptr_t)sym->st_value;
    895       1.1        ad 	}
    896       1.1        ad 
    897       1.1        ad 	/* If we get here, then it is undefined and needs a lookup. */
    898       1.1        ad 	switch (ELF_ST_BIND(sym->st_info)) {
    899       1.1        ad 	case STB_LOCAL:
    900       1.1        ad 		/* Local, but undefined? huh? */
    901      1.47      maxv 		kobj_error(ko, "local symbol undefined");
    902       1.1        ad 		return 0;
    903       1.1        ad 
    904       1.1        ad 	case STB_GLOBAL:
    905       1.1        ad 		/* Relative to Data or Function name */
    906       1.1        ad 		symbol = ko->ko_strtab + sym->st_name;
    907       1.1        ad 
    908       1.1        ad 		/* Force a lookup failure if the symbol name is bogus. */
    909       1.1        ad 		if (*symbol == 0) {
    910      1.47      maxv 			kobj_error(ko, "bad symbol name");
    911       1.1        ad 			return 0;
    912       1.1        ad 		}
    913       1.1        ad 
    914      1.28        ad 		return (uintptr_t)sym->st_value;
    915       1.1        ad 
    916       1.1        ad 	case STB_WEAK:
    917      1.47      maxv 		kobj_error(ko, "weak symbols not supported");
    918       1.1        ad 		return 0;
    919       1.1        ad 
    920       1.1        ad 	default:
    921       1.1        ad 		return 0;
    922       1.1        ad 	}
    923       1.1        ad }
    924       1.1        ad 
    925       1.1        ad /*
    926       1.1        ad  * kobj_findbase:
    927       1.1        ad  *
    928       1.1        ad  *	Return base address of the given section.
    929       1.1        ad  */
    930       1.1        ad static uintptr_t
    931       1.1        ad kobj_findbase(kobj_t ko, int sec)
    932       1.1        ad {
    933       1.1        ad 	int i;
    934       1.1        ad 
    935       1.1        ad 	for (i = 0; i < ko->ko_nprogtab; i++) {
    936       1.1        ad 		if (sec == ko->ko_progtab[i].sec) {
    937       1.1        ad 			return (uintptr_t)ko->ko_progtab[i].addr;
    938       1.1        ad 		}
    939       1.1        ad 	}
    940       1.1        ad 	return 0;
    941       1.1        ad }
    942       1.1        ad 
    943       1.1        ad /*
    944      1.28        ad  * kobj_checksyms:
    945      1.23        ad  *
    946      1.30        ad  *	Scan symbol table for duplicates or resolve references to
    947      1.28        ad  *	exernal symbols.
    948      1.23        ad  */
    949      1.23        ad static int
    950      1.30        ad kobj_checksyms(kobj_t ko, bool undefined)
    951      1.23        ad {
    952      1.23        ad 	unsigned long rval;
    953      1.23        ad 	Elf_Sym *sym, *ms;
    954      1.23        ad 	const char *name;
    955      1.28        ad 	int error;
    956      1.28        ad 
    957      1.28        ad 	error = 0;
    958      1.23        ad 
    959      1.23        ad 	for (ms = (sym = ko->ko_symtab) + ko->ko_symcnt; sym < ms; sym++) {
    960      1.23        ad 		/* Check validity of the symbol. */
    961      1.23        ad 		if (ELF_ST_BIND(sym->st_info) != STB_GLOBAL ||
    962      1.23        ad 		    sym->st_name == 0)
    963      1.23        ad 			continue;
    964      1.30        ad 		if (undefined != (sym->st_shndx == SHN_UNDEF)) {
    965      1.30        ad 			continue;
    966      1.30        ad 		}
    967      1.23        ad 
    968      1.28        ad 		/*
    969      1.28        ad 		 * Look it up.  Don't need to lock, as it is known that
    970      1.28        ad 		 * the symbol tables aren't going to change (we hold
    971      1.28        ad 		 * module_lock).
    972      1.28        ad 		 */
    973      1.23        ad 		name = ko->ko_strtab + sym->st_name;
    974      1.28        ad 		if (ksyms_getval_unlocked(NULL, name, &rval,
    975      1.28        ad 		    KSYMS_EXTERN) != 0) {
    976      1.30        ad 			if (undefined) {
    977      1.47      maxv 				kobj_error(ko, "symbol `%s' not found",
    978      1.47      maxv 				    name);
    979      1.28        ad 				error = ENOEXEC;
    980      1.28        ad 			}
    981      1.29        ad 			continue;
    982      1.28        ad 		}
    983      1.28        ad 
    984      1.28        ad 		/* Save values of undefined globals. */
    985      1.30        ad 		if (undefined) {
    986      1.28        ad 			sym->st_value = (Elf_Addr)rval;
    987      1.23        ad 			continue;
    988      1.23        ad 		}
    989      1.23        ad 
    990      1.28        ad 		/* Check (and complain) about differing values. */
    991      1.28        ad 		if (sym->st_value == rval) {
    992      1.23        ad 			continue;
    993      1.23        ad 		}
    994      1.23        ad 		if (strcmp(name, "_bss_start") == 0 ||
    995      1.23        ad 		    strcmp(name, "__bss_start") == 0 ||
    996      1.23        ad 		    strcmp(name, "_bss_end__") == 0 ||
    997      1.23        ad 		    strcmp(name, "__bss_end__") == 0 ||
    998      1.23        ad 		    strcmp(name, "_edata") == 0 ||
    999      1.23        ad 		    strcmp(name, "_end") == 0 ||
   1000      1.23        ad 		    strcmp(name, "__end") == 0 ||
   1001      1.23        ad 		    strcmp(name, "__end__") == 0 ||
   1002      1.23        ad 		    strncmp(name, "__start_link_set_", 17) == 0 ||
   1003      1.52  pgoyette 		    strncmp(name, "__stop_link_set_", 16) == 0) {
   1004      1.23        ad 		    	continue;
   1005      1.23        ad 		}
   1006      1.47      maxv 		kobj_error(ko, "global symbol `%s' redefined",
   1007      1.47      maxv 		    name);
   1008      1.28        ad 		error = ENOEXEC;
   1009      1.23        ad 	}
   1010      1.23        ad 
   1011      1.28        ad 	return error;
   1012      1.23        ad }
   1013      1.23        ad 
   1014      1.23        ad /*
   1015       1.1        ad  * kobj_relocate:
   1016       1.1        ad  *
   1017      1.18        ad  *	Resolve relocations for the loaded object.
   1018       1.1        ad  */
   1019       1.1        ad static int
   1020      1.18        ad kobj_relocate(kobj_t ko, bool local)
   1021       1.1        ad {
   1022       1.1        ad 	const Elf_Rel *rellim;
   1023       1.1        ad 	const Elf_Rel *rel;
   1024       1.1        ad 	const Elf_Rela *relalim;
   1025       1.1        ad 	const Elf_Rela *rela;
   1026       1.1        ad 	const Elf_Sym *sym;
   1027       1.1        ad 	uintptr_t base;
   1028       1.8        ad 	int i, error;
   1029       1.1        ad 	uintptr_t symidx;
   1030       1.1        ad 
   1031       1.1        ad 	/*
   1032       1.1        ad 	 * Perform relocations without addend if there are any.
   1033       1.1        ad 	 */
   1034       1.1        ad 	for (i = 0; i < ko->ko_nrel; i++) {
   1035       1.1        ad 		rel = ko->ko_reltab[i].rel;
   1036       1.1        ad 		if (rel == NULL) {
   1037       1.1        ad 			continue;
   1038       1.1        ad 		}
   1039       1.1        ad 		rellim = rel + ko->ko_reltab[i].nrel;
   1040       1.1        ad 		base = kobj_findbase(ko, ko->ko_reltab[i].sec);
   1041       1.1        ad 		if (base == 0) {
   1042      1.46      matt 			panic("%s:%d: %s: lost base for e_reltab[%d] sec %d",
   1043      1.46      matt 			   __func__, __LINE__, ko->ko_name, i,
   1044      1.46      matt 			   ko->ko_reltab[i].sec);
   1045       1.1        ad 		}
   1046       1.1        ad 		for (; rel < rellim; rel++) {
   1047       1.1        ad 			symidx = ELF_R_SYM(rel->r_info);
   1048       1.1        ad 			if (symidx >= ko->ko_symcnt) {
   1049       1.1        ad 				continue;
   1050       1.1        ad 			}
   1051       1.1        ad 			sym = ko->ko_symtab + symidx;
   1052      1.18        ad 			if (local != (ELF_ST_BIND(sym->st_info) == STB_LOCAL)) {
   1053      1.18        ad 				continue;
   1054      1.18        ad 			}
   1055      1.18        ad 			error = kobj_reloc(ko, base, rel, false, local);
   1056       1.8        ad 			if (error != 0) {
   1057       1.1        ad 				return ENOENT;
   1058       1.1        ad 			}
   1059       1.1        ad 		}
   1060       1.1        ad 	}
   1061       1.1        ad 
   1062       1.1        ad 	/*
   1063       1.1        ad 	 * Perform relocations with addend if there are any.
   1064       1.1        ad 	 */
   1065       1.1        ad 	for (i = 0; i < ko->ko_nrela; i++) {
   1066       1.1        ad 		rela = ko->ko_relatab[i].rela;
   1067       1.1        ad 		if (rela == NULL) {
   1068       1.1        ad 			continue;
   1069       1.1        ad 		}
   1070       1.1        ad 		relalim = rela + ko->ko_relatab[i].nrela;
   1071       1.1        ad 		base = kobj_findbase(ko, ko->ko_relatab[i].sec);
   1072       1.1        ad 		if (base == 0) {
   1073      1.46      matt 			panic("%s:%d: %s: lost base for e_relatab[%d] sec %d",
   1074      1.46      matt 			   __func__, __LINE__, ko->ko_name, i,
   1075      1.46      matt 			   ko->ko_relatab[i].sec);
   1076       1.1        ad 		}
   1077       1.1        ad 		for (; rela < relalim; rela++) {
   1078       1.1        ad 			symidx = ELF_R_SYM(rela->r_info);
   1079       1.1        ad 			if (symidx >= ko->ko_symcnt) {
   1080       1.1        ad 				continue;
   1081       1.1        ad 			}
   1082       1.1        ad 			sym = ko->ko_symtab + symidx;
   1083      1.18        ad 			if (local != (ELF_ST_BIND(sym->st_info) == STB_LOCAL)) {
   1084      1.18        ad 				continue;
   1085      1.18        ad 			}
   1086      1.18        ad 			error = kobj_reloc(ko, base, rela, true, local);
   1087       1.8        ad 			if (error != 0) {
   1088       1.1        ad 				return ENOENT;
   1089       1.1        ad 			}
   1090       1.1        ad 		}
   1091       1.1        ad 	}
   1092       1.1        ad 
   1093       1.1        ad 	return 0;
   1094       1.1        ad }
   1095       1.1        ad 
   1096       1.1        ad /*
   1097      1.47      maxv  * kobj_out:
   1098       1.1        ad  *
   1099       1.1        ad  *	Utility function: log an error.
   1100       1.1        ad  */
   1101       1.1        ad static void
   1102      1.47      maxv kobj_out(const char *fname, int lnum, kobj_t ko, const char *fmt, ...)
   1103       1.1        ad {
   1104       1.1        ad 	va_list ap;
   1105       1.1        ad 
   1106      1.44  christos 	printf("%s, %d: [%s]: linker error: ", fname, lnum, ko->ko_name);
   1107       1.1        ad 	va_start(ap, fmt);
   1108       1.1        ad 	vprintf(fmt, ap);
   1109      1.44  christos 	va_end(ap);
   1110       1.1        ad 	printf("\n");
   1111       1.1        ad }
   1112       1.1        ad 
   1113       1.1        ad static int
   1114      1.40     pooka kobj_read_mem(kobj_t ko, void **basep, size_t size, off_t off,
   1115      1.44  christos     bool allocate)
   1116       1.1        ad {
   1117      1.40     pooka 	void *base = *basep;
   1118       1.1        ad 	int error;
   1119       1.1        ad 
   1120      1.54      maxv 	KASSERT(ko->ko_source != NULL);
   1121      1.54      maxv 
   1122      1.40     pooka 	if (ko->ko_memsize != -1 && off + size > ko->ko_memsize) {
   1123      1.47      maxv 		kobj_error(ko, "preloaded object short");
   1124      1.40     pooka 		error = EINVAL;
   1125      1.40     pooka 		base = NULL;
   1126      1.40     pooka 	} else if (allocate) {
   1127      1.54      maxv 		base = kmem_alloc(size, KM_SLEEP);
   1128      1.40     pooka 		error = 0;
   1129      1.40     pooka 	} else {
   1130      1.40     pooka 		error = 0;
   1131      1.12        ad 	}
   1132      1.12        ad 
   1133      1.54      maxv 	if (error == 0) {
   1134      1.54      maxv 		/* Copy the section */
   1135      1.54      maxv 		memcpy(base, (uint8_t *)ko->ko_source + off, size);
   1136      1.54      maxv 	}
   1137      1.54      maxv 
   1138      1.54      maxv 	if (allocate && error != 0) {
   1139      1.54      maxv 		kmem_free(base, size);
   1140      1.54      maxv 		base = NULL;
   1141      1.54      maxv 	}
   1142      1.54      maxv 
   1143      1.40     pooka 	if (allocate)
   1144      1.40     pooka 		*basep = base;
   1145       1.3        ad 
   1146       1.1        ad 	return error;
   1147       1.1        ad }
   1148       1.5        ad 
   1149      1.12        ad /*
   1150      1.12        ad  * kobj_free:
   1151      1.12        ad  *
   1152      1.12        ad  *	Utility function: free memory if it was allocated from the heap.
   1153      1.12        ad  */
   1154      1.12        ad static void
   1155      1.12        ad kobj_free(kobj_t ko, void *base, size_t size)
   1156      1.12        ad {
   1157      1.12        ad 
   1158      1.54      maxv 	kmem_free(base, size);
   1159      1.12        ad }
   1160      1.12        ad 
   1161      1.44  christos extern char module_base[];
   1162      1.44  christos 
   1163      1.44  christos void
   1164      1.44  christos kobj_setname(kobj_t ko, const char *name)
   1165      1.44  christos {
   1166      1.44  christos 	const char *d = name, *dots = "";
   1167      1.44  christos 	size_t len, dlen;
   1168      1.44  christos 
   1169      1.44  christos 	for (char *s = module_base; *d == *s; d++, s++)
   1170      1.44  christos 		continue;
   1171      1.44  christos 
   1172      1.44  christos 	if (d == name)
   1173      1.44  christos 		name = "";
   1174      1.44  christos 	else
   1175      1.44  christos 		name = "%M";
   1176      1.44  christos 	dlen = strlen(d);
   1177      1.44  christos 	len = dlen + strlen(name);
   1178      1.44  christos 	if (len >= sizeof(ko->ko_name)) {
   1179      1.44  christos 		len = (len - sizeof(ko->ko_name)) + 5; /* dots + NUL */
   1180      1.44  christos 		if (dlen >= len) {
   1181      1.44  christos 			d += len;
   1182      1.44  christos 			dots = "/...";
   1183      1.44  christos 		}
   1184      1.44  christos 	}
   1185      1.44  christos 	snprintf(ko->ko_name, sizeof(ko->ko_name), "%s%s%s", name, dots, d);
   1186      1.44  christos }
   1187      1.44  christos 
   1188       1.5        ad #else	/* MODULAR */
   1189       1.5        ad 
   1190       1.5        ad int
   1191      1.44  christos kobj_load_mem(kobj_t *kop, const char *name, void *base, ssize_t size)
   1192       1.5        ad {
   1193       1.5        ad 
   1194       1.5        ad 	return ENOSYS;
   1195       1.5        ad }
   1196       1.5        ad 
   1197       1.5        ad void
   1198       1.5        ad kobj_unload(kobj_t ko)
   1199       1.5        ad {
   1200       1.5        ad 
   1201       1.5        ad 	panic("not modular");
   1202       1.5        ad }
   1203       1.5        ad 
   1204      1.39    dyoung int
   1205       1.8        ad kobj_stat(kobj_t ko, vaddr_t *base, size_t *size)
   1206       1.5        ad {
   1207       1.5        ad 
   1208      1.39    dyoung 	return ENOSYS;
   1209       1.5        ad }
   1210       1.5        ad 
   1211       1.7        ad int
   1212      1.18        ad kobj_affix(kobj_t ko, const char *name)
   1213       1.5        ad {
   1214       1.5        ad 
   1215       1.5        ad 	panic("not modular");
   1216       1.5        ad }
   1217       1.5        ad 
   1218       1.8        ad int
   1219       1.8        ad kobj_find_section(kobj_t ko, const char *name, void **addr, size_t *size)
   1220       1.8        ad {
   1221       1.8        ad 
   1222       1.8        ad 	panic("not modular");
   1223       1.8        ad }
   1224       1.8        ad 
   1225      1.44  christos void
   1226      1.44  christos kobj_setname(kobj_t ko, const char *name)
   1227      1.44  christos {
   1228      1.44  christos 
   1229      1.44  christos 	panic("not modular");
   1230      1.44  christos }
   1231      1.44  christos 
   1232       1.5        ad #endif	/* MODULAR */
   1233