subr_kobj.c revision 1.59.2.1 1 1.59.2.1 bouyer /* $NetBSD: subr_kobj.c,v 1.59.2.1 2017/04/21 16:54:02 bouyer 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.59.2.1 bouyer __KERNEL_RCSID(0, "$NetBSD: subr_kobj.c,v 1.59.2.1 2017/04/21 16:54:02 bouyer 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.59.2.1 bouyer static void
633 1.59.2.1 bouyer kobj_unload_notify(kobj_t ko, vaddr_t addr, size_t size, const char *note)
634 1.59.2.1 bouyer {
635 1.59.2.1 bouyer if (addr == 0)
636 1.59.2.1 bouyer return;
637 1.59.2.1 bouyer
638 1.59.2.1 bouyer int error = kobj_machdep(ko, (void *)addr, size, false);
639 1.59.2.1 bouyer if (error)
640 1.59.2.1 bouyer kobj_error(ko, "machine dependent deinit failed (%s) %d",
641 1.59.2.1 bouyer note, error);
642 1.59.2.1 bouyer }
643 1.59.2.1 bouyer
644 1.59.2.1 bouyer #define KOBJ_SEGMENT_NOTIFY(ko, what) \
645 1.59.2.1 bouyer kobj_unload_notify(ko, (ko)->ko_ ## what ## _address, \
646 1.59.2.1 bouyer (ko)->ko_ ## what ## _size, # what);
647 1.59.2.1 bouyer
648 1.59.2.1 bouyer #define KOBJ_SEGMENT_FREE(ko, what) \
649 1.59.2.1 bouyer do \
650 1.59.2.1 bouyer if ((ko)->ko_ ## what ## _address != 0) \
651 1.59.2.1 bouyer uvm_km_free(module_map, (ko)->ko_ ## what ## _address, \
652 1.59.2.1 bouyer round_page((ko)->ko_ ## what ## _size), UVM_KMF_WIRED); \
653 1.59.2.1 bouyer while (/*CONSTCOND*/ 0)
654 1.59.2.1 bouyer
655 1.1 ad /*
656 1.1 ad * kobj_unload:
657 1.1 ad *
658 1.1 ad * Unload an object previously loaded by kobj_load().
659 1.1 ad */
660 1.1 ad void
661 1.1 ad kobj_unload(kobj_t ko)
662 1.1 ad {
663 1.18 ad kobj_close(ko);
664 1.18 ad kobj_jettison(ko);
665 1.18 ad
666 1.59.2.1 bouyer
667 1.18 ad /*
668 1.18 ad * Notify MD code that a module has been unloaded.
669 1.18 ad */
670 1.18 ad if (ko->ko_loaded) {
671 1.59.2.1 bouyer KOBJ_SEGMENT_NOTIFY(ko, text);
672 1.59.2.1 bouyer KOBJ_SEGMENT_NOTIFY(ko, data);
673 1.59.2.1 bouyer KOBJ_SEGMENT_NOTIFY(ko, rodata);
674 1.59.2.1 bouyer }
675 1.58 maxv
676 1.59.2.1 bouyer KOBJ_SEGMENT_FREE(ko, text);
677 1.59.2.1 bouyer KOBJ_SEGMENT_FREE(ko, data);
678 1.59.2.1 bouyer KOBJ_SEGMENT_FREE(ko, rodata);
679 1.58 maxv
680 1.1 ad if (ko->ko_ksyms == true) {
681 1.23 ad ksyms_modunload(ko->ko_name);
682 1.1 ad }
683 1.1 ad if (ko->ko_symtab != NULL) {
684 1.12 ad kobj_free(ko, ko->ko_symtab, ko->ko_symcnt * sizeof(Elf_Sym));
685 1.1 ad }
686 1.1 ad if (ko->ko_strtab != NULL) {
687 1.12 ad kobj_free(ko, ko->ko_strtab, ko->ko_strtabsz);
688 1.1 ad }
689 1.14 ad if (ko->ko_progtab != NULL) {
690 1.14 ad kobj_free(ko, ko->ko_progtab, ko->ko_nprogtab *
691 1.14 ad sizeof(*ko->ko_progtab));
692 1.14 ad ko->ko_progtab = NULL;
693 1.14 ad }
694 1.14 ad if (ko->ko_shstrtab) {
695 1.14 ad kobj_free(ko, ko->ko_shstrtab, ko->ko_shstrtabsz);
696 1.14 ad ko->ko_shstrtab = NULL;
697 1.14 ad }
698 1.1 ad
699 1.3 ad kmem_free(ko, sizeof(*ko));
700 1.1 ad }
701 1.1 ad
702 1.1 ad /*
703 1.2 ad * kobj_stat:
704 1.2 ad *
705 1.2 ad * Return size and load address of an object.
706 1.2 ad */
707 1.39 dyoung int
708 1.8 ad kobj_stat(kobj_t ko, vaddr_t *address, size_t *size)
709 1.2 ad {
710 1.2 ad
711 1.2 ad if (address != NULL) {
712 1.55 maxv *address = ko->ko_text_address;
713 1.2 ad }
714 1.2 ad if (size != NULL) {
715 1.55 maxv *size = ko->ko_text_size;
716 1.2 ad }
717 1.53 msaitoh return 0;
718 1.2 ad }
719 1.2 ad
720 1.2 ad /*
721 1.18 ad * kobj_affix:
722 1.3 ad *
723 1.18 ad * Set an object's name and perform global relocs. May only be
724 1.18 ad * called after the module and any requisite modules are loaded.
725 1.3 ad */
726 1.6 ad int
727 1.18 ad kobj_affix(kobj_t ko, const char *name)
728 1.3 ad {
729 1.6 ad int error;
730 1.3 ad
731 1.18 ad KASSERT(ko->ko_ksyms == false);
732 1.18 ad KASSERT(ko->ko_loaded == false);
733 1.3 ad
734 1.44 christos kobj_setname(ko, name);
735 1.6 ad
736 1.30 ad /* Cache addresses of undefined symbols. */
737 1.30 ad error = kobj_checksyms(ko, true);
738 1.30 ad
739 1.23 ad /* Now do global relocations. */
740 1.30 ad if (error == 0)
741 1.30 ad error = kobj_relocate(ko, false);
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.30 ad if (error == 0) {
749 1.30 ad ksyms_modload(ko->ko_name, ko->ko_symtab, ko->ko_symcnt *
750 1.30 ad sizeof(Elf_Sym), ko->ko_strtab, ko->ko_strtabsz);
751 1.30 ad ko->ko_ksyms = true;
752 1.30 ad }
753 1.18 ad
754 1.18 ad /* Jettison unneeded memory post-link. */
755 1.18 ad kobj_jettison(ko);
756 1.18 ad
757 1.33 pooka /*
758 1.33 pooka * Notify MD code that a module has been loaded.
759 1.33 pooka *
760 1.33 pooka * Most architectures use this opportunity to flush their caches.
761 1.33 pooka */
762 1.59.2.1 bouyer if (error == 0 && ko->ko_text_address != 0) {
763 1.55 maxv error = kobj_machdep(ko, (void *)ko->ko_text_address,
764 1.55 maxv ko->ko_text_size, true);
765 1.55 maxv if (error != 0)
766 1.59.2.1 bouyer kobj_error(ko, "machine dependent init failed (text)"
767 1.59.2.1 bouyer " %d", error);
768 1.59.2.1 bouyer }
769 1.58 maxv
770 1.59.2.1 bouyer if (error == 0 && ko->ko_data_address != 0) {
771 1.59.2.1 bouyer error = kobj_machdep(ko, (void *)ko->ko_data_address,
772 1.59.2.1 bouyer ko->ko_data_size, true);
773 1.59.2.1 bouyer if (error != 0)
774 1.59.2.1 bouyer kobj_error(ko, "machine dependent init failed (data)"
775 1.59.2.1 bouyer " %d", error);
776 1.59.2.1 bouyer }
777 1.58 maxv
778 1.59.2.1 bouyer if (error == 0 && ko->ko_rodata_address != 0) {
779 1.59.2.1 bouyer error = kobj_machdep(ko, (void *)ko->ko_rodata_address,
780 1.59.2.1 bouyer ko->ko_rodata_size, true);
781 1.59.2.1 bouyer if (error != 0)
782 1.59.2.1 bouyer kobj_error(ko, "machine dependent init failed (rodata)"
783 1.59.2.1 bouyer " %d", error);
784 1.18 ad }
785 1.18 ad
786 1.59 martin if (error == 0) {
787 1.59.2.1 bouyer ko->ko_loaded = true;
788 1.59.2.1 bouyer
789 1.59 martin /* Change the memory protections, when needed. */
790 1.59.2.1 bouyer if (ko->ko_text_address != 0) {
791 1.59.2.1 bouyer uvm_km_protect(module_map, ko->ko_text_address,
792 1.59.2.1 bouyer ko->ko_text_size, VM_PROT_READ|VM_PROT_EXECUTE);
793 1.59.2.1 bouyer }
794 1.59 martin if (ko->ko_rodata_address != 0) {
795 1.59 martin uvm_km_protect(module_map, ko->ko_rodata_address,
796 1.59 martin ko->ko_rodata_size, VM_PROT_READ);
797 1.59 martin }
798 1.59 martin } else {
799 1.59 martin /* If there was an error, destroy the whole object. */
800 1.18 ad kobj_unload(ko);
801 1.6 ad }
802 1.6 ad
803 1.6 ad return error;
804 1.3 ad }
805 1.3 ad
806 1.3 ad /*
807 1.8 ad * kobj_find_section:
808 1.8 ad *
809 1.8 ad * Given a section name, search the loaded object and return
810 1.8 ad * virtual address if present and loaded.
811 1.8 ad */
812 1.8 ad int
813 1.8 ad kobj_find_section(kobj_t ko, const char *name, void **addr, size_t *size)
814 1.8 ad {
815 1.8 ad int i;
816 1.8 ad
817 1.8 ad KASSERT(ko->ko_progtab != NULL);
818 1.8 ad
819 1.8 ad for (i = 0; i < ko->ko_nprogtab; i++) {
820 1.8 ad if (strcmp(ko->ko_progtab[i].name, name) == 0) {
821 1.8 ad if (addr != NULL) {
822 1.8 ad *addr = ko->ko_progtab[i].addr;
823 1.8 ad }
824 1.8 ad if (size != NULL) {
825 1.8 ad *size = ko->ko_progtab[i].size;
826 1.8 ad }
827 1.8 ad return 0;
828 1.8 ad }
829 1.8 ad }
830 1.8 ad
831 1.8 ad return ENOENT;
832 1.8 ad }
833 1.8 ad
834 1.8 ad /*
835 1.18 ad * kobj_jettison:
836 1.1 ad *
837 1.18 ad * Release object data not needed after performing relocations.
838 1.1 ad */
839 1.1 ad static void
840 1.18 ad kobj_jettison(kobj_t ko)
841 1.1 ad {
842 1.1 ad int i;
843 1.1 ad
844 1.35 ad if (ko->ko_reltab != NULL) {
845 1.35 ad for (i = 0; i < ko->ko_nrel; i++) {
846 1.35 ad if (ko->ko_reltab[i].rel) {
847 1.35 ad kobj_free(ko, ko->ko_reltab[i].rel,
848 1.35 ad ko->ko_reltab[i].size);
849 1.35 ad }
850 1.1 ad }
851 1.12 ad kobj_free(ko, ko->ko_reltab, ko->ko_nrel *
852 1.1 ad sizeof(*ko->ko_reltab));
853 1.1 ad ko->ko_reltab = NULL;
854 1.1 ad ko->ko_nrel = 0;
855 1.1 ad }
856 1.1 ad if (ko->ko_relatab != NULL) {
857 1.35 ad for (i = 0; i < ko->ko_nrela; i++) {
858 1.35 ad if (ko->ko_relatab[i].rela) {
859 1.35 ad kobj_free(ko, ko->ko_relatab[i].rela,
860 1.35 ad ko->ko_relatab[i].size);
861 1.35 ad }
862 1.35 ad }
863 1.12 ad kobj_free(ko, ko->ko_relatab, ko->ko_nrela *
864 1.1 ad sizeof(*ko->ko_relatab));
865 1.1 ad ko->ko_relatab = NULL;
866 1.1 ad ko->ko_nrela = 0;
867 1.1 ad }
868 1.1 ad if (ko->ko_shdr != NULL) {
869 1.12 ad kobj_free(ko, ko->ko_shdr, ko->ko_shdrsz);
870 1.1 ad ko->ko_shdr = NULL;
871 1.1 ad }
872 1.1 ad }
873 1.1 ad
874 1.1 ad /*
875 1.1 ad * kobj_sym_lookup:
876 1.1 ad *
877 1.1 ad * Symbol lookup function to be used when the symbol index
878 1.1 ad * is known (ie during relocation).
879 1.1 ad */
880 1.1 ad uintptr_t
881 1.1 ad kobj_sym_lookup(kobj_t ko, uintptr_t symidx)
882 1.1 ad {
883 1.1 ad const Elf_Sym *sym;
884 1.1 ad const char *symbol;
885 1.1 ad
886 1.1 ad /* Don't even try to lookup the symbol if the index is bogus. */
887 1.1 ad if (symidx >= ko->ko_symcnt)
888 1.1 ad return 0;
889 1.1 ad
890 1.1 ad sym = ko->ko_symtab + symidx;
891 1.1 ad
892 1.1 ad /* Quick answer if there is a definition included. */
893 1.1 ad if (sym->st_shndx != SHN_UNDEF) {
894 1.28 ad return (uintptr_t)sym->st_value;
895 1.1 ad }
896 1.1 ad
897 1.1 ad /* If we get here, then it is undefined and needs a lookup. */
898 1.1 ad switch (ELF_ST_BIND(sym->st_info)) {
899 1.1 ad case STB_LOCAL:
900 1.1 ad /* Local, but undefined? huh? */
901 1.47 maxv kobj_error(ko, "local symbol undefined");
902 1.1 ad return 0;
903 1.1 ad
904 1.1 ad case STB_GLOBAL:
905 1.1 ad /* Relative to Data or Function name */
906 1.1 ad symbol = ko->ko_strtab + sym->st_name;
907 1.1 ad
908 1.1 ad /* Force a lookup failure if the symbol name is bogus. */
909 1.1 ad if (*symbol == 0) {
910 1.47 maxv kobj_error(ko, "bad symbol name");
911 1.1 ad return 0;
912 1.1 ad }
913 1.1 ad
914 1.28 ad return (uintptr_t)sym->st_value;
915 1.1 ad
916 1.1 ad case STB_WEAK:
917 1.47 maxv kobj_error(ko, "weak symbols not supported");
918 1.1 ad return 0;
919 1.1 ad
920 1.1 ad default:
921 1.1 ad return 0;
922 1.1 ad }
923 1.1 ad }
924 1.1 ad
925 1.1 ad /*
926 1.1 ad * kobj_findbase:
927 1.1 ad *
928 1.1 ad * Return base address of the given section.
929 1.1 ad */
930 1.1 ad static uintptr_t
931 1.1 ad kobj_findbase(kobj_t ko, int sec)
932 1.1 ad {
933 1.1 ad int i;
934 1.1 ad
935 1.1 ad for (i = 0; i < ko->ko_nprogtab; i++) {
936 1.1 ad if (sec == ko->ko_progtab[i].sec) {
937 1.1 ad return (uintptr_t)ko->ko_progtab[i].addr;
938 1.1 ad }
939 1.1 ad }
940 1.1 ad return 0;
941 1.1 ad }
942 1.1 ad
943 1.1 ad /*
944 1.28 ad * kobj_checksyms:
945 1.23 ad *
946 1.30 ad * Scan symbol table for duplicates or resolve references to
947 1.28 ad * exernal symbols.
948 1.23 ad */
949 1.23 ad static int
950 1.30 ad kobj_checksyms(kobj_t ko, bool undefined)
951 1.23 ad {
952 1.23 ad unsigned long rval;
953 1.23 ad Elf_Sym *sym, *ms;
954 1.23 ad const char *name;
955 1.28 ad int error;
956 1.28 ad
957 1.28 ad error = 0;
958 1.23 ad
959 1.23 ad for (ms = (sym = ko->ko_symtab) + ko->ko_symcnt; sym < ms; sym++) {
960 1.23 ad /* Check validity of the symbol. */
961 1.23 ad if (ELF_ST_BIND(sym->st_info) != STB_GLOBAL ||
962 1.23 ad sym->st_name == 0)
963 1.23 ad continue;
964 1.30 ad if (undefined != (sym->st_shndx == SHN_UNDEF)) {
965 1.30 ad continue;
966 1.30 ad }
967 1.23 ad
968 1.28 ad /*
969 1.28 ad * Look it up. Don't need to lock, as it is known that
970 1.28 ad * the symbol tables aren't going to change (we hold
971 1.28 ad * module_lock).
972 1.28 ad */
973 1.23 ad name = ko->ko_strtab + sym->st_name;
974 1.28 ad if (ksyms_getval_unlocked(NULL, name, &rval,
975 1.28 ad KSYMS_EXTERN) != 0) {
976 1.30 ad if (undefined) {
977 1.47 maxv kobj_error(ko, "symbol `%s' not found",
978 1.47 maxv name);
979 1.28 ad error = ENOEXEC;
980 1.28 ad }
981 1.29 ad continue;
982 1.28 ad }
983 1.28 ad
984 1.28 ad /* Save values of undefined globals. */
985 1.30 ad if (undefined) {
986 1.28 ad sym->st_value = (Elf_Addr)rval;
987 1.23 ad continue;
988 1.23 ad }
989 1.23 ad
990 1.28 ad /* Check (and complain) about differing values. */
991 1.28 ad if (sym->st_value == rval) {
992 1.23 ad continue;
993 1.23 ad }
994 1.23 ad if (strcmp(name, "_bss_start") == 0 ||
995 1.23 ad strcmp(name, "__bss_start") == 0 ||
996 1.23 ad strcmp(name, "_bss_end__") == 0 ||
997 1.23 ad strcmp(name, "__bss_end__") == 0 ||
998 1.23 ad strcmp(name, "_edata") == 0 ||
999 1.23 ad strcmp(name, "_end") == 0 ||
1000 1.23 ad strcmp(name, "__end") == 0 ||
1001 1.23 ad strcmp(name, "__end__") == 0 ||
1002 1.23 ad strncmp(name, "__start_link_set_", 17) == 0 ||
1003 1.52 pgoyette strncmp(name, "__stop_link_set_", 16) == 0) {
1004 1.23 ad continue;
1005 1.23 ad }
1006 1.47 maxv kobj_error(ko, "global symbol `%s' redefined",
1007 1.47 maxv name);
1008 1.28 ad error = ENOEXEC;
1009 1.23 ad }
1010 1.23 ad
1011 1.28 ad return error;
1012 1.23 ad }
1013 1.23 ad
1014 1.23 ad /*
1015 1.1 ad * kobj_relocate:
1016 1.1 ad *
1017 1.18 ad * Resolve relocations for the loaded object.
1018 1.1 ad */
1019 1.1 ad static int
1020 1.18 ad kobj_relocate(kobj_t ko, bool local)
1021 1.1 ad {
1022 1.1 ad const Elf_Rel *rellim;
1023 1.1 ad const Elf_Rel *rel;
1024 1.1 ad const Elf_Rela *relalim;
1025 1.1 ad const Elf_Rela *rela;
1026 1.1 ad const Elf_Sym *sym;
1027 1.1 ad uintptr_t base;
1028 1.8 ad int i, error;
1029 1.1 ad uintptr_t symidx;
1030 1.1 ad
1031 1.1 ad /*
1032 1.1 ad * Perform relocations without addend if there are any.
1033 1.1 ad */
1034 1.1 ad for (i = 0; i < ko->ko_nrel; i++) {
1035 1.1 ad rel = ko->ko_reltab[i].rel;
1036 1.1 ad if (rel == NULL) {
1037 1.1 ad continue;
1038 1.1 ad }
1039 1.1 ad rellim = rel + ko->ko_reltab[i].nrel;
1040 1.1 ad base = kobj_findbase(ko, ko->ko_reltab[i].sec);
1041 1.1 ad if (base == 0) {
1042 1.46 matt panic("%s:%d: %s: lost base for e_reltab[%d] sec %d",
1043 1.46 matt __func__, __LINE__, ko->ko_name, i,
1044 1.46 matt ko->ko_reltab[i].sec);
1045 1.1 ad }
1046 1.1 ad for (; rel < rellim; rel++) {
1047 1.1 ad symidx = ELF_R_SYM(rel->r_info);
1048 1.1 ad if (symidx >= ko->ko_symcnt) {
1049 1.1 ad continue;
1050 1.1 ad }
1051 1.1 ad sym = ko->ko_symtab + symidx;
1052 1.18 ad if (local != (ELF_ST_BIND(sym->st_info) == STB_LOCAL)) {
1053 1.18 ad continue;
1054 1.18 ad }
1055 1.18 ad error = kobj_reloc(ko, base, rel, false, local);
1056 1.8 ad if (error != 0) {
1057 1.1 ad return ENOENT;
1058 1.1 ad }
1059 1.1 ad }
1060 1.1 ad }
1061 1.1 ad
1062 1.1 ad /*
1063 1.1 ad * Perform relocations with addend if there are any.
1064 1.1 ad */
1065 1.1 ad for (i = 0; i < ko->ko_nrela; i++) {
1066 1.1 ad rela = ko->ko_relatab[i].rela;
1067 1.1 ad if (rela == NULL) {
1068 1.1 ad continue;
1069 1.1 ad }
1070 1.1 ad relalim = rela + ko->ko_relatab[i].nrela;
1071 1.1 ad base = kobj_findbase(ko, ko->ko_relatab[i].sec);
1072 1.1 ad if (base == 0) {
1073 1.46 matt panic("%s:%d: %s: lost base for e_relatab[%d] sec %d",
1074 1.46 matt __func__, __LINE__, ko->ko_name, i,
1075 1.46 matt ko->ko_relatab[i].sec);
1076 1.1 ad }
1077 1.1 ad for (; rela < relalim; rela++) {
1078 1.1 ad symidx = ELF_R_SYM(rela->r_info);
1079 1.1 ad if (symidx >= ko->ko_symcnt) {
1080 1.1 ad continue;
1081 1.1 ad }
1082 1.1 ad sym = ko->ko_symtab + symidx;
1083 1.18 ad if (local != (ELF_ST_BIND(sym->st_info) == STB_LOCAL)) {
1084 1.18 ad continue;
1085 1.18 ad }
1086 1.18 ad error = kobj_reloc(ko, base, rela, true, local);
1087 1.8 ad if (error != 0) {
1088 1.1 ad return ENOENT;
1089 1.1 ad }
1090 1.1 ad }
1091 1.1 ad }
1092 1.1 ad
1093 1.1 ad return 0;
1094 1.1 ad }
1095 1.1 ad
1096 1.1 ad /*
1097 1.47 maxv * kobj_out:
1098 1.1 ad *
1099 1.1 ad * Utility function: log an error.
1100 1.1 ad */
1101 1.1 ad static void
1102 1.47 maxv kobj_out(const char *fname, int lnum, kobj_t ko, const char *fmt, ...)
1103 1.1 ad {
1104 1.1 ad va_list ap;
1105 1.1 ad
1106 1.44 christos printf("%s, %d: [%s]: linker error: ", fname, lnum, ko->ko_name);
1107 1.1 ad va_start(ap, fmt);
1108 1.1 ad vprintf(fmt, ap);
1109 1.44 christos va_end(ap);
1110 1.1 ad printf("\n");
1111 1.1 ad }
1112 1.1 ad
1113 1.1 ad static int
1114 1.40 pooka kobj_read_mem(kobj_t ko, void **basep, size_t size, off_t off,
1115 1.44 christos bool allocate)
1116 1.1 ad {
1117 1.40 pooka void *base = *basep;
1118 1.1 ad int error;
1119 1.1 ad
1120 1.54 maxv KASSERT(ko->ko_source != NULL);
1121 1.54 maxv
1122 1.40 pooka if (ko->ko_memsize != -1 && off + size > ko->ko_memsize) {
1123 1.47 maxv kobj_error(ko, "preloaded object short");
1124 1.40 pooka error = EINVAL;
1125 1.40 pooka base = NULL;
1126 1.40 pooka } else if (allocate) {
1127 1.54 maxv base = kmem_alloc(size, KM_SLEEP);
1128 1.40 pooka error = 0;
1129 1.40 pooka } else {
1130 1.40 pooka error = 0;
1131 1.12 ad }
1132 1.12 ad
1133 1.54 maxv if (error == 0) {
1134 1.54 maxv /* Copy the section */
1135 1.54 maxv memcpy(base, (uint8_t *)ko->ko_source + off, size);
1136 1.54 maxv }
1137 1.54 maxv
1138 1.54 maxv if (allocate && error != 0) {
1139 1.54 maxv kmem_free(base, size);
1140 1.54 maxv base = NULL;
1141 1.54 maxv }
1142 1.54 maxv
1143 1.40 pooka if (allocate)
1144 1.40 pooka *basep = base;
1145 1.3 ad
1146 1.1 ad return error;
1147 1.1 ad }
1148 1.5 ad
1149 1.12 ad /*
1150 1.12 ad * kobj_free:
1151 1.12 ad *
1152 1.12 ad * Utility function: free memory if it was allocated from the heap.
1153 1.12 ad */
1154 1.12 ad static void
1155 1.12 ad kobj_free(kobj_t ko, void *base, size_t size)
1156 1.12 ad {
1157 1.12 ad
1158 1.54 maxv kmem_free(base, size);
1159 1.12 ad }
1160 1.12 ad
1161 1.44 christos extern char module_base[];
1162 1.44 christos
1163 1.44 christos void
1164 1.44 christos kobj_setname(kobj_t ko, const char *name)
1165 1.44 christos {
1166 1.44 christos const char *d = name, *dots = "";
1167 1.44 christos size_t len, dlen;
1168 1.44 christos
1169 1.44 christos for (char *s = module_base; *d == *s; d++, s++)
1170 1.44 christos continue;
1171 1.44 christos
1172 1.44 christos if (d == name)
1173 1.44 christos name = "";
1174 1.44 christos else
1175 1.44 christos name = "%M";
1176 1.44 christos dlen = strlen(d);
1177 1.44 christos len = dlen + strlen(name);
1178 1.44 christos if (len >= sizeof(ko->ko_name)) {
1179 1.44 christos len = (len - sizeof(ko->ko_name)) + 5; /* dots + NUL */
1180 1.44 christos if (dlen >= len) {
1181 1.44 christos d += len;
1182 1.44 christos dots = "/...";
1183 1.44 christos }
1184 1.44 christos }
1185 1.44 christos snprintf(ko->ko_name, sizeof(ko->ko_name), "%s%s%s", name, dots, d);
1186 1.44 christos }
1187 1.44 christos
1188 1.5 ad #else /* MODULAR */
1189 1.5 ad
1190 1.5 ad int
1191 1.44 christos kobj_load_mem(kobj_t *kop, const char *name, void *base, ssize_t size)
1192 1.5 ad {
1193 1.5 ad
1194 1.5 ad return ENOSYS;
1195 1.5 ad }
1196 1.5 ad
1197 1.5 ad void
1198 1.5 ad kobj_unload(kobj_t ko)
1199 1.5 ad {
1200 1.5 ad
1201 1.5 ad panic("not modular");
1202 1.5 ad }
1203 1.5 ad
1204 1.39 dyoung int
1205 1.8 ad kobj_stat(kobj_t ko, vaddr_t *base, size_t *size)
1206 1.5 ad {
1207 1.5 ad
1208 1.39 dyoung return ENOSYS;
1209 1.5 ad }
1210 1.5 ad
1211 1.7 ad int
1212 1.18 ad kobj_affix(kobj_t ko, const char *name)
1213 1.5 ad {
1214 1.5 ad
1215 1.5 ad panic("not modular");
1216 1.5 ad }
1217 1.5 ad
1218 1.8 ad int
1219 1.8 ad kobj_find_section(kobj_t ko, const char *name, void **addr, size_t *size)
1220 1.8 ad {
1221 1.8 ad
1222 1.8 ad panic("not modular");
1223 1.8 ad }
1224 1.8 ad
1225 1.44 christos void
1226 1.44 christos kobj_setname(kobj_t ko, const char *name)
1227 1.44 christos {
1228 1.44 christos
1229 1.44 christos panic("not modular");
1230 1.44 christos }
1231 1.44 christos
1232 1.5 ad #endif /* MODULAR */
1233