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