Home | History | Annotate | Line # | Download | only in prekern
elf.c revision 1.2
      1  1.2  maxv /*	$NetBSD: elf.c,v 1.2 2017/10/11 16:21:06 maxv Exp $	*/
      2  1.1  maxv 
      3  1.1  maxv /*
      4  1.1  maxv  * Copyright (c) 2017 The NetBSD Foundation, Inc. All rights reserved.
      5  1.1  maxv  *
      6  1.1  maxv  * This code is derived from software contributed to The NetBSD Foundation
      7  1.1  maxv  * by Maxime Villard.
      8  1.1  maxv  *
      9  1.1  maxv  * Redistribution and use in source and binary forms, with or without
     10  1.1  maxv  * modification, are permitted provided that the following conditions
     11  1.1  maxv  * are met:
     12  1.1  maxv  * 1. Redistributions of source code must retain the above copyright
     13  1.1  maxv  *    notice, this list of conditions and the following disclaimer.
     14  1.1  maxv  * 2. Redistributions in binary form must reproduce the above copyright
     15  1.1  maxv  *    notice, this list of conditions and the following disclaimer in the
     16  1.1  maxv  *    documentation and/or other materials provided with the distribution.
     17  1.1  maxv  *
     18  1.1  maxv  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     19  1.1  maxv  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     20  1.1  maxv  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     21  1.1  maxv  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     22  1.1  maxv  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     23  1.1  maxv  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     24  1.1  maxv  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     25  1.1  maxv  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     26  1.1  maxv  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     27  1.1  maxv  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     28  1.1  maxv  * POSSIBILITY OF SUCH DAMAGE.
     29  1.1  maxv  */
     30  1.1  maxv 
     31  1.1  maxv #define	ELFSIZE	64
     32  1.1  maxv 
     33  1.1  maxv #include "prekern.h"
     34  1.1  maxv #include <sys/exec_elf.h>
     35  1.1  maxv 
     36  1.1  maxv struct elfinfo {
     37  1.1  maxv 	Elf_Ehdr *ehdr;
     38  1.1  maxv 	Elf_Shdr *shdr;
     39  1.1  maxv 	char *shstrtab;
     40  1.1  maxv 	size_t shstrsz;
     41  1.1  maxv 	Elf_Sym *symtab;
     42  1.1  maxv 	size_t symcnt;
     43  1.1  maxv 	char *strtab;
     44  1.1  maxv 	size_t strsz;
     45  1.1  maxv 	struct {
     46  1.1  maxv 		vaddr_t va;
     47  1.1  maxv 		size_t sz;
     48  1.1  maxv 	} text;
     49  1.1  maxv 	struct {
     50  1.1  maxv 		vaddr_t va;
     51  1.1  maxv 		size_t sz;
     52  1.1  maxv 	} rodata;
     53  1.1  maxv 	struct {
     54  1.1  maxv 		vaddr_t va;
     55  1.1  maxv 		size_t sz;
     56  1.1  maxv 	} data;
     57  1.1  maxv };
     58  1.1  maxv 
     59  1.1  maxv static struct elfinfo eif;
     60  1.1  maxv static const char entrypoint[] = "start_prekern";
     61  1.1  maxv 
     62  1.1  maxv /* XXX */
     63  1.1  maxv static int
     64  1.1  maxv memcmp(const char *a, const char *b, size_t c)
     65  1.1  maxv {
     66  1.1  maxv 	size_t i;
     67  1.1  maxv 	for (i = 0; i < c; i++) {
     68  1.1  maxv 		if (a[i] != b[i])
     69  1.1  maxv 			return 1;
     70  1.1  maxv 	}
     71  1.1  maxv 	return 0;
     72  1.1  maxv }
     73  1.1  maxv static int
     74  1.1  maxv strcmp(char *a, char *b)
     75  1.1  maxv {
     76  1.1  maxv 	size_t i;
     77  1.1  maxv 	for (i = 0; a[i] != '\0'; i++) {
     78  1.1  maxv 		if (a[i] != b[i])
     79  1.1  maxv 			return 1;
     80  1.1  maxv 	}
     81  1.1  maxv 	return 0;
     82  1.1  maxv }
     83  1.1  maxv 
     84  1.1  maxv 
     85  1.1  maxv static int
     86  1.1  maxv elf_check_header()
     87  1.1  maxv {
     88  1.1  maxv 	if (memcmp((char *)eif.ehdr->e_ident, ELFMAG, SELFMAG) != 0 ||
     89  1.2  maxv 	    eif.ehdr->e_ident[EI_CLASS] != ELFCLASS ||
     90  1.2  maxv 	    eif.ehdr->e_type != ET_REL) {
     91  1.1  maxv 		return -1;
     92  1.1  maxv 	}
     93  1.1  maxv 	return 0;
     94  1.1  maxv }
     95  1.1  maxv 
     96  1.1  maxv static vaddr_t
     97  1.1  maxv elf_get_entrypoint()
     98  1.1  maxv {
     99  1.1  maxv 	Elf_Sym *sym;
    100  1.1  maxv 	size_t i;
    101  1.1  maxv 	char *buf;
    102  1.1  maxv 
    103  1.1  maxv 	for (i = 0; i < eif.symcnt; i++) {
    104  1.1  maxv 		sym = &eif.symtab[i];
    105  1.1  maxv 
    106  1.1  maxv 		if (ELF_ST_TYPE(sym->st_info) != STT_FUNC)
    107  1.1  maxv 			continue;
    108  1.1  maxv 		if (sym->st_name == 0)
    109  1.1  maxv 			continue;
    110  1.1  maxv 		if (sym->st_shndx == SHN_UNDEF)
    111  1.1  maxv 			continue; /* Skip external references */
    112  1.1  maxv 		buf = eif.strtab + sym->st_name;
    113  1.1  maxv 
    114  1.1  maxv 		if (!memcmp(buf, entrypoint, sizeof(entrypoint))) {
    115  1.1  maxv 			return (vaddr_t)sym->st_value;
    116  1.1  maxv 		}
    117  1.1  maxv 	}
    118  1.1  maxv 
    119  1.1  maxv 	return 0;
    120  1.1  maxv }
    121  1.1  maxv 
    122  1.1  maxv static Elf_Shdr *
    123  1.1  maxv elf_find_section(char *name)
    124  1.1  maxv {
    125  1.1  maxv 	char *buf;
    126  1.1  maxv 	size_t i;
    127  1.1  maxv 
    128  1.1  maxv 	for (i = 0; i < eif.ehdr->e_shnum; i++) {
    129  1.1  maxv 		if (eif.shdr[i].sh_name == 0) {
    130  1.1  maxv 			continue;
    131  1.1  maxv 		}
    132  1.1  maxv 		buf = eif.shstrtab + eif.shdr[i].sh_name;
    133  1.1  maxv 		if (!strcmp(name, buf)) {
    134  1.1  maxv 			return &eif.shdr[i];
    135  1.1  maxv 		}
    136  1.1  maxv 	}
    137  1.1  maxv 
    138  1.1  maxv 	return NULL;
    139  1.1  maxv }
    140  1.1  maxv 
    141  1.1  maxv static uintptr_t
    142  1.1  maxv elf_sym_lookup(size_t symidx)
    143  1.1  maxv {
    144  1.1  maxv 	const Elf_Sym *sym;
    145  1.1  maxv 	char *buf, *secname;
    146  1.1  maxv 	Elf_Shdr *sec;
    147  1.1  maxv 
    148  1.1  maxv 	if (symidx >= eif.symcnt) {
    149  1.1  maxv 		fatal("elf_sym_lookup: symbol beyond table");
    150  1.1  maxv 	}
    151  1.1  maxv 	sym = &eif.symtab[symidx];
    152  1.1  maxv 	buf = eif.strtab + sym->st_name;
    153  1.1  maxv 
    154  1.1  maxv 	if (sym->st_shndx == SHN_UNDEF) {
    155  1.1  maxv 		if (!memcmp(buf, "__start_link_set", 16)) {
    156  1.1  maxv 			secname = buf + 8;
    157  1.1  maxv 			sec = elf_find_section(secname);
    158  1.1  maxv 			if (sec == NULL) {
    159  1.1  maxv 				fatal("elf_sym_lookup: unknown start link set");
    160  1.1  maxv 			}
    161  1.1  maxv 			return (uintptr_t)((uint8_t *)eif.ehdr +
    162  1.1  maxv 			    sec->sh_offset);
    163  1.1  maxv 		}
    164  1.1  maxv 		if (!memcmp(buf, "__stop_link_set", 15)) {
    165  1.1  maxv 			secname = buf + 7;
    166  1.1  maxv 			sec = elf_find_section(secname);
    167  1.1  maxv 			if (sec == NULL) {
    168  1.1  maxv 				fatal("elf_sym_lookup: unknown stop link set");
    169  1.1  maxv 			}
    170  1.1  maxv 			return (uintptr_t)((uint8_t *)eif.ehdr +
    171  1.1  maxv 			    sec->sh_offset + sec->sh_size);
    172  1.1  maxv 		}
    173  1.1  maxv 
    174  1.1  maxv 		fatal("elf_sym_lookup: external symbol");
    175  1.1  maxv 	}
    176  1.1  maxv 	if (sym->st_value == 0) {
    177  1.1  maxv 		fatal("elf_sym_lookup: zero value");
    178  1.1  maxv 	}
    179  1.1  maxv 	return (uintptr_t)sym->st_value;
    180  1.1  maxv }
    181  1.1  maxv 
    182  1.1  maxv static void
    183  1.1  maxv elf_apply_reloc(uintptr_t relocbase, const void *data, bool isrela)
    184  1.1  maxv {
    185  1.1  maxv 	Elf64_Addr *where, val;
    186  1.1  maxv 	Elf32_Addr *where32, val32;
    187  1.1  maxv 	Elf64_Addr addr;
    188  1.1  maxv 	Elf64_Addr addend;
    189  1.1  maxv 	uintptr_t rtype, symidx;
    190  1.1  maxv 	const Elf_Rel *rel;
    191  1.1  maxv 	const Elf_Rela *rela;
    192  1.1  maxv 
    193  1.1  maxv 	if (isrela) {
    194  1.1  maxv 		rela = (const Elf_Rela *)data;
    195  1.1  maxv 		where = (Elf64_Addr *)(relocbase + rela->r_offset);
    196  1.1  maxv 		addend = rela->r_addend;
    197  1.1  maxv 		rtype = ELF_R_TYPE(rela->r_info);
    198  1.1  maxv 		symidx = ELF_R_SYM(rela->r_info);
    199  1.1  maxv 	} else {
    200  1.1  maxv 		rel = (const Elf_Rel *)data;
    201  1.1  maxv 		where = (Elf64_Addr *)(relocbase + rel->r_offset);
    202  1.1  maxv 		rtype = ELF_R_TYPE(rel->r_info);
    203  1.1  maxv 		symidx = ELF_R_SYM(rel->r_info);
    204  1.1  maxv 		/* Addend is 32 bit on 32 bit relocs */
    205  1.1  maxv 		switch (rtype) {
    206  1.1  maxv 		case R_X86_64_PC32:
    207  1.1  maxv 		case R_X86_64_32:
    208  1.1  maxv 		case R_X86_64_32S:
    209  1.1  maxv 			addend = *(Elf32_Addr *)where;
    210  1.1  maxv 			break;
    211  1.1  maxv 		default:
    212  1.1  maxv 			addend = *where;
    213  1.1  maxv 			break;
    214  1.1  maxv 		}
    215  1.1  maxv 	}
    216  1.1  maxv 
    217  1.1  maxv 	switch (rtype) {
    218  1.1  maxv 	case R_X86_64_NONE:	/* none */
    219  1.1  maxv 		break;
    220  1.1  maxv 
    221  1.1  maxv 	case R_X86_64_64:		/* S + A */
    222  1.1  maxv 		addr = elf_sym_lookup(symidx);
    223  1.1  maxv 		val = addr + addend;
    224  1.1  maxv 		*where = val;
    225  1.1  maxv 		break;
    226  1.1  maxv 
    227  1.1  maxv 	case R_X86_64_PC32:	/* S + A - P */
    228  1.1  maxv 		addr = elf_sym_lookup(symidx);
    229  1.1  maxv 		where32 = (Elf32_Addr *)where;
    230  1.1  maxv 		val32 = (Elf32_Addr)(addr + addend - (Elf64_Addr)where);
    231  1.1  maxv 		*where32 = val32;
    232  1.1  maxv 		break;
    233  1.1  maxv 
    234  1.1  maxv 	case R_X86_64_32:	/* S + A */
    235  1.1  maxv 	case R_X86_64_32S:	/* S + A sign extend */
    236  1.1  maxv 		addr = elf_sym_lookup(symidx);
    237  1.1  maxv 		val32 = (Elf32_Addr)(addr + addend);
    238  1.1  maxv 		where32 = (Elf32_Addr *)where;
    239  1.1  maxv 		*where32 = val32;
    240  1.1  maxv 		break;
    241  1.1  maxv 
    242  1.1  maxv 	case R_X86_64_GLOB_DAT:	/* S */
    243  1.1  maxv 	case R_X86_64_JUMP_SLOT:/* XXX need addend + offset */
    244  1.1  maxv 		addr = elf_sym_lookup(symidx);
    245  1.1  maxv 		*where = addr;
    246  1.1  maxv 		break;
    247  1.1  maxv 
    248  1.1  maxv 	case R_X86_64_RELATIVE:	/* B + A */
    249  1.1  maxv 		addr = relocbase + addend;
    250  1.1  maxv 		val = addr;
    251  1.1  maxv 		*where = val;
    252  1.1  maxv 		break;
    253  1.1  maxv 
    254  1.1  maxv 	default:
    255  1.1  maxv 		fatal("elf_apply_reloc: unexpected relocation type");
    256  1.1  maxv 	}
    257  1.1  maxv }
    258  1.1  maxv 
    259  1.1  maxv static void
    260  1.1  maxv elf_build_info(vaddr_t baseva)
    261  1.1  maxv {
    262  1.1  maxv 	vaddr_t secva, minva, maxva;
    263  1.1  maxv 	size_t secsz;
    264  1.1  maxv 	size_t i, j;
    265  1.1  maxv 
    266  1.1  maxv 	memset(&eif, 0, sizeof(struct elfinfo));
    267  1.1  maxv 
    268  1.1  maxv 	eif.ehdr = (Elf_Ehdr *)baseva;
    269  1.1  maxv 	eif.shdr = (Elf_Shdr *)((uint8_t *)eif.ehdr + eif.ehdr->e_shoff);
    270  1.1  maxv 
    271  1.1  maxv 	if (elf_check_header(&eif) == -1) {
    272  1.1  maxv 		fatal("elf_build_info: wrong kernel ELF header");
    273  1.1  maxv 	}
    274  1.1  maxv 
    275  1.1  maxv 	/* Locate the section names */
    276  1.1  maxv 	j = eif.ehdr->e_shstrndx;
    277  1.1  maxv 	if (j == SHN_UNDEF) {
    278  1.1  maxv 		fatal("elf_build_info: shstrtab not found");
    279  1.1  maxv 	}
    280  1.1  maxv 	if (j >= eif.ehdr->e_shnum) {
    281  1.1  maxv 		fatal("elf_build_info: wrong shstrtab index");
    282  1.1  maxv 	}
    283  1.1  maxv 	eif.shstrtab = (char *)((uint8_t *)eif.ehdr + eif.shdr[j].sh_offset);
    284  1.1  maxv 	eif.shstrsz = eif.shdr[j].sh_size;
    285  1.1  maxv 
    286  1.1  maxv 	/* Locate the symbol table */
    287  1.1  maxv 	for (i = 0; i < eif.ehdr->e_shnum; i++) {
    288  1.1  maxv 		if (eif.shdr[i].sh_type == SHT_SYMTAB)
    289  1.1  maxv 			break;
    290  1.1  maxv 	}
    291  1.1  maxv 	if (i == eif.ehdr->e_shnum) {
    292  1.1  maxv 		fatal("elf_build_info: symtab not found");
    293  1.1  maxv 	}
    294  1.1  maxv 	eif.symtab = (Elf_Sym *)((uint8_t *)eif.ehdr + eif.shdr[i].sh_offset);
    295  1.1  maxv 	eif.symcnt = eif.shdr[i].sh_size / sizeof(Elf_Sym);
    296  1.1  maxv 
    297  1.1  maxv 	/* Also locate the string table */
    298  1.1  maxv 	j = eif.shdr[i].sh_link;
    299  1.1  maxv 	if (j == SHN_UNDEF || j >= eif.ehdr->e_shnum) {
    300  1.1  maxv 		fatal("elf_build_info: wrong strtab index");
    301  1.1  maxv 	}
    302  1.1  maxv 	if (eif.shdr[j].sh_type != SHT_STRTAB) {
    303  1.1  maxv 		fatal("elf_build_info: wrong strtab type");
    304  1.1  maxv 	}
    305  1.1  maxv 	eif.strtab = (char *)((uint8_t *)eif.ehdr + eif.shdr[j].sh_offset);
    306  1.1  maxv 	eif.strsz = eif.shdr[j].sh_size;
    307  1.1  maxv 
    308  1.1  maxv 	/*
    309  1.1  maxv 	 * Save the locations of the kernel segments. Attention: there is a
    310  1.1  maxv 	 * difference between "segment" and "section". A segment can contain
    311  1.1  maxv 	 * several sections.
    312  1.1  maxv 	 */
    313  1.1  maxv 
    314  1.1  maxv 	/* text */
    315  1.1  maxv 	minva = 0xFFFFFFFFFFFFFFFF, maxva = 0;
    316  1.1  maxv 	for (i = 0; i < eif.ehdr->e_shnum; i++) {
    317  1.1  maxv 		if (eif.shdr[i].sh_type != SHT_NOBITS &&
    318  1.1  maxv 		    eif.shdr[i].sh_type != SHT_PROGBITS) {
    319  1.1  maxv 			continue;
    320  1.1  maxv 		}
    321  1.1  maxv 		if (!(eif.shdr[i].sh_flags & SHF_EXECINSTR)) {
    322  1.1  maxv 			continue;
    323  1.1  maxv 		}
    324  1.1  maxv 		secva = baseva + eif.shdr[i].sh_offset;
    325  1.1  maxv 		secsz = eif.shdr[i].sh_size;
    326  1.1  maxv 		if (secva < minva) {
    327  1.1  maxv 			minva = secva;
    328  1.1  maxv 		}
    329  1.1  maxv 		if (secva + secsz > maxva) {
    330  1.1  maxv 			maxva = secva + secsz;
    331  1.1  maxv 		}
    332  1.1  maxv 	}
    333  1.1  maxv 	eif.text.va = minva;
    334  1.1  maxv 	eif.text.sz = roundup(maxva - minva, PAGE_SIZE);
    335  1.1  maxv 	ASSERT(eif.text.va % PAGE_SIZE == 0);
    336  1.1  maxv 
    337  1.1  maxv 	/* rodata */
    338  1.1  maxv 	minva = 0xFFFFFFFFFFFFFFFF, maxva = 0;
    339  1.1  maxv 	for (i = 0; i < eif.ehdr->e_shnum; i++) {
    340  1.1  maxv 		if (eif.shdr[i].sh_type != SHT_NOBITS &&
    341  1.1  maxv 		    eif.shdr[i].sh_type != SHT_PROGBITS) {
    342  1.1  maxv 			continue;
    343  1.1  maxv 		}
    344  1.1  maxv 		if ((eif.shdr[i].sh_flags & (SHF_EXECINSTR|SHF_WRITE))) {
    345  1.1  maxv 			continue;
    346  1.1  maxv 		}
    347  1.1  maxv 		secva = baseva + eif.shdr[i].sh_offset;
    348  1.1  maxv 		secsz = eif.shdr[i].sh_size;
    349  1.1  maxv 		if (secva < minva) {
    350  1.1  maxv 			minva = secva;
    351  1.1  maxv 		}
    352  1.1  maxv 		if (secva + secsz > maxva) {
    353  1.1  maxv 			maxva = secva + secsz;
    354  1.1  maxv 		}
    355  1.1  maxv 	}
    356  1.1  maxv 	eif.rodata.va = minva;
    357  1.1  maxv 	eif.rodata.sz = roundup(maxva - minva, PAGE_SIZE);
    358  1.1  maxv 	ASSERT(eif.rodata.va % PAGE_SIZE == 0);
    359  1.1  maxv 
    360  1.1  maxv 	/* data */
    361  1.1  maxv 	minva = 0xFFFFFFFFFFFFFFFF, maxva = 0;
    362  1.1  maxv 	for (i = 0; i < eif.ehdr->e_shnum; i++) {
    363  1.1  maxv 		if (eif.shdr[i].sh_type != SHT_NOBITS &&
    364  1.1  maxv 		    eif.shdr[i].sh_type != SHT_PROGBITS) {
    365  1.1  maxv 			continue;
    366  1.1  maxv 		}
    367  1.1  maxv 		if (!(eif.shdr[i].sh_flags & SHF_WRITE) ||
    368  1.1  maxv 		    (eif.shdr[i].sh_flags & SHF_EXECINSTR)) {
    369  1.1  maxv 			continue;
    370  1.1  maxv 		}
    371  1.1  maxv 		secva = baseva + eif.shdr[i].sh_offset;
    372  1.1  maxv 		secsz = eif.shdr[i].sh_size;
    373  1.1  maxv 		if (secva < minva) {
    374  1.1  maxv 			minva = secva;
    375  1.1  maxv 		}
    376  1.1  maxv 		if (secva + secsz > maxva) {
    377  1.1  maxv 			maxva = secva + secsz;
    378  1.1  maxv 		}
    379  1.1  maxv 	}
    380  1.1  maxv 	eif.data.va = minva;
    381  1.1  maxv 	eif.data.sz = roundup(maxva - minva, PAGE_SIZE);
    382  1.1  maxv 	ASSERT(eif.data.va % PAGE_SIZE == 0);
    383  1.1  maxv }
    384  1.1  maxv 
    385  1.1  maxv vaddr_t
    386  1.1  maxv elf_kernel_reloc(vaddr_t baseva)
    387  1.1  maxv {
    388  1.1  maxv 	vaddr_t secva, ent;
    389  1.1  maxv 	Elf_Sym *sym;
    390  1.1  maxv 	size_t i, j;
    391  1.1  maxv 
    392  1.1  maxv 	elf_build_info(baseva);
    393  1.1  maxv 
    394  1.1  maxv 	print_state(true, "ELF info created");
    395  1.1  maxv 
    396  1.1  maxv 	/*
    397  1.1  maxv 	 * The loaded sections are: SHT_PROGBITS, SHT_NOBITS, SHT_STRTAB,
    398  1.1  maxv 	 * SHT_SYMTAB.
    399  1.1  maxv 	 */
    400  1.1  maxv 
    401  1.1  maxv 	/*
    402  1.1  maxv 	 * Update all symbol values with the appropriate offset.
    403  1.1  maxv 	 */
    404  1.1  maxv 	for (i = 0; i < eif.ehdr->e_shnum; i++) {
    405  1.1  maxv 		if (eif.shdr[i].sh_type != SHT_NOBITS &&
    406  1.1  maxv 		    eif.shdr[i].sh_type != SHT_PROGBITS) {
    407  1.1  maxv 			continue;
    408  1.1  maxv 		}
    409  1.1  maxv 		secva = baseva + eif.shdr[i].sh_offset;
    410  1.1  maxv 		for (j = 0; j < eif.symcnt; j++) {
    411  1.1  maxv 			sym = &eif.symtab[j];
    412  1.1  maxv 			if (sym->st_shndx != i) {
    413  1.1  maxv 				continue;
    414  1.1  maxv 			}
    415  1.1  maxv 			sym->st_value += (Elf_Addr)secva;
    416  1.1  maxv 		}
    417  1.1  maxv 	}
    418  1.1  maxv 
    419  1.1  maxv 	print_state(true, "Symbol values updated");
    420  1.1  maxv 
    421  1.1  maxv 	/*
    422  1.1  maxv 	 * Perform relocations without addend if there are any.
    423  1.1  maxv 	 */
    424  1.1  maxv 	for (i = 0; i < eif.ehdr->e_shnum; i++) {
    425  1.1  maxv 		Elf_Rel *reltab, *rel;
    426  1.1  maxv 		size_t secidx, nrel;
    427  1.1  maxv 		uintptr_t base;
    428  1.1  maxv 
    429  1.1  maxv 		if (eif.shdr[i].sh_type != SHT_REL)
    430  1.1  maxv 			continue;
    431  1.1  maxv 
    432  1.1  maxv 		reltab = (Elf_Rel *)((uint8_t *)eif.ehdr + eif.shdr[i].sh_offset);
    433  1.1  maxv 		nrel = eif.shdr[i].sh_size / sizeof(Elf_Rel);
    434  1.1  maxv 
    435  1.1  maxv 		secidx = eif.shdr[i].sh_info;
    436  1.1  maxv 		if (secidx >= eif.ehdr->e_shnum) {
    437  1.1  maxv 			fatal("elf_kernel_reloc: wrong REL relocation");
    438  1.1  maxv 		}
    439  1.1  maxv 		base = (uintptr_t)eif.ehdr + eif.shdr[secidx].sh_offset;
    440  1.1  maxv 
    441  1.1  maxv 		for (j = 0; j < nrel; j++) {
    442  1.1  maxv 			rel = &reltab[j];
    443  1.1  maxv 			elf_apply_reloc(base, rel, false);
    444  1.1  maxv 		}
    445  1.1  maxv 	}
    446  1.1  maxv 
    447  1.1  maxv 	print_state(true, "REL relocations applied");
    448  1.1  maxv 
    449  1.1  maxv 	/*
    450  1.1  maxv 	 * Perform relocations with addend if there are any.
    451  1.1  maxv 	 */
    452  1.1  maxv 	for (i = 0; i < eif.ehdr->e_shnum; i++) {
    453  1.1  maxv 		Elf_Rela *relatab, *rela;
    454  1.1  maxv 		size_t secidx, nrela;
    455  1.1  maxv 		uintptr_t base;
    456  1.1  maxv 
    457  1.1  maxv 		if (eif.shdr[i].sh_type != SHT_RELA)
    458  1.1  maxv 			continue;
    459  1.1  maxv 
    460  1.1  maxv 		relatab = (Elf_Rela *)((uint8_t *)eif.ehdr + eif.shdr[i].sh_offset);
    461  1.1  maxv 		nrela = eif.shdr[i].sh_size / sizeof(Elf_Rela);
    462  1.1  maxv 
    463  1.1  maxv 		secidx = eif.shdr[i].sh_info;
    464  1.1  maxv 		if (secidx >= eif.ehdr->e_shnum) {
    465  1.1  maxv 			fatal("elf_kernel_reloc: wrong RELA relocation");
    466  1.1  maxv 		}
    467  1.1  maxv 		base = (uintptr_t)eif.ehdr + eif.shdr[secidx].sh_offset;
    468  1.1  maxv 
    469  1.1  maxv 		for (j = 0; j < nrela; j++) {
    470  1.1  maxv 			rela = &relatab[j];
    471  1.1  maxv 			elf_apply_reloc(base, rela, true);
    472  1.1  maxv 		}
    473  1.1  maxv 	}
    474  1.1  maxv 
    475  1.1  maxv 	print_state(true, "RELA relocations applied");
    476  1.1  maxv 
    477  1.1  maxv 	/*
    478  1.1  maxv 	 * Get the entry point.
    479  1.1  maxv 	 */
    480  1.1  maxv 	ent = elf_get_entrypoint(&eif);
    481  1.1  maxv 	if (ent == 0) {
    482  1.1  maxv 		fatal("elf_kernel_reloc: entry point not found");
    483  1.1  maxv 	}
    484  1.1  maxv 
    485  1.1  maxv 	print_state(true, "Entry point found");
    486  1.1  maxv 
    487  1.1  maxv 	/*
    488  1.1  maxv 	 * Remap the code segments with proper permissions.
    489  1.1  maxv 	 */
    490  1.1  maxv 	mm_mprotect(eif.text.va, eif.text.sz, MM_PROT_READ|MM_PROT_EXECUTE);
    491  1.1  maxv 	mm_mprotect(eif.rodata.va, eif.rodata.sz, MM_PROT_READ);
    492  1.1  maxv 	mm_mprotect(eif.data.va, eif.data.sz, MM_PROT_READ|MM_PROT_WRITE);
    493  1.1  maxv 
    494  1.1  maxv 	print_state(true, "Segments protection updated");
    495  1.1  maxv 
    496  1.1  maxv 	return ent;
    497  1.1  maxv }
    498  1.1  maxv 
    499  1.1  maxv void
    500  1.1  maxv elf_get_text(vaddr_t *va, paddr_t *pa, size_t *sz)
    501  1.1  maxv {
    502  1.1  maxv 	*va = eif.text.va;
    503  1.1  maxv 	*pa = mm_vatopa(eif.text.va);
    504  1.1  maxv 	*sz = eif.text.sz;
    505  1.1  maxv }
    506  1.1  maxv 
    507  1.1  maxv void
    508  1.1  maxv elf_get_rodata(vaddr_t *va, paddr_t *pa, size_t *sz)
    509  1.1  maxv {
    510  1.1  maxv 	*va = eif.rodata.va;
    511  1.1  maxv 	*pa = mm_vatopa(eif.rodata.va);
    512  1.1  maxv 	*sz = eif.rodata.sz;
    513  1.1  maxv }
    514  1.1  maxv 
    515  1.1  maxv void
    516  1.1  maxv elf_get_data(vaddr_t *va, paddr_t *pa, size_t *sz)
    517  1.1  maxv {
    518  1.1  maxv 	*va = eif.data.va;
    519  1.1  maxv 	*pa = mm_vatopa(eif.data.va);
    520  1.1  maxv 	*sz = eif.data.sz;
    521  1.1  maxv }
    522