Home | History | Annotate | Line # | Download | only in kern
subr_kobj.c revision 1.53
      1  1.53   msaitoh /*	$NetBSD: subr_kobj.c,v 1.53 2016/07/07 06:55:43 msaitoh 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.53   msaitoh __KERNEL_RCSID(0, "$NetBSD: subr_kobj.c,v 1.53 2016/07/07 06:55:43 msaitoh 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.3        ad 	vaddr_t mapbase;
    164   1.3        ad 	size_t mapsize;
    165   1.3        ad 	int error;
    166   1.3        ad 	int symtabindex;
    167   1.3        ad 	int symstrindex;
    168   1.3        ad 	int nsym;
    169   1.3        ad 	int pb, rl, ra;
    170   1.3        ad 	int alignmask;
    171   1.3        ad 	int i, j;
    172  1.13        ad 	void *addr;
    173   1.3        ad 
    174   1.3        ad 	KASSERT(ko->ko_type != KT_UNSET);
    175   1.3        ad 	KASSERT(ko->ko_source != NULL);
    176   1.3        ad 
    177   1.3        ad 	shdr = NULL;
    178   1.3        ad 	error = 0;
    179   1.3        ad 	hdr = NULL;
    180   1.3        ad 
    181   1.1        ad 	/*
    182   1.1        ad 	 * Read the elf header from the file.
    183   1.1        ad 	 */
    184  1.40     pooka 	error = ko->ko_read(ko, (void **)&hdr, sizeof(*hdr), 0, true);
    185  1.44  christos 	if (error != 0) {
    186  1.47      maxv 		kobj_error(ko, "read failed %d", error);
    187   1.1        ad 		goto out;
    188  1.44  christos 	}
    189   1.1        ad 	if (memcmp(hdr->e_ident, ELFMAG, SELFMAG) != 0) {
    190  1.47      maxv 		kobj_error(ko, "not an ELF object");
    191   1.1        ad 		error = ENOEXEC;
    192   1.1        ad 		goto out;
    193   1.1        ad 	}
    194   1.1        ad 
    195   1.1        ad 	if (hdr->e_ident[EI_VERSION] != EV_CURRENT ||
    196   1.1        ad 	    hdr->e_version != EV_CURRENT) {
    197  1.47      maxv 		kobj_error(ko, "unsupported file version %d",
    198  1.47      maxv 		    hdr->e_ident[EI_VERSION]);
    199   1.1        ad 		error = ENOEXEC;
    200   1.1        ad 		goto out;
    201   1.1        ad 	}
    202   1.1        ad 	if (hdr->e_type != ET_REL) {
    203  1.47      maxv 		kobj_error(ko, "unsupported file type %d", hdr->e_type);
    204   1.1        ad 		error = ENOEXEC;
    205   1.1        ad 		goto out;
    206   1.1        ad 	}
    207   1.1        ad 	switch (hdr->e_machine) {
    208   1.1        ad #if ELFSIZE == 32
    209   1.1        ad 	ELF32_MACHDEP_ID_CASES
    210  1.42      matt #elif ELFSIZE == 64
    211  1.42      matt 	ELF64_MACHDEP_ID_CASES
    212   1.1        ad #else
    213  1.42      matt #error not defined
    214   1.1        ad #endif
    215   1.1        ad 	default:
    216  1.47      maxv 		kobj_error(ko, "unsupported machine %d", hdr->e_machine);
    217   1.1        ad 		error = ENOEXEC;
    218   1.1        ad 		goto out;
    219   1.1        ad 	}
    220   1.1        ad 
    221   1.1        ad 	ko->ko_nprogtab = 0;
    222   1.1        ad 	ko->ko_shdr = 0;
    223   1.1        ad 	ko->ko_nrel = 0;
    224   1.1        ad 	ko->ko_nrela = 0;
    225   1.1        ad 
    226   1.1        ad 	/*
    227   1.1        ad 	 * Allocate and read in the section header.
    228   1.1        ad 	 */
    229  1.49      maxv 	if (hdr->e_shnum == 0 || hdr->e_shnum > ELF_MAXSHNUM ||
    230  1.49      maxv 	    hdr->e_shoff == 0 || hdr->e_shentsize != sizeof(Elf_Shdr)) {
    231  1.47      maxv 		kobj_error(ko, "bad sizes");
    232   1.1        ad 		error = ENOEXEC;
    233   1.1        ad 		goto out;
    234   1.1        ad 	}
    235  1.49      maxv 	ko->ko_shdrsz = hdr->e_shnum * sizeof(Elf_Shdr);
    236  1.40     pooka 	error = ko->ko_read(ko, (void **)&shdr, ko->ko_shdrsz, hdr->e_shoff,
    237  1.40     pooka 	    true);
    238  1.12        ad 	if (error != 0) {
    239  1.47      maxv 		kobj_error(ko, "read failed %d", error);
    240   1.1        ad 		goto out;
    241   1.1        ad 	}
    242   1.1        ad 	ko->ko_shdr = shdr;
    243   1.1        ad 
    244   1.1        ad 	/*
    245   1.1        ad 	 * Scan the section header for information and table sizing.
    246   1.1        ad 	 */
    247   1.1        ad 	nsym = 0;
    248  1.48      maxv 	symtabindex = symstrindex = -1;
    249   1.1        ad 	for (i = 0; i < hdr->e_shnum; i++) {
    250   1.1        ad 		switch (shdr[i].sh_type) {
    251   1.1        ad 		case SHT_PROGBITS:
    252   1.1        ad 		case SHT_NOBITS:
    253   1.1        ad 			ko->ko_nprogtab++;
    254   1.1        ad 			break;
    255   1.1        ad 		case SHT_SYMTAB:
    256   1.1        ad 			nsym++;
    257   1.1        ad 			symtabindex = i;
    258   1.1        ad 			symstrindex = shdr[i].sh_link;
    259   1.1        ad 			break;
    260   1.1        ad 		case SHT_REL:
    261  1.46      matt 			if (shdr[shdr[i].sh_info].sh_type != SHT_PROGBITS)
    262  1.46      matt 				continue;
    263   1.1        ad 			ko->ko_nrel++;
    264   1.1        ad 			break;
    265   1.1        ad 		case SHT_RELA:
    266  1.46      matt 			if (shdr[shdr[i].sh_info].sh_type != SHT_PROGBITS)
    267  1.46      matt 				continue;
    268   1.1        ad 			ko->ko_nrela++;
    269   1.1        ad 			break;
    270   1.1        ad 		case SHT_STRTAB:
    271   1.1        ad 			break;
    272   1.1        ad 		}
    273   1.1        ad 	}
    274   1.1        ad 	if (ko->ko_nprogtab == 0) {
    275  1.47      maxv 		kobj_error(ko, "file has no contents");
    276   1.1        ad 		error = ENOEXEC;
    277   1.1        ad 		goto out;
    278   1.1        ad 	}
    279   1.1        ad 	if (nsym != 1) {
    280   1.1        ad 		/* Only allow one symbol table for now */
    281  1.47      maxv 		kobj_error(ko, "file has no valid symbol table");
    282   1.1        ad 		error = ENOEXEC;
    283   1.1        ad 		goto out;
    284   1.1        ad 	}
    285  1.48      maxv 	KASSERT(symtabindex != -1);
    286  1.49      maxv 	KASSERT(symstrindex != -1);
    287  1.49      maxv 
    288  1.49      maxv 	if (symstrindex == SHN_UNDEF || symstrindex >= hdr->e_shnum ||
    289   1.1        ad 	    shdr[symstrindex].sh_type != SHT_STRTAB) {
    290  1.47      maxv 		kobj_error(ko, "file has invalid symbol strings");
    291   1.1        ad 		error = ENOEXEC;
    292   1.1        ad 		goto out;
    293   1.1        ad 	}
    294   1.1        ad 
    295   1.1        ad 	/*
    296   1.1        ad 	 * Allocate space for tracking the load chunks.
    297   1.1        ad 	 */
    298   1.1        ad 	if (ko->ko_nprogtab != 0) {
    299   1.1        ad 		ko->ko_progtab = kmem_zalloc(ko->ko_nprogtab *
    300   1.1        ad 		    sizeof(*ko->ko_progtab), KM_SLEEP);
    301   1.1        ad 		if (ko->ko_progtab == NULL) {
    302   1.1        ad 			error = ENOMEM;
    303  1.47      maxv 			kobj_error(ko, "out of memory");
    304   1.1        ad 			goto out;
    305   1.1        ad 		}
    306   1.1        ad 	}
    307   1.1        ad 	if (ko->ko_nrel != 0) {
    308   1.1        ad 		ko->ko_reltab = kmem_zalloc(ko->ko_nrel *
    309   1.1        ad 		    sizeof(*ko->ko_reltab), KM_SLEEP);
    310   1.1        ad 		if (ko->ko_reltab == NULL) {
    311   1.1        ad 			error = ENOMEM;
    312  1.47      maxv 			kobj_error(ko, "out of memory");
    313   1.1        ad 			goto out;
    314   1.1        ad 		}
    315   1.1        ad 	}
    316   1.1        ad 	if (ko->ko_nrela != 0) {
    317   1.1        ad 		ko->ko_relatab = kmem_zalloc(ko->ko_nrela *
    318   1.1        ad 		    sizeof(*ko->ko_relatab), KM_SLEEP);
    319   1.1        ad 		if (ko->ko_relatab == NULL) {
    320   1.1        ad 			error = ENOMEM;
    321  1.47      maxv 			kobj_error(ko, "out of memory");
    322   1.1        ad 			goto out;
    323   1.1        ad 		}
    324   1.1        ad 	}
    325   1.1        ad 
    326   1.1        ad 	/*
    327   1.1        ad 	 * Allocate space for and load the symbol table.
    328   1.1        ad 	 */
    329   1.1        ad 	ko->ko_symcnt = shdr[symtabindex].sh_size / sizeof(Elf_Sym);
    330   1.1        ad 	if (ko->ko_symcnt == 0) {
    331  1.47      maxv 		kobj_error(ko, "no symbol table");
    332  1.49      maxv 		error = ENOEXEC;
    333   1.1        ad 		goto out;
    334   1.1        ad 	}
    335  1.40     pooka 	error = ko->ko_read(ko, (void **)&ko->ko_symtab,
    336  1.12        ad 	    ko->ko_symcnt * sizeof(Elf_Sym),
    337  1.40     pooka 	    shdr[symtabindex].sh_offset, true);
    338   1.1        ad 	if (error != 0) {
    339  1.47      maxv 		kobj_error(ko, "read failed %d", error);
    340   1.1        ad 		goto out;
    341   1.1        ad 	}
    342   1.1        ad 
    343   1.1        ad 	/*
    344   1.1        ad 	 * Allocate space for and load the symbol strings.
    345   1.1        ad 	 */
    346   1.1        ad 	ko->ko_strtabsz = shdr[symstrindex].sh_size;
    347   1.1        ad 	if (ko->ko_strtabsz == 0) {
    348  1.47      maxv 		kobj_error(ko, "no symbol strings");
    349  1.49      maxv 		error = ENOEXEC;
    350   1.1        ad 		goto out;
    351   1.1        ad 	}
    352  1.40     pooka 	error = ko->ko_read(ko, (void *)&ko->ko_strtab, ko->ko_strtabsz,
    353  1.40     pooka 	    shdr[symstrindex].sh_offset, true);
    354   1.1        ad 	if (error != 0) {
    355  1.47      maxv 		kobj_error(ko, "read failed %d", error);
    356   1.1        ad 		goto out;
    357   1.1        ad 	}
    358   1.1        ad 
    359   1.1        ad 	/*
    360  1.41     pooka 	 * Adjust module symbol namespace, if necessary (e.g. with rump)
    361  1.41     pooka 	 */
    362  1.41     pooka 	error = kobj_renamespace(ko->ko_symtab, ko->ko_symcnt,
    363  1.41     pooka 	    &ko->ko_strtab, &ko->ko_strtabsz);
    364  1.41     pooka 	if (error != 0) {
    365  1.50      maxv 		kobj_error(ko, "renamespace failed %d", error);
    366  1.41     pooka 		goto out;
    367  1.41     pooka 	}
    368  1.41     pooka 
    369  1.41     pooka 	/*
    370   1.8        ad 	 * Do we have a string table for the section names?
    371   1.8        ad 	 */
    372  1.49      maxv 	if (hdr->e_shstrndx != SHN_UNDEF) {
    373  1.49      maxv 		if (hdr->e_shstrndx >= hdr->e_shnum) {
    374  1.49      maxv 			kobj_error(ko, "bad shstrndx");
    375  1.49      maxv 			error = ENOEXEC;
    376   1.8        ad 			goto out;
    377   1.8        ad 		}
    378  1.49      maxv 		if (shdr[hdr->e_shstrndx].sh_size != 0 &&
    379  1.49      maxv 		    shdr[hdr->e_shstrndx].sh_type == SHT_STRTAB) {
    380  1.49      maxv 			ko->ko_shstrtabsz = shdr[hdr->e_shstrndx].sh_size;
    381  1.49      maxv 			error = ko->ko_read(ko, (void **)&ko->ko_shstrtab,
    382  1.49      maxv 			    shdr[hdr->e_shstrndx].sh_size,
    383  1.49      maxv 			    shdr[hdr->e_shstrndx].sh_offset, true);
    384  1.49      maxv 			if (error != 0) {
    385  1.49      maxv 				kobj_error(ko, "read failed %d", error);
    386  1.49      maxv 				goto out;
    387  1.49      maxv 			}
    388  1.49      maxv 		}
    389   1.8        ad 	}
    390   1.8        ad 
    391   1.8        ad 	/*
    392   1.1        ad 	 * Size up code/data(progbits) and bss(nobits).
    393   1.1        ad 	 */
    394   1.1        ad 	alignmask = 0;
    395  1.12        ad 	mapbase = 0;
    396  1.50      maxv 	mapsize = 0;
    397   1.1        ad 	for (i = 0; i < hdr->e_shnum; i++) {
    398   1.1        ad 		switch (shdr[i].sh_type) {
    399   1.1        ad 		case SHT_PROGBITS:
    400   1.1        ad 		case SHT_NOBITS:
    401  1.12        ad 			if (mapbase == 0)
    402  1.12        ad 				mapbase = shdr[i].sh_offset;
    403   1.1        ad 			alignmask = shdr[i].sh_addralign - 1;
    404   1.1        ad 			mapsize += alignmask;
    405   1.1        ad 			mapsize &= ~alignmask;
    406   1.1        ad 			mapsize += shdr[i].sh_size;
    407   1.1        ad 			break;
    408   1.1        ad 		}
    409   1.1        ad 	}
    410   1.1        ad 
    411   1.1        ad 	/*
    412   1.1        ad 	 * We know how much space we need for the text/data/bss/etc.
    413   1.1        ad 	 * This stuff needs to be in a single chunk so that profiling etc
    414   1.1        ad 	 * can get the bounds and gdb can associate offsets with modules.
    415   1.1        ad 	 */
    416   1.1        ad 	if (mapsize == 0) {
    417  1.47      maxv 		kobj_error(ko, "no text/data/bss");
    418  1.50      maxv 		error = ENOEXEC;
    419   1.1        ad 		goto out;
    420   1.1        ad 	}
    421  1.12        ad 	if (ko->ko_type == KT_MEMORY) {
    422  1.12        ad 		mapbase += (vaddr_t)ko->ko_source;
    423  1.12        ad 	} else {
    424  1.25        ad 		mapbase = uvm_km_alloc(module_map, round_page(mapsize),
    425  1.13        ad 		    0, UVM_KMF_WIRED | UVM_KMF_EXEC);
    426  1.12        ad 		if (mapbase == 0) {
    427  1.47      maxv 			kobj_error(ko, "out of memory");
    428  1.12        ad 			error = ENOMEM;
    429  1.12        ad 			goto out;
    430  1.12        ad 		}
    431   1.1        ad 	}
    432   1.1        ad 	ko->ko_address = mapbase;
    433   1.1        ad 	ko->ko_size = mapsize;
    434   1.1        ad 
    435   1.1        ad 	/*
    436   1.1        ad 	 * Now load code/data(progbits), zero bss(nobits), allocate space
    437   1.1        ad 	 * for and load relocs
    438   1.1        ad 	 */
    439   1.1        ad 	pb = 0;
    440   1.1        ad 	rl = 0;
    441   1.1        ad 	ra = 0;
    442   1.1        ad 	alignmask = 0;
    443   1.1        ad 	for (i = 0; i < hdr->e_shnum; i++) {
    444   1.1        ad 		switch (shdr[i].sh_type) {
    445   1.1        ad 		case SHT_PROGBITS:
    446   1.1        ad 		case SHT_NOBITS:
    447   1.1        ad 			alignmask = shdr[i].sh_addralign - 1;
    448  1.13        ad 			if (ko->ko_type == KT_MEMORY) {
    449  1.13        ad 				addr = (void *)(shdr[i].sh_offset +
    450  1.13        ad 				    (vaddr_t)ko->ko_source);
    451  1.13        ad 				if (((vaddr_t)addr & alignmask) != 0) {
    452  1.47      maxv 					kobj_error(ko,
    453  1.47      maxv 					    "section %d not aligned", i);
    454  1.50      maxv 					error = ENOEXEC;
    455  1.13        ad 					goto out;
    456  1.13        ad 				}
    457  1.13        ad 			} else {
    458  1.13        ad 				mapbase += alignmask;
    459  1.13        ad 				mapbase &= ~alignmask;
    460  1.13        ad 				addr = (void *)mapbase;
    461  1.13        ad 				mapbase += shdr[i].sh_size;
    462  1.13        ad 			}
    463  1.13        ad 			ko->ko_progtab[pb].addr = addr;
    464   1.1        ad 			if (shdr[i].sh_type == SHT_PROGBITS) {
    465   1.1        ad 				ko->ko_progtab[pb].name = "<<PROGBITS>>";
    466  1.40     pooka 				error = ko->ko_read(ko, &addr,
    467  1.40     pooka 				    shdr[i].sh_size, shdr[i].sh_offset, false);
    468   1.1        ad 				if (error != 0) {
    469  1.50      maxv 					kobj_error(ko, "read failed %d", error);
    470   1.1        ad 					goto out;
    471   1.1        ad 				}
    472  1.13        ad 			} else if (ko->ko_type == KT_MEMORY &&
    473  1.13        ad 			    shdr[i].sh_size != 0) {
    474  1.50      maxv 				kobj_error(ko, "non-loadable BSS "
    475  1.44  christos 				    "section in pre-loaded module");
    476  1.50      maxv 				error = ENOEXEC;
    477  1.50      maxv 				goto out;
    478   1.1        ad 			} else {
    479   1.1        ad 				ko->ko_progtab[pb].name = "<<NOBITS>>";
    480  1.13        ad 				memset(addr, 0, shdr[i].sh_size);
    481   1.1        ad 			}
    482   1.1        ad 			ko->ko_progtab[pb].size = shdr[i].sh_size;
    483   1.1        ad 			ko->ko_progtab[pb].sec = i;
    484   1.8        ad 			if (ko->ko_shstrtab != NULL && shdr[i].sh_name != 0) {
    485   1.8        ad 				ko->ko_progtab[pb].name =
    486   1.8        ad 				    ko->ko_shstrtab + shdr[i].sh_name;
    487   1.8        ad 			}
    488   1.1        ad 
    489   1.1        ad 			/* Update all symbol values with the offset. */
    490   1.1        ad 			for (j = 0; j < ko->ko_symcnt; j++) {
    491   1.1        ad 				es = &ko->ko_symtab[j];
    492   1.1        ad 				if (es->st_shndx != i) {
    493   1.1        ad 					continue;
    494   1.1        ad 				}
    495  1.13        ad 				es->st_value += (Elf_Addr)addr;
    496   1.1        ad 			}
    497   1.1        ad 			pb++;
    498   1.1        ad 			break;
    499   1.1        ad 		case SHT_REL:
    500  1.46      matt 			if (shdr[shdr[i].sh_info].sh_type != SHT_PROGBITS)
    501  1.46      matt 				break;
    502   1.1        ad 			ko->ko_reltab[rl].size = shdr[i].sh_size;
    503   1.1        ad 			ko->ko_reltab[rl].size -=
    504   1.1        ad 			    shdr[i].sh_size % sizeof(Elf_Rel);
    505   1.1        ad 			if (ko->ko_reltab[rl].size != 0) {
    506   1.1        ad 				ko->ko_reltab[rl].nrel =
    507   1.1        ad 				    shdr[i].sh_size / sizeof(Elf_Rel);
    508   1.1        ad 				ko->ko_reltab[rl].sec = shdr[i].sh_info;
    509  1.40     pooka 				error = ko->ko_read(ko,
    510  1.32     pooka 				    (void **)&ko->ko_reltab[rl].rel,
    511   1.1        ad 				    ko->ko_reltab[rl].size,
    512  1.40     pooka 				    shdr[i].sh_offset, true);
    513   1.1        ad 				if (error != 0) {
    514  1.47      maxv 					kobj_error(ko, "read failed %d",
    515  1.47      maxv 					    error);
    516   1.1        ad 					goto out;
    517   1.1        ad 				}
    518   1.1        ad 			}
    519   1.1        ad 			rl++;
    520   1.1        ad 			break;
    521   1.1        ad 		case SHT_RELA:
    522  1.46      matt 			if (shdr[shdr[i].sh_info].sh_type != SHT_PROGBITS)
    523  1.46      matt 				break;
    524   1.1        ad 			ko->ko_relatab[ra].size = shdr[i].sh_size;
    525   1.1        ad 			ko->ko_relatab[ra].size -=
    526   1.1        ad 			    shdr[i].sh_size % sizeof(Elf_Rela);
    527   1.1        ad 			if (ko->ko_relatab[ra].size != 0) {
    528   1.1        ad 				ko->ko_relatab[ra].nrela =
    529   1.1        ad 				    shdr[i].sh_size / sizeof(Elf_Rela);
    530   1.1        ad 				ko->ko_relatab[ra].sec = shdr[i].sh_info;
    531  1.40     pooka 				error = ko->ko_read(ko,
    532  1.32     pooka 				    (void **)&ko->ko_relatab[ra].rela,
    533   1.1        ad 				    shdr[i].sh_size,
    534  1.40     pooka 				    shdr[i].sh_offset, true);
    535   1.1        ad 				if (error != 0) {
    536  1.50      maxv 					kobj_error(ko, "read failed %d", error);
    537   1.1        ad 					goto out;
    538   1.1        ad 				}
    539   1.1        ad 			}
    540   1.1        ad 			ra++;
    541   1.1        ad 			break;
    542  1.13        ad 		default:
    543  1.13        ad 			break;
    544   1.1        ad 		}
    545   1.1        ad 	}
    546   1.1        ad 	if (pb != ko->ko_nprogtab) {
    547  1.46      matt 		panic("%s:%d: %s: lost progbits", __func__, __LINE__,
    548  1.46      matt 		   ko->ko_name);
    549   1.1        ad 	}
    550   1.1        ad 	if (rl != ko->ko_nrel) {
    551  1.46      matt 		panic("%s:%d: %s: lost rel", __func__, __LINE__,
    552  1.46      matt 		   ko->ko_name);
    553   1.1        ad 	}
    554   1.1        ad 	if (ra != ko->ko_nrela) {
    555  1.46      matt 		panic("%s:%d: %s: lost rela", __func__, __LINE__,
    556  1.46      matt 		   ko->ko_name);
    557   1.1        ad 	}
    558  1.13        ad 	if (ko->ko_type != KT_MEMORY && mapbase != ko->ko_address + mapsize) {
    559  1.46      matt 		panic("%s:%d: %s: "
    560  1.46      matt 		    "mapbase 0x%lx != address %lx + mapsize %ld (0x%lx)\n",
    561  1.46      matt 		    __func__, __LINE__, ko->ko_name,
    562   1.1        ad 		    (long)mapbase, (long)ko->ko_address, (long)mapsize,
    563   1.1        ad 		    (long)ko->ko_address + mapsize);
    564   1.1        ad 	}
    565   1.1        ad 
    566   1.1        ad 	/*
    567  1.18        ad 	 * Perform local relocations only.  Relocations relating to global
    568  1.18        ad 	 * symbols will be done by kobj_affix().
    569   1.1        ad 	 */
    570  1.30        ad 	error = kobj_checksyms(ko, false);
    571  1.23        ad 	if (error == 0) {
    572  1.23        ad 		error = kobj_relocate(ko, true);
    573  1.23        ad 	}
    574   1.1        ad  out:
    575   1.3        ad 	if (hdr != NULL) {
    576  1.12        ad 		kobj_free(ko, hdr, sizeof(*hdr));
    577   1.1        ad 	}
    578  1.18        ad 	kobj_close(ko);
    579  1.18        ad 	if (error != 0) {
    580  1.18        ad 		kobj_unload(ko);
    581  1.18        ad 	}
    582   1.1        ad 
    583   1.1        ad 	return error;
    584   1.1        ad }
    585   1.1        ad 
    586   1.1        ad /*
    587   1.1        ad  * kobj_unload:
    588   1.1        ad  *
    589   1.1        ad  *	Unload an object previously loaded by kobj_load().
    590   1.1        ad  */
    591   1.1        ad void
    592   1.1        ad kobj_unload(kobj_t ko)
    593   1.1        ad {
    594   1.1        ad 	int error;
    595   1.1        ad 
    596  1.18        ad 	kobj_close(ko);
    597  1.18        ad 	kobj_jettison(ko);
    598  1.18        ad 
    599  1.18        ad 	/*
    600  1.18        ad 	 * Notify MD code that a module has been unloaded.
    601  1.18        ad 	 */
    602  1.18        ad 	if (ko->ko_loaded) {
    603  1.18        ad 		error = kobj_machdep(ko, (void *)ko->ko_address, ko->ko_size,
    604  1.18        ad 		    false);
    605  1.44  christos 		if (error != 0)
    606  1.47      maxv 			kobj_error(ko, "machine dependent deinit failed %d",
    607  1.47      maxv 			    error);
    608  1.18        ad 	}
    609  1.12        ad 	if (ko->ko_address != 0 && ko->ko_type != KT_MEMORY) {
    610  1.25        ad 		uvm_km_free(module_map, ko->ko_address, round_page(ko->ko_size),
    611   1.1        ad 		    UVM_KMF_WIRED);
    612   1.1        ad 	}
    613   1.1        ad 	if (ko->ko_ksyms == true) {
    614  1.23        ad 		ksyms_modunload(ko->ko_name);
    615   1.1        ad 	}
    616   1.1        ad 	if (ko->ko_symtab != NULL) {
    617  1.12        ad 		kobj_free(ko, ko->ko_symtab, ko->ko_symcnt * sizeof(Elf_Sym));
    618   1.1        ad 	}
    619   1.1        ad 	if (ko->ko_strtab != NULL) {
    620  1.12        ad 		kobj_free(ko, ko->ko_strtab, ko->ko_strtabsz);
    621   1.1        ad 	}
    622  1.14        ad 	if (ko->ko_progtab != NULL) {
    623  1.14        ad 		kobj_free(ko, ko->ko_progtab, ko->ko_nprogtab *
    624  1.14        ad 		    sizeof(*ko->ko_progtab));
    625  1.14        ad 		ko->ko_progtab = NULL;
    626  1.14        ad 	}
    627  1.14        ad 	if (ko->ko_shstrtab) {
    628  1.14        ad 		kobj_free(ko, ko->ko_shstrtab, ko->ko_shstrtabsz);
    629  1.14        ad 		ko->ko_shstrtab = NULL;
    630  1.14        ad 	}
    631   1.1        ad 
    632   1.3        ad 	kmem_free(ko, sizeof(*ko));
    633   1.1        ad }
    634   1.1        ad 
    635   1.1        ad /*
    636   1.2        ad  * kobj_stat:
    637   1.2        ad  *
    638   1.2        ad  *	Return size and load address of an object.
    639   1.2        ad  */
    640  1.39    dyoung int
    641   1.8        ad kobj_stat(kobj_t ko, vaddr_t *address, size_t *size)
    642   1.2        ad {
    643   1.2        ad 
    644   1.2        ad 	if (address != NULL) {
    645   1.2        ad 		*address = ko->ko_address;
    646   1.2        ad 	}
    647   1.2        ad 	if (size != NULL) {
    648   1.2        ad 		*size = ko->ko_size;
    649   1.2        ad 	}
    650  1.53   msaitoh 	return 0;
    651   1.2        ad }
    652   1.2        ad 
    653   1.2        ad /*
    654  1.18        ad  * kobj_affix:
    655   1.3        ad  *
    656  1.18        ad  *	Set an object's name and perform global relocs.  May only be
    657  1.18        ad  *	called after the module and any requisite modules are loaded.
    658   1.3        ad  */
    659   1.6        ad int
    660  1.18        ad kobj_affix(kobj_t ko, const char *name)
    661   1.3        ad {
    662   1.6        ad 	int error;
    663   1.3        ad 
    664  1.18        ad 	KASSERT(ko->ko_ksyms == false);
    665  1.18        ad 	KASSERT(ko->ko_loaded == false);
    666   1.3        ad 
    667  1.44  christos 	kobj_setname(ko, name);
    668   1.6        ad 
    669  1.30        ad 	/* Cache addresses of undefined symbols. */
    670  1.30        ad 	error = kobj_checksyms(ko, true);
    671  1.30        ad 
    672  1.23        ad 	/* Now do global relocations. */
    673  1.30        ad 	if (error == 0)
    674  1.30        ad 		error = kobj_relocate(ko, false);
    675  1.23        ad 
    676  1.23        ad 	/*
    677  1.23        ad 	 * Now that we know the name, register the symbol table.
    678  1.25        ad 	 * Do after global relocations because ksyms will pack
    679  1.25        ad 	 * the table.
    680  1.23        ad 	 */
    681  1.30        ad 	if (error == 0) {
    682  1.30        ad 		ksyms_modload(ko->ko_name, ko->ko_symtab, ko->ko_symcnt *
    683  1.30        ad 		    sizeof(Elf_Sym), ko->ko_strtab, ko->ko_strtabsz);
    684  1.30        ad 		ko->ko_ksyms = true;
    685  1.30        ad 	}
    686  1.18        ad 
    687  1.18        ad 	/* Jettison unneeded memory post-link. */
    688  1.18        ad 	kobj_jettison(ko);
    689  1.18        ad 
    690  1.33     pooka 	/*
    691  1.33     pooka 	 * Notify MD code that a module has been loaded.
    692  1.33     pooka 	 *
    693  1.33     pooka 	 * Most architectures use this opportunity to flush their caches.
    694  1.33     pooka 	 */
    695  1.18        ad 	if (error == 0) {
    696  1.18        ad 		error = kobj_machdep(ko, (void *)ko->ko_address, ko->ko_size,
    697  1.18        ad 		    true);
    698  1.44  christos 		if (error != 0)
    699  1.47      maxv 			kobj_error(ko, "machine dependent init failed %d",
    700  1.47      maxv 			    error);
    701  1.18        ad 		ko->ko_loaded = true;
    702  1.18        ad 	}
    703  1.18        ad 
    704  1.18        ad 	/* If there was an error, destroy the whole object. */
    705  1.18        ad 	if (error != 0) {
    706  1.18        ad 		kobj_unload(ko);
    707   1.6        ad 	}
    708   1.6        ad 
    709   1.6        ad 	return error;
    710   1.3        ad }
    711   1.3        ad 
    712   1.3        ad /*
    713   1.8        ad  * kobj_find_section:
    714   1.8        ad  *
    715   1.8        ad  *	Given a section name, search the loaded object and return
    716   1.8        ad  *	virtual address if present and loaded.
    717   1.8        ad  */
    718   1.8        ad int
    719   1.8        ad kobj_find_section(kobj_t ko, const char *name, void **addr, size_t *size)
    720   1.8        ad {
    721   1.8        ad 	int i;
    722   1.8        ad 
    723   1.8        ad 	KASSERT(ko->ko_progtab != NULL);
    724   1.8        ad 
    725   1.8        ad 	for (i = 0; i < ko->ko_nprogtab; i++) {
    726   1.8        ad 		if (strcmp(ko->ko_progtab[i].name, name) == 0) {
    727   1.8        ad 			if (addr != NULL) {
    728   1.8        ad 				*addr = ko->ko_progtab[i].addr;
    729   1.8        ad 			}
    730   1.8        ad 			if (size != NULL) {
    731   1.8        ad 				*size = ko->ko_progtab[i].size;
    732   1.8        ad 			}
    733   1.8        ad 			return 0;
    734   1.8        ad 		}
    735   1.8        ad 	}
    736   1.8        ad 
    737   1.8        ad 	return ENOENT;
    738   1.8        ad }
    739   1.8        ad 
    740   1.8        ad /*
    741  1.18        ad  * kobj_jettison:
    742   1.1        ad  *
    743  1.18        ad  *	Release object data not needed after performing relocations.
    744   1.1        ad  */
    745   1.1        ad static void
    746  1.18        ad kobj_jettison(kobj_t ko)
    747   1.1        ad {
    748   1.1        ad 	int i;
    749   1.1        ad 
    750  1.35        ad 	if (ko->ko_reltab != NULL) {
    751  1.35        ad 		for (i = 0; i < ko->ko_nrel; i++) {
    752  1.35        ad 			if (ko->ko_reltab[i].rel) {
    753  1.35        ad 				kobj_free(ko, ko->ko_reltab[i].rel,
    754  1.35        ad 				    ko->ko_reltab[i].size);
    755  1.35        ad 			}
    756   1.1        ad 		}
    757  1.12        ad 		kobj_free(ko, ko->ko_reltab, ko->ko_nrel *
    758   1.1        ad 		    sizeof(*ko->ko_reltab));
    759   1.1        ad 		ko->ko_reltab = NULL;
    760   1.1        ad 		ko->ko_nrel = 0;
    761   1.1        ad 	}
    762   1.1        ad 	if (ko->ko_relatab != NULL) {
    763  1.35        ad 		for (i = 0; i < ko->ko_nrela; i++) {
    764  1.35        ad 			if (ko->ko_relatab[i].rela) {
    765  1.35        ad 				kobj_free(ko, ko->ko_relatab[i].rela,
    766  1.35        ad 				    ko->ko_relatab[i].size);
    767  1.35        ad 			}
    768  1.35        ad 		}
    769  1.12        ad 		kobj_free(ko, ko->ko_relatab, ko->ko_nrela *
    770   1.1        ad 		    sizeof(*ko->ko_relatab));
    771   1.1        ad 		ko->ko_relatab = NULL;
    772   1.1        ad 		ko->ko_nrela = 0;
    773   1.1        ad 	}
    774   1.1        ad 	if (ko->ko_shdr != NULL) {
    775  1.12        ad 		kobj_free(ko, ko->ko_shdr, ko->ko_shdrsz);
    776   1.1        ad 		ko->ko_shdr = NULL;
    777   1.1        ad 	}
    778   1.1        ad }
    779   1.1        ad 
    780   1.1        ad /*
    781   1.1        ad  * kobj_sym_lookup:
    782   1.1        ad  *
    783   1.1        ad  *	Symbol lookup function to be used when the symbol index
    784   1.1        ad  *	is known (ie during relocation).
    785   1.1        ad  */
    786   1.1        ad uintptr_t
    787   1.1        ad kobj_sym_lookup(kobj_t ko, uintptr_t symidx)
    788   1.1        ad {
    789   1.1        ad 	const Elf_Sym *sym;
    790   1.1        ad 	const char *symbol;
    791   1.1        ad 
    792   1.1        ad 	/* Don't even try to lookup the symbol if the index is bogus. */
    793   1.1        ad 	if (symidx >= ko->ko_symcnt)
    794   1.1        ad 		return 0;
    795   1.1        ad 
    796   1.1        ad 	sym = ko->ko_symtab + symidx;
    797   1.1        ad 
    798   1.1        ad 	/* Quick answer if there is a definition included. */
    799   1.1        ad 	if (sym->st_shndx != SHN_UNDEF) {
    800  1.28        ad 		return (uintptr_t)sym->st_value;
    801   1.1        ad 	}
    802   1.1        ad 
    803   1.1        ad 	/* If we get here, then it is undefined and needs a lookup. */
    804   1.1        ad 	switch (ELF_ST_BIND(sym->st_info)) {
    805   1.1        ad 	case STB_LOCAL:
    806   1.1        ad 		/* Local, but undefined? huh? */
    807  1.47      maxv 		kobj_error(ko, "local symbol undefined");
    808   1.1        ad 		return 0;
    809   1.1        ad 
    810   1.1        ad 	case STB_GLOBAL:
    811   1.1        ad 		/* Relative to Data or Function name */
    812   1.1        ad 		symbol = ko->ko_strtab + sym->st_name;
    813   1.1        ad 
    814   1.1        ad 		/* Force a lookup failure if the symbol name is bogus. */
    815   1.1        ad 		if (*symbol == 0) {
    816  1.47      maxv 			kobj_error(ko, "bad symbol name");
    817   1.1        ad 			return 0;
    818   1.1        ad 		}
    819   1.1        ad 
    820  1.28        ad 		return (uintptr_t)sym->st_value;
    821   1.1        ad 
    822   1.1        ad 	case STB_WEAK:
    823  1.47      maxv 		kobj_error(ko, "weak symbols not supported");
    824   1.1        ad 		return 0;
    825   1.1        ad 
    826   1.1        ad 	default:
    827   1.1        ad 		return 0;
    828   1.1        ad 	}
    829   1.1        ad }
    830   1.1        ad 
    831   1.1        ad /*
    832   1.1        ad  * kobj_findbase:
    833   1.1        ad  *
    834   1.1        ad  *	Return base address of the given section.
    835   1.1        ad  */
    836   1.1        ad static uintptr_t
    837   1.1        ad kobj_findbase(kobj_t ko, int sec)
    838   1.1        ad {
    839   1.1        ad 	int i;
    840   1.1        ad 
    841   1.1        ad 	for (i = 0; i < ko->ko_nprogtab; i++) {
    842   1.1        ad 		if (sec == ko->ko_progtab[i].sec) {
    843   1.1        ad 			return (uintptr_t)ko->ko_progtab[i].addr;
    844   1.1        ad 		}
    845   1.1        ad 	}
    846   1.1        ad 	return 0;
    847   1.1        ad }
    848   1.1        ad 
    849   1.1        ad /*
    850  1.28        ad  * kobj_checksyms:
    851  1.23        ad  *
    852  1.30        ad  *	Scan symbol table for duplicates or resolve references to
    853  1.28        ad  *	exernal symbols.
    854  1.23        ad  */
    855  1.23        ad static int
    856  1.30        ad kobj_checksyms(kobj_t ko, bool undefined)
    857  1.23        ad {
    858  1.23        ad 	unsigned long rval;
    859  1.23        ad 	Elf_Sym *sym, *ms;
    860  1.23        ad 	const char *name;
    861  1.28        ad 	int error;
    862  1.28        ad 
    863  1.28        ad 	error = 0;
    864  1.23        ad 
    865  1.23        ad 	for (ms = (sym = ko->ko_symtab) + ko->ko_symcnt; sym < ms; sym++) {
    866  1.23        ad 		/* Check validity of the symbol. */
    867  1.23        ad 		if (ELF_ST_BIND(sym->st_info) != STB_GLOBAL ||
    868  1.23        ad 		    sym->st_name == 0)
    869  1.23        ad 			continue;
    870  1.30        ad 		if (undefined != (sym->st_shndx == SHN_UNDEF)) {
    871  1.30        ad 			continue;
    872  1.30        ad 		}
    873  1.23        ad 
    874  1.28        ad 		/*
    875  1.28        ad 		 * Look it up.  Don't need to lock, as it is known that
    876  1.28        ad 		 * the symbol tables aren't going to change (we hold
    877  1.28        ad 		 * module_lock).
    878  1.28        ad 		 */
    879  1.23        ad 		name = ko->ko_strtab + sym->st_name;
    880  1.28        ad 		if (ksyms_getval_unlocked(NULL, name, &rval,
    881  1.28        ad 		    KSYMS_EXTERN) != 0) {
    882  1.30        ad 			if (undefined) {
    883  1.47      maxv 				kobj_error(ko, "symbol `%s' not found",
    884  1.47      maxv 				    name);
    885  1.28        ad 				error = ENOEXEC;
    886  1.28        ad 			}
    887  1.29        ad 			continue;
    888  1.28        ad 		}
    889  1.28        ad 
    890  1.28        ad 		/* Save values of undefined globals. */
    891  1.30        ad 		if (undefined) {
    892  1.28        ad 			sym->st_value = (Elf_Addr)rval;
    893  1.23        ad 			continue;
    894  1.23        ad 		}
    895  1.23        ad 
    896  1.28        ad 		/* Check (and complain) about differing values. */
    897  1.28        ad 		if (sym->st_value == rval) {
    898  1.23        ad 			continue;
    899  1.23        ad 		}
    900  1.23        ad 		if (strcmp(name, "_bss_start") == 0 ||
    901  1.23        ad 		    strcmp(name, "__bss_start") == 0 ||
    902  1.23        ad 		    strcmp(name, "_bss_end__") == 0 ||
    903  1.23        ad 		    strcmp(name, "__bss_end__") == 0 ||
    904  1.23        ad 		    strcmp(name, "_edata") == 0 ||
    905  1.23        ad 		    strcmp(name, "_end") == 0 ||
    906  1.23        ad 		    strcmp(name, "__end") == 0 ||
    907  1.23        ad 		    strcmp(name, "__end__") == 0 ||
    908  1.23        ad 		    strncmp(name, "__start_link_set_", 17) == 0 ||
    909  1.52  pgoyette 		    strncmp(name, "__stop_link_set_", 16) == 0) {
    910  1.23        ad 		    	continue;
    911  1.23        ad 		}
    912  1.47      maxv 		kobj_error(ko, "global symbol `%s' redefined",
    913  1.47      maxv 		    name);
    914  1.28        ad 		error = ENOEXEC;
    915  1.23        ad 	}
    916  1.23        ad 
    917  1.28        ad 	return error;
    918  1.23        ad }
    919  1.23        ad 
    920  1.23        ad /*
    921   1.1        ad  * kobj_relocate:
    922   1.1        ad  *
    923  1.18        ad  *	Resolve relocations for the loaded object.
    924   1.1        ad  */
    925   1.1        ad static int
    926  1.18        ad kobj_relocate(kobj_t ko, bool local)
    927   1.1        ad {
    928   1.1        ad 	const Elf_Rel *rellim;
    929   1.1        ad 	const Elf_Rel *rel;
    930   1.1        ad 	const Elf_Rela *relalim;
    931   1.1        ad 	const Elf_Rela *rela;
    932   1.1        ad 	const Elf_Sym *sym;
    933   1.1        ad 	uintptr_t base;
    934   1.8        ad 	int i, error;
    935   1.1        ad 	uintptr_t symidx;
    936   1.1        ad 
    937   1.1        ad 	/*
    938   1.1        ad 	 * Perform relocations without addend if there are any.
    939   1.1        ad 	 */
    940   1.1        ad 	for (i = 0; i < ko->ko_nrel; i++) {
    941   1.1        ad 		rel = ko->ko_reltab[i].rel;
    942   1.1        ad 		if (rel == NULL) {
    943   1.1        ad 			continue;
    944   1.1        ad 		}
    945   1.1        ad 		rellim = rel + ko->ko_reltab[i].nrel;
    946   1.1        ad 		base = kobj_findbase(ko, ko->ko_reltab[i].sec);
    947   1.1        ad 		if (base == 0) {
    948  1.46      matt 			panic("%s:%d: %s: lost base for e_reltab[%d] sec %d",
    949  1.46      matt 			   __func__, __LINE__, ko->ko_name, i,
    950  1.46      matt 			   ko->ko_reltab[i].sec);
    951   1.1        ad 		}
    952   1.1        ad 		for (; rel < rellim; rel++) {
    953   1.1        ad 			symidx = ELF_R_SYM(rel->r_info);
    954   1.1        ad 			if (symidx >= ko->ko_symcnt) {
    955   1.1        ad 				continue;
    956   1.1        ad 			}
    957   1.1        ad 			sym = ko->ko_symtab + symidx;
    958  1.18        ad 			if (local != (ELF_ST_BIND(sym->st_info) == STB_LOCAL)) {
    959  1.18        ad 				continue;
    960  1.18        ad 			}
    961  1.18        ad 			error = kobj_reloc(ko, base, rel, false, local);
    962   1.8        ad 			if (error != 0) {
    963   1.1        ad 				return ENOENT;
    964   1.1        ad 			}
    965   1.1        ad 		}
    966   1.1        ad 	}
    967   1.1        ad 
    968   1.1        ad 	/*
    969   1.1        ad 	 * Perform relocations with addend if there are any.
    970   1.1        ad 	 */
    971   1.1        ad 	for (i = 0; i < ko->ko_nrela; i++) {
    972   1.1        ad 		rela = ko->ko_relatab[i].rela;
    973   1.1        ad 		if (rela == NULL) {
    974   1.1        ad 			continue;
    975   1.1        ad 		}
    976   1.1        ad 		relalim = rela + ko->ko_relatab[i].nrela;
    977   1.1        ad 		base = kobj_findbase(ko, ko->ko_relatab[i].sec);
    978   1.1        ad 		if (base == 0) {
    979  1.46      matt 			panic("%s:%d: %s: lost base for e_relatab[%d] sec %d",
    980  1.46      matt 			   __func__, __LINE__, ko->ko_name, i,
    981  1.46      matt 			   ko->ko_relatab[i].sec);
    982   1.1        ad 		}
    983   1.1        ad 		for (; rela < relalim; rela++) {
    984   1.1        ad 			symidx = ELF_R_SYM(rela->r_info);
    985   1.1        ad 			if (symidx >= ko->ko_symcnt) {
    986   1.1        ad 				continue;
    987   1.1        ad 			}
    988   1.1        ad 			sym = ko->ko_symtab + symidx;
    989  1.18        ad 			if (local != (ELF_ST_BIND(sym->st_info) == STB_LOCAL)) {
    990  1.18        ad 				continue;
    991  1.18        ad 			}
    992  1.18        ad 			error = kobj_reloc(ko, base, rela, true, local);
    993   1.8        ad 			if (error != 0) {
    994   1.1        ad 				return ENOENT;
    995   1.1        ad 			}
    996   1.1        ad 		}
    997   1.1        ad 	}
    998   1.1        ad 
    999   1.1        ad 	return 0;
   1000   1.1        ad }
   1001   1.1        ad 
   1002   1.1        ad /*
   1003  1.47      maxv  * kobj_out:
   1004   1.1        ad  *
   1005   1.1        ad  *	Utility function: log an error.
   1006   1.1        ad  */
   1007   1.1        ad static void
   1008  1.47      maxv kobj_out(const char *fname, int lnum, kobj_t ko, const char *fmt, ...)
   1009   1.1        ad {
   1010   1.1        ad 	va_list ap;
   1011   1.1        ad 
   1012  1.44  christos 	printf("%s, %d: [%s]: linker error: ", fname, lnum, ko->ko_name);
   1013   1.1        ad 	va_start(ap, fmt);
   1014   1.1        ad 	vprintf(fmt, ap);
   1015  1.44  christos 	va_end(ap);
   1016   1.1        ad 	printf("\n");
   1017   1.1        ad }
   1018   1.1        ad 
   1019   1.1        ad static int
   1020  1.40     pooka kobj_read_mem(kobj_t ko, void **basep, size_t size, off_t off,
   1021  1.44  christos     bool allocate)
   1022   1.1        ad {
   1023  1.40     pooka 	void *base = *basep;
   1024   1.1        ad 	int error;
   1025   1.1        ad 
   1026  1.40     pooka 	if (ko->ko_memsize != -1 && off + size > ko->ko_memsize) {
   1027  1.47      maxv 		kobj_error(ko, "preloaded object short");
   1028  1.40     pooka 		error = EINVAL;
   1029  1.40     pooka 		base = NULL;
   1030  1.40     pooka 	} else if (allocate) {
   1031  1.40     pooka 		base = (uint8_t *)ko->ko_source + off;
   1032  1.40     pooka 		error = 0;
   1033  1.40     pooka 	} else if ((uint8_t *)base != (uint8_t *)ko->ko_source + off) {
   1034  1.47      maxv 		kobj_error(ko, "object not aligned");
   1035  1.47      maxv 		kobj_error(ko, "source=%p base=%p off=%d "
   1036  1.45     pooka 		    "size=%zu", ko->ko_source, base, (int)off, size);
   1037  1.40     pooka 		error = EINVAL;
   1038  1.40     pooka 	} else {
   1039  1.40     pooka 		/* Nothing to do.  Loading in-situ. */
   1040  1.40     pooka 		error = 0;
   1041  1.12        ad 	}
   1042  1.12        ad 
   1043  1.40     pooka 	if (allocate)
   1044  1.40     pooka 		*basep = base;
   1045   1.3        ad 
   1046   1.1        ad 	return error;
   1047   1.1        ad }
   1048   1.5        ad 
   1049  1.12        ad /*
   1050  1.12        ad  * kobj_free:
   1051  1.12        ad  *
   1052  1.12        ad  *	Utility function: free memory if it was allocated from the heap.
   1053  1.12        ad  */
   1054  1.12        ad static void
   1055  1.12        ad kobj_free(kobj_t ko, void *base, size_t size)
   1056  1.12        ad {
   1057  1.12        ad 
   1058  1.12        ad 	if (ko->ko_type != KT_MEMORY)
   1059  1.12        ad 		kmem_free(base, size);
   1060  1.12        ad }
   1061  1.12        ad 
   1062  1.44  christos extern char module_base[];
   1063  1.44  christos 
   1064  1.44  christos void
   1065  1.44  christos kobj_setname(kobj_t ko, const char *name)
   1066  1.44  christos {
   1067  1.44  christos 	const char *d = name, *dots = "";
   1068  1.44  christos 	size_t len, dlen;
   1069  1.44  christos 
   1070  1.44  christos 	for (char *s = module_base; *d == *s; d++, s++)
   1071  1.44  christos 		continue;
   1072  1.44  christos 
   1073  1.44  christos 	if (d == name)
   1074  1.44  christos 		name = "";
   1075  1.44  christos 	else
   1076  1.44  christos 		name = "%M";
   1077  1.44  christos 	dlen = strlen(d);
   1078  1.44  christos 	len = dlen + strlen(name);
   1079  1.44  christos 	if (len >= sizeof(ko->ko_name)) {
   1080  1.44  christos 		len = (len - sizeof(ko->ko_name)) + 5; /* dots + NUL */
   1081  1.44  christos 		if (dlen >= len) {
   1082  1.44  christos 			d += len;
   1083  1.44  christos 			dots = "/...";
   1084  1.44  christos 		}
   1085  1.44  christos 	}
   1086  1.44  christos 	snprintf(ko->ko_name, sizeof(ko->ko_name), "%s%s%s", name, dots, d);
   1087  1.44  christos }
   1088  1.44  christos 
   1089   1.5        ad #else	/* MODULAR */
   1090   1.5        ad 
   1091   1.5        ad int
   1092  1.44  christos kobj_load_mem(kobj_t *kop, const char *name, void *base, ssize_t size)
   1093   1.5        ad {
   1094   1.5        ad 
   1095   1.5        ad 	return ENOSYS;
   1096   1.5        ad }
   1097   1.5        ad 
   1098   1.5        ad void
   1099   1.5        ad kobj_unload(kobj_t ko)
   1100   1.5        ad {
   1101   1.5        ad 
   1102   1.5        ad 	panic("not modular");
   1103   1.5        ad }
   1104   1.5        ad 
   1105  1.39    dyoung int
   1106   1.8        ad kobj_stat(kobj_t ko, vaddr_t *base, size_t *size)
   1107   1.5        ad {
   1108   1.5        ad 
   1109  1.39    dyoung 	return ENOSYS;
   1110   1.5        ad }
   1111   1.5        ad 
   1112   1.7        ad int
   1113  1.18        ad kobj_affix(kobj_t ko, const char *name)
   1114   1.5        ad {
   1115   1.5        ad 
   1116   1.5        ad 	panic("not modular");
   1117   1.5        ad }
   1118   1.5        ad 
   1119   1.8        ad int
   1120   1.8        ad kobj_find_section(kobj_t ko, const char *name, void **addr, size_t *size)
   1121   1.8        ad {
   1122   1.8        ad 
   1123   1.8        ad 	panic("not modular");
   1124   1.8        ad }
   1125   1.8        ad 
   1126  1.44  christos void
   1127  1.44  christos kobj_setname(kobj_t ko, const char *name)
   1128  1.44  christos {
   1129  1.44  christos 
   1130  1.44  christos 	panic("not modular");
   1131  1.44  christos }
   1132  1.44  christos 
   1133   1.5        ad #endif	/* MODULAR */
   1134