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