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