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