]>
Commit | Line | Data |
---|---|---|
1da177e4 LT |
1 | /* Postprocess module symbol versions |
2 | * | |
3 | * Copyright 2003 Kai Germaschewski | |
4 | * Copyright 2002-2004 Rusty Russell, IBM Corporation | |
df578e7d | 5 | * Copyright 2006-2008 Sam Ravnborg |
1da177e4 LT |
6 | * Based in part on module-init-tools/depmod.c,file2alias |
7 | * | |
8 | * This software may be used and distributed according to the terms | |
9 | * of the GNU General Public License, incorporated herein by reference. | |
10 | * | |
11 | * Usage: modpost vmlinux module1.o module2.o ... | |
12 | */ | |
13 | ||
b2e3e658 MD |
14 | #define _GNU_SOURCE |
15 | #include <stdio.h> | |
1da177e4 | 16 | #include <ctype.h> |
5003bab8 | 17 | #include <string.h> |
712f9b46 | 18 | #include <limits.h> |
d4ef1c30 | 19 | #include <stdbool.h> |
eed380f3 | 20 | #include <errno.h> |
1da177e4 | 21 | #include "modpost.h" |
5a865c06 | 22 | #include "../../include/generated/autoconf.h" |
b817f6fe | 23 | #include "../../include/linux/license.h" |
b92021b0 | 24 | #include "../../include/linux/export.h" |
9e1b9b80 | 25 | |
1da177e4 LT |
26 | /* Are we using CONFIG_MODVERSIONS? */ |
27 | int modversions = 0; | |
28 | /* Warn about undefined symbols? (do so if we have vmlinux) */ | |
29 | int have_vmlinux = 0; | |
30 | /* Is CONFIG_MODULE_SRCVERSION_ALL set? */ | |
31 | static int all_versions = 0; | |
040fcc81 SR |
32 | /* If we are modposting external module set to 1 */ |
33 | static int external_module = 0; | |
8d8d8289 SR |
34 | /* Warn about section mismatch in vmlinux if set to 1 */ |
35 | static int vmlinux_section_warnings = 1; | |
c53ddacd KK |
36 | /* Only warn about unresolved symbols */ |
37 | static int warn_unresolved = 0; | |
bd5cbced | 38 | /* How a symbol is exported */ |
588ccd73 SR |
39 | static int sec_mismatch_count = 0; |
40 | static int sec_mismatch_verbose = 1; | |
eed380f3 GR |
41 | /* ignore missing files */ |
42 | static int ignore_missing_files; | |
588ccd73 | 43 | |
c96fca21 SR |
44 | enum export { |
45 | export_plain, export_unused, export_gpl, | |
46 | export_unused_gpl, export_gpl_future, export_unknown | |
47 | }; | |
1da177e4 | 48 | |
6d9a89ea AK |
49 | #define PRINTF __attribute__ ((format (printf, 1, 2))) |
50 | ||
51 | PRINTF void fatal(const char *fmt, ...) | |
1da177e4 LT |
52 | { |
53 | va_list arglist; | |
54 | ||
55 | fprintf(stderr, "FATAL: "); | |
56 | ||
57 | va_start(arglist, fmt); | |
58 | vfprintf(stderr, fmt, arglist); | |
59 | va_end(arglist); | |
60 | ||
61 | exit(1); | |
62 | } | |
63 | ||
6d9a89ea | 64 | PRINTF void warn(const char *fmt, ...) |
1da177e4 LT |
65 | { |
66 | va_list arglist; | |
67 | ||
68 | fprintf(stderr, "WARNING: "); | |
69 | ||
70 | va_start(arglist, fmt); | |
71 | vfprintf(stderr, fmt, arglist); | |
72 | va_end(arglist); | |
73 | } | |
74 | ||
6d9a89ea | 75 | PRINTF void merror(const char *fmt, ...) |
2a116659 MW |
76 | { |
77 | va_list arglist; | |
78 | ||
79 | fprintf(stderr, "ERROR: "); | |
80 | ||
81 | va_start(arglist, fmt); | |
82 | vfprintf(stderr, fmt, arglist); | |
83 | va_end(arglist); | |
84 | } | |
85 | ||
d4ef1c30 RR |
86 | static inline bool strends(const char *str, const char *postfix) |
87 | { | |
88 | if (strlen(str) < strlen(postfix)) | |
89 | return false; | |
90 | ||
91 | return strcmp(str + strlen(str) - strlen(postfix), postfix) == 0; | |
92 | } | |
93 | ||
040fcc81 SR |
94 | static int is_vmlinux(const char *modname) |
95 | { | |
96 | const char *myname; | |
97 | ||
df578e7d SR |
98 | myname = strrchr(modname, '/'); |
99 | if (myname) | |
040fcc81 SR |
100 | myname++; |
101 | else | |
102 | myname = modname; | |
103 | ||
741f98fe SR |
104 | return (strcmp(myname, "vmlinux") == 0) || |
105 | (strcmp(myname, "vmlinux.o") == 0); | |
040fcc81 SR |
106 | } |
107 | ||
1da177e4 LT |
108 | void *do_nofail(void *ptr, const char *expr) |
109 | { | |
df578e7d | 110 | if (!ptr) |
1da177e4 | 111 | fatal("modpost: Memory allocation failure: %s.\n", expr); |
df578e7d | 112 | |
1da177e4 LT |
113 | return ptr; |
114 | } | |
115 | ||
116 | /* A list of all modules we processed */ | |
1da177e4 LT |
117 | static struct module *modules; |
118 | ||
5c3ead8c | 119 | static struct module *find_module(char *modname) |
1da177e4 LT |
120 | { |
121 | struct module *mod; | |
122 | ||
123 | for (mod = modules; mod; mod = mod->next) | |
124 | if (strcmp(mod->name, modname) == 0) | |
125 | break; | |
126 | return mod; | |
127 | } | |
128 | ||
d4ef1c30 | 129 | static struct module *new_module(const char *modname) |
1da177e4 LT |
130 | { |
131 | struct module *mod; | |
d4ef1c30 | 132 | char *p; |
62070fa4 | 133 | |
1da177e4 LT |
134 | mod = NOFAIL(malloc(sizeof(*mod))); |
135 | memset(mod, 0, sizeof(*mod)); | |
136 | p = NOFAIL(strdup(modname)); | |
137 | ||
138 | /* strip trailing .o */ | |
d4ef1c30 RR |
139 | if (strends(p, ".o")) { |
140 | p[strlen(p) - 2] = '\0'; | |
141 | mod->is_dot_o = 1; | |
142 | } | |
1da177e4 LT |
143 | |
144 | /* add to list */ | |
145 | mod->name = p; | |
b817f6fe | 146 | mod->gpl_compatible = -1; |
1da177e4 LT |
147 | mod->next = modules; |
148 | modules = mod; | |
149 | ||
150 | return mod; | |
151 | } | |
152 | ||
153 | /* A hash of all exported symbols, | |
154 | * struct symbol is also used for lists of unresolved symbols */ | |
155 | ||
156 | #define SYMBOL_HASH_SIZE 1024 | |
157 | ||
158 | struct symbol { | |
159 | struct symbol *next; | |
160 | struct module *module; | |
161 | unsigned int crc; | |
162 | int crc_valid; | |
163 | unsigned int weak:1; | |
040fcc81 SR |
164 | unsigned int vmlinux:1; /* 1 if symbol is defined in vmlinux */ |
165 | unsigned int kernel:1; /* 1 if symbol is from kernel | |
166 | * (only for external modules) **/ | |
b6568b1a | 167 | unsigned int preloaded:1; /* 1 if symbol from Module.symvers, or crc */ |
bd5cbced | 168 | enum export export; /* Type of export */ |
1da177e4 LT |
169 | char name[0]; |
170 | }; | |
171 | ||
172 | static struct symbol *symbolhash[SYMBOL_HASH_SIZE]; | |
173 | ||
174 | /* This is based on the hash agorithm from gdbm, via tdb */ | |
175 | static inline unsigned int tdb_hash(const char *name) | |
176 | { | |
177 | unsigned value; /* Used to compute the hash value. */ | |
178 | unsigned i; /* Used to cycle through random values. */ | |
179 | ||
180 | /* Set the initial value from the key size. */ | |
df578e7d | 181 | for (value = 0x238F13AF * strlen(name), i = 0; name[i]; i++) |
1da177e4 LT |
182 | value = (value + (((unsigned char *)name)[i] << (i*5 % 24))); |
183 | ||
184 | return (1103515243 * value + 12345); | |
185 | } | |
186 | ||
5c3ead8c SR |
187 | /** |
188 | * Allocate a new symbols for use in the hash of exported symbols or | |
189 | * the list of unresolved symbols per module | |
190 | **/ | |
191 | static struct symbol *alloc_symbol(const char *name, unsigned int weak, | |
192 | struct symbol *next) | |
1da177e4 LT |
193 | { |
194 | struct symbol *s = NOFAIL(malloc(sizeof(*s) + strlen(name) + 1)); | |
195 | ||
196 | memset(s, 0, sizeof(*s)); | |
197 | strcpy(s->name, name); | |
198 | s->weak = weak; | |
199 | s->next = next; | |
200 | return s; | |
201 | } | |
202 | ||
203 | /* For the hash of exported symbols */ | |
bd5cbced RP |
204 | static struct symbol *new_symbol(const char *name, struct module *module, |
205 | enum export export) | |
1da177e4 LT |
206 | { |
207 | unsigned int hash; | |
208 | struct symbol *new; | |
209 | ||
210 | hash = tdb_hash(name) % SYMBOL_HASH_SIZE; | |
211 | new = symbolhash[hash] = alloc_symbol(name, 0, symbolhash[hash]); | |
212 | new->module = module; | |
bd5cbced | 213 | new->export = export; |
040fcc81 | 214 | return new; |
1da177e4 LT |
215 | } |
216 | ||
5c3ead8c | 217 | static struct symbol *find_symbol(const char *name) |
1da177e4 LT |
218 | { |
219 | struct symbol *s; | |
220 | ||
221 | /* For our purposes, .foo matches foo. PPC64 needs this. */ | |
222 | if (name[0] == '.') | |
223 | name++; | |
224 | ||
df578e7d | 225 | for (s = symbolhash[tdb_hash(name) % SYMBOL_HASH_SIZE]; s; s = s->next) { |
1da177e4 LT |
226 | if (strcmp(s->name, name) == 0) |
227 | return s; | |
228 | } | |
229 | return NULL; | |
230 | } | |
231 | ||
bd5cbced RP |
232 | static struct { |
233 | const char *str; | |
234 | enum export export; | |
235 | } export_list[] = { | |
236 | { .str = "EXPORT_SYMBOL", .export = export_plain }, | |
c96fca21 | 237 | { .str = "EXPORT_UNUSED_SYMBOL", .export = export_unused }, |
bd5cbced | 238 | { .str = "EXPORT_SYMBOL_GPL", .export = export_gpl }, |
c96fca21 | 239 | { .str = "EXPORT_UNUSED_SYMBOL_GPL", .export = export_unused_gpl }, |
bd5cbced RP |
240 | { .str = "EXPORT_SYMBOL_GPL_FUTURE", .export = export_gpl_future }, |
241 | { .str = "(unknown)", .export = export_unknown }, | |
242 | }; | |
243 | ||
244 | ||
245 | static const char *export_str(enum export ex) | |
246 | { | |
247 | return export_list[ex].str; | |
248 | } | |
249 | ||
df578e7d | 250 | static enum export export_no(const char *s) |
bd5cbced RP |
251 | { |
252 | int i; | |
df578e7d | 253 | |
534b89a9 SR |
254 | if (!s) |
255 | return export_unknown; | |
bd5cbced RP |
256 | for (i = 0; export_list[i].export != export_unknown; i++) { |
257 | if (strcmp(export_list[i].str, s) == 0) | |
258 | return export_list[i].export; | |
259 | } | |
260 | return export_unknown; | |
261 | } | |
262 | ||
62a26356 AIB |
263 | static const char *sec_name(struct elf_info *elf, int secindex); |
264 | ||
265 | #define strstarts(str, prefix) (strncmp(str, prefix, strlen(prefix)) == 0) | |
266 | ||
267 | static enum export export_from_secname(struct elf_info *elf, unsigned int sec) | |
268 | { | |
269 | const char *secname = sec_name(elf, sec); | |
270 | ||
271 | if (strstarts(secname, "___ksymtab+")) | |
272 | return export_plain; | |
273 | else if (strstarts(secname, "___ksymtab_unused+")) | |
274 | return export_unused; | |
275 | else if (strstarts(secname, "___ksymtab_gpl+")) | |
276 | return export_gpl; | |
277 | else if (strstarts(secname, "___ksymtab_unused_gpl+")) | |
278 | return export_unused_gpl; | |
279 | else if (strstarts(secname, "___ksymtab_gpl_future+")) | |
280 | return export_gpl_future; | |
281 | else | |
282 | return export_unknown; | |
283 | } | |
284 | ||
1ce53adf | 285 | static enum export export_from_sec(struct elf_info *elf, unsigned int sec) |
bd5cbced RP |
286 | { |
287 | if (sec == elf->export_sec) | |
288 | return export_plain; | |
c96fca21 SR |
289 | else if (sec == elf->export_unused_sec) |
290 | return export_unused; | |
bd5cbced RP |
291 | else if (sec == elf->export_gpl_sec) |
292 | return export_gpl; | |
c96fca21 SR |
293 | else if (sec == elf->export_unused_gpl_sec) |
294 | return export_unused_gpl; | |
bd5cbced RP |
295 | else if (sec == elf->export_gpl_future_sec) |
296 | return export_gpl_future; | |
297 | else | |
298 | return export_unknown; | |
299 | } | |
300 | ||
5c3ead8c SR |
301 | /** |
302 | * Add an exported symbol - it may have already been added without a | |
303 | * CRC, in this case just update the CRC | |
304 | **/ | |
bd5cbced RP |
305 | static struct symbol *sym_add_exported(const char *name, struct module *mod, |
306 | enum export export) | |
1da177e4 LT |
307 | { |
308 | struct symbol *s = find_symbol(name); | |
309 | ||
310 | if (!s) { | |
bd5cbced | 311 | s = new_symbol(name, mod, export); |
8e70c458 SR |
312 | } else { |
313 | if (!s->preloaded) { | |
7b75b13c | 314 | warn("%s: '%s' exported twice. Previous export " |
8e70c458 SR |
315 | "was in %s%s\n", mod->name, name, |
316 | s->module->name, | |
317 | is_vmlinux(s->module->name) ?"":".ko"); | |
4b21960f TP |
318 | } else { |
319 | /* In case Modules.symvers was out of date */ | |
320 | s->module = mod; | |
8e70c458 | 321 | } |
1da177e4 | 322 | } |
8e70c458 | 323 | s->preloaded = 0; |
040fcc81 SR |
324 | s->vmlinux = is_vmlinux(mod->name); |
325 | s->kernel = 0; | |
bd5cbced | 326 | s->export = export; |
040fcc81 SR |
327 | return s; |
328 | } | |
329 | ||
330 | static void sym_update_crc(const char *name, struct module *mod, | |
bd5cbced | 331 | unsigned int crc, enum export export) |
040fcc81 SR |
332 | { |
333 | struct symbol *s = find_symbol(name); | |
334 | ||
b6568b1a | 335 | if (!s) { |
bd5cbced | 336 | s = new_symbol(name, mod, export); |
b6568b1a RR |
337 | /* Don't complain when we find it later. */ |
338 | s->preloaded = 1; | |
339 | } | |
040fcc81 SR |
340 | s->crc = crc; |
341 | s->crc_valid = 1; | |
1da177e4 LT |
342 | } |
343 | ||
5c3ead8c | 344 | void *grab_file(const char *filename, unsigned long *size) |
1da177e4 LT |
345 | { |
346 | struct stat st; | |
eb3d5cc6 | 347 | void *map = MAP_FAILED; |
1da177e4 LT |
348 | int fd; |
349 | ||
350 | fd = open(filename, O_RDONLY); | |
eb3d5cc6 | 351 | if (fd < 0) |
1da177e4 | 352 | return NULL; |
eb3d5cc6 JJ |
353 | if (fstat(fd, &st)) |
354 | goto failed; | |
1da177e4 LT |
355 | |
356 | *size = st.st_size; | |
357 | map = mmap(NULL, *size, PROT_READ|PROT_WRITE, MAP_PRIVATE, fd, 0); | |
1da177e4 | 358 | |
eb3d5cc6 JJ |
359 | failed: |
360 | close(fd); | |
1da177e4 LT |
361 | if (map == MAP_FAILED) |
362 | return NULL; | |
363 | return map; | |
364 | } | |
365 | ||
5c3ead8c SR |
366 | /** |
367 | * Return a copy of the next line in a mmap'ed file. | |
368 | * spaces in the beginning of the line is trimmed away. | |
369 | * Return a pointer to a static buffer. | |
370 | **/ | |
df578e7d | 371 | char *get_next_line(unsigned long *pos, void *file, unsigned long size) |
1da177e4 LT |
372 | { |
373 | static char line[4096]; | |
374 | int skip = 1; | |
375 | size_t len = 0; | |
376 | signed char *p = (signed char *)file + *pos; | |
377 | char *s = line; | |
378 | ||
df578e7d | 379 | for (; *pos < size ; (*pos)++) { |
1da177e4 LT |
380 | if (skip && isspace(*p)) { |
381 | p++; | |
382 | continue; | |
383 | } | |
384 | skip = 0; | |
385 | if (*p != '\n' && (*pos < size)) { | |
386 | len++; | |
387 | *s++ = *p++; | |
388 | if (len > 4095) | |
389 | break; /* Too long, stop */ | |
390 | } else { | |
391 | /* End of string */ | |
392 | *s = '\0'; | |
393 | return line; | |
394 | } | |
395 | } | |
396 | /* End of buffer */ | |
397 | return NULL; | |
398 | } | |
399 | ||
5c3ead8c | 400 | void release_file(void *file, unsigned long size) |
1da177e4 LT |
401 | { |
402 | munmap(file, size); | |
403 | } | |
404 | ||
85bd2fdd | 405 | static int parse_elf(struct elf_info *info, const char *filename) |
1da177e4 LT |
406 | { |
407 | unsigned int i; | |
85bd2fdd | 408 | Elf_Ehdr *hdr; |
1da177e4 LT |
409 | Elf_Shdr *sechdrs; |
410 | Elf_Sym *sym; | |
1ce53adf DV |
411 | const char *secstrings; |
412 | unsigned int symtab_idx = ~0U, symtab_shndx_idx = ~0U; | |
1da177e4 LT |
413 | |
414 | hdr = grab_file(filename, &info->size); | |
415 | if (!hdr) { | |
eed380f3 GR |
416 | if (ignore_missing_files) { |
417 | fprintf(stderr, "%s: %s (ignored)\n", filename, | |
418 | strerror(errno)); | |
419 | return 0; | |
420 | } | |
1da177e4 | 421 | perror(filename); |
6803dc0e | 422 | exit(1); |
1da177e4 LT |
423 | } |
424 | info->hdr = hdr; | |
85bd2fdd SR |
425 | if (info->size < sizeof(*hdr)) { |
426 | /* file too small, assume this is an empty .o file */ | |
427 | return 0; | |
428 | } | |
429 | /* Is this a valid ELF file? */ | |
430 | if ((hdr->e_ident[EI_MAG0] != ELFMAG0) || | |
431 | (hdr->e_ident[EI_MAG1] != ELFMAG1) || | |
432 | (hdr->e_ident[EI_MAG2] != ELFMAG2) || | |
433 | (hdr->e_ident[EI_MAG3] != ELFMAG3)) { | |
434 | /* Not an ELF file - silently ignore it */ | |
435 | return 0; | |
436 | } | |
1da177e4 | 437 | /* Fix endianness in ELF header */ |
7d875a02 AK |
438 | hdr->e_type = TO_NATIVE(hdr->e_type); |
439 | hdr->e_machine = TO_NATIVE(hdr->e_machine); | |
440 | hdr->e_version = TO_NATIVE(hdr->e_version); | |
441 | hdr->e_entry = TO_NATIVE(hdr->e_entry); | |
442 | hdr->e_phoff = TO_NATIVE(hdr->e_phoff); | |
443 | hdr->e_shoff = TO_NATIVE(hdr->e_shoff); | |
444 | hdr->e_flags = TO_NATIVE(hdr->e_flags); | |
445 | hdr->e_ehsize = TO_NATIVE(hdr->e_ehsize); | |
446 | hdr->e_phentsize = TO_NATIVE(hdr->e_phentsize); | |
447 | hdr->e_phnum = TO_NATIVE(hdr->e_phnum); | |
448 | hdr->e_shentsize = TO_NATIVE(hdr->e_shentsize); | |
449 | hdr->e_shnum = TO_NATIVE(hdr->e_shnum); | |
450 | hdr->e_shstrndx = TO_NATIVE(hdr->e_shstrndx); | |
1da177e4 LT |
451 | sechdrs = (void *)hdr + hdr->e_shoff; |
452 | info->sechdrs = sechdrs; | |
453 | ||
a83710e5 PS |
454 | /* Check if file offset is correct */ |
455 | if (hdr->e_shoff > info->size) { | |
df578e7d SR |
456 | fatal("section header offset=%lu in file '%s' is bigger than " |
457 | "filesize=%lu\n", (unsigned long)hdr->e_shoff, | |
458 | filename, info->size); | |
a83710e5 PS |
459 | return 0; |
460 | } | |
461 | ||
6845756b | 462 | if (hdr->e_shnum == SHN_UNDEF) { |
1ce53adf DV |
463 | /* |
464 | * There are more than 64k sections, | |
465 | * read count from .sh_size. | |
1ce53adf DV |
466 | */ |
467 | info->num_sections = TO_NATIVE(sechdrs[0].sh_size); | |
468 | } | |
469 | else { | |
470 | info->num_sections = hdr->e_shnum; | |
471 | } | |
472 | if (hdr->e_shstrndx == SHN_XINDEX) { | |
6845756b | 473 | info->secindex_strings = TO_NATIVE(sechdrs[0].sh_link); |
1ce53adf DV |
474 | } |
475 | else { | |
476 | info->secindex_strings = hdr->e_shstrndx; | |
477 | } | |
478 | ||
1da177e4 | 479 | /* Fix endianness in section headers */ |
1ce53adf | 480 | for (i = 0; i < info->num_sections; i++) { |
7d875a02 AK |
481 | sechdrs[i].sh_name = TO_NATIVE(sechdrs[i].sh_name); |
482 | sechdrs[i].sh_type = TO_NATIVE(sechdrs[i].sh_type); | |
483 | sechdrs[i].sh_flags = TO_NATIVE(sechdrs[i].sh_flags); | |
484 | sechdrs[i].sh_addr = TO_NATIVE(sechdrs[i].sh_addr); | |
485 | sechdrs[i].sh_offset = TO_NATIVE(sechdrs[i].sh_offset); | |
486 | sechdrs[i].sh_size = TO_NATIVE(sechdrs[i].sh_size); | |
487 | sechdrs[i].sh_link = TO_NATIVE(sechdrs[i].sh_link); | |
488 | sechdrs[i].sh_info = TO_NATIVE(sechdrs[i].sh_info); | |
489 | sechdrs[i].sh_addralign = TO_NATIVE(sechdrs[i].sh_addralign); | |
490 | sechdrs[i].sh_entsize = TO_NATIVE(sechdrs[i].sh_entsize); | |
1da177e4 LT |
491 | } |
492 | /* Find symbol table. */ | |
1ce53adf DV |
493 | secstrings = (void *)hdr + sechdrs[info->secindex_strings].sh_offset; |
494 | for (i = 1; i < info->num_sections; i++) { | |
bd5cbced | 495 | const char *secname; |
56fc82c5 | 496 | int nobits = sechdrs[i].sh_type == SHT_NOBITS; |
1da177e4 | 497 | |
56fc82c5 | 498 | if (!nobits && sechdrs[i].sh_offset > info->size) { |
df578e7d SR |
499 | fatal("%s is truncated. sechdrs[i].sh_offset=%lu > " |
500 | "sizeof(*hrd)=%zu\n", filename, | |
501 | (unsigned long)sechdrs[i].sh_offset, | |
502 | sizeof(*hdr)); | |
85bd2fdd SR |
503 | return 0; |
504 | } | |
bd5cbced RP |
505 | secname = secstrings + sechdrs[i].sh_name; |
506 | if (strcmp(secname, ".modinfo") == 0) { | |
56fc82c5 TH |
507 | if (nobits) |
508 | fatal("%s has NOBITS .modinfo\n", filename); | |
1da177e4 LT |
509 | info->modinfo = (void *)hdr + sechdrs[i].sh_offset; |
510 | info->modinfo_len = sechdrs[i].sh_size; | |
bd5cbced RP |
511 | } else if (strcmp(secname, "__ksymtab") == 0) |
512 | info->export_sec = i; | |
c96fca21 SR |
513 | else if (strcmp(secname, "__ksymtab_unused") == 0) |
514 | info->export_unused_sec = i; | |
bd5cbced RP |
515 | else if (strcmp(secname, "__ksymtab_gpl") == 0) |
516 | info->export_gpl_sec = i; | |
c96fca21 SR |
517 | else if (strcmp(secname, "__ksymtab_unused_gpl") == 0) |
518 | info->export_unused_gpl_sec = i; | |
bd5cbced RP |
519 | else if (strcmp(secname, "__ksymtab_gpl_future") == 0) |
520 | info->export_gpl_future_sec = i; | |
521 | ||
1ce53adf DV |
522 | if (sechdrs[i].sh_type == SHT_SYMTAB) { |
523 | unsigned int sh_link_idx; | |
524 | symtab_idx = i; | |
525 | info->symtab_start = (void *)hdr + | |
526 | sechdrs[i].sh_offset; | |
527 | info->symtab_stop = (void *)hdr + | |
528 | sechdrs[i].sh_offset + sechdrs[i].sh_size; | |
6845756b | 529 | sh_link_idx = sechdrs[i].sh_link; |
1ce53adf DV |
530 | info->strtab = (void *)hdr + |
531 | sechdrs[sh_link_idx].sh_offset; | |
532 | } | |
1da177e4 | 533 | |
1ce53adf DV |
534 | /* 32bit section no. table? ("more than 64k sections") */ |
535 | if (sechdrs[i].sh_type == SHT_SYMTAB_SHNDX) { | |
536 | symtab_shndx_idx = i; | |
537 | info->symtab_shndx_start = (void *)hdr + | |
538 | sechdrs[i].sh_offset; | |
539 | info->symtab_shndx_stop = (void *)hdr + | |
540 | sechdrs[i].sh_offset + sechdrs[i].sh_size; | |
541 | } | |
1da177e4 | 542 | } |
df578e7d | 543 | if (!info->symtab_start) |
cb80514d | 544 | fatal("%s has no symtab?\n", filename); |
df578e7d | 545 | |
1da177e4 LT |
546 | /* Fix endianness in symbols */ |
547 | for (sym = info->symtab_start; sym < info->symtab_stop; sym++) { | |
548 | sym->st_shndx = TO_NATIVE(sym->st_shndx); | |
549 | sym->st_name = TO_NATIVE(sym->st_name); | |
550 | sym->st_value = TO_NATIVE(sym->st_value); | |
551 | sym->st_size = TO_NATIVE(sym->st_size); | |
552 | } | |
1ce53adf DV |
553 | |
554 | if (symtab_shndx_idx != ~0U) { | |
555 | Elf32_Word *p; | |
6845756b | 556 | if (symtab_idx != sechdrs[symtab_shndx_idx].sh_link) |
1ce53adf | 557 | fatal("%s: SYMTAB_SHNDX has bad sh_link: %u!=%u\n", |
6845756b | 558 | filename, sechdrs[symtab_shndx_idx].sh_link, |
1ce53adf DV |
559 | symtab_idx); |
560 | /* Fix endianness */ | |
561 | for (p = info->symtab_shndx_start; p < info->symtab_shndx_stop; | |
562 | p++) | |
563 | *p = TO_NATIVE(*p); | |
564 | } | |
565 | ||
85bd2fdd | 566 | return 1; |
1da177e4 LT |
567 | } |
568 | ||
5c3ead8c | 569 | static void parse_elf_finish(struct elf_info *info) |
1da177e4 LT |
570 | { |
571 | release_file(info->hdr, info->size); | |
572 | } | |
573 | ||
4d7365d6 SR |
574 | static int ignore_undef_symbol(struct elf_info *info, const char *symname) |
575 | { | |
576 | /* ignore __this_module, it will be resolved shortly */ | |
b92021b0 | 577 | if (strcmp(symname, VMLINUX_SYMBOL_STR(__this_module)) == 0) |
4d7365d6 SR |
578 | return 1; |
579 | /* ignore global offset table */ | |
580 | if (strcmp(symname, "_GLOBAL_OFFSET_TABLE_") == 0) | |
581 | return 1; | |
582 | if (info->hdr->e_machine == EM_PPC) | |
583 | /* Special register function linked on all modules during final link of .ko */ | |
584 | if (strncmp(symname, "_restgpr_", sizeof("_restgpr_") - 1) == 0 || | |
585 | strncmp(symname, "_savegpr_", sizeof("_savegpr_") - 1) == 0 || | |
586 | strncmp(symname, "_rest32gpr_", sizeof("_rest32gpr_") - 1) == 0 || | |
8fe9c93e AS |
587 | strncmp(symname, "_save32gpr_", sizeof("_save32gpr_") - 1) == 0 || |
588 | strncmp(symname, "_restvr_", sizeof("_restvr_") - 1) == 0 || | |
589 | strncmp(symname, "_savevr_", sizeof("_savevr_") - 1) == 0) | |
4d7365d6 | 590 | return 1; |
7fca5dc8 SR |
591 | if (info->hdr->e_machine == EM_PPC64) |
592 | /* Special register function linked on all modules during final link of .ko */ | |
593 | if (strncmp(symname, "_restgpr0_", sizeof("_restgpr0_") - 1) == 0 || | |
8fe9c93e AS |
594 | strncmp(symname, "_savegpr0_", sizeof("_savegpr0_") - 1) == 0 || |
595 | strncmp(symname, "_restvr_", sizeof("_restvr_") - 1) == 0 || | |
596 | strncmp(symname, "_savevr_", sizeof("_savevr_") - 1) == 0) | |
7fca5dc8 | 597 | return 1; |
4d7365d6 SR |
598 | /* Do not ignore this symbol */ |
599 | return 0; | |
600 | } | |
601 | ||
b92021b0 RR |
602 | #define CRC_PFX VMLINUX_SYMBOL_STR(__crc_) |
603 | #define KSYMTAB_PFX VMLINUX_SYMBOL_STR(__ksymtab_) | |
1da177e4 | 604 | |
5c3ead8c SR |
605 | static void handle_modversions(struct module *mod, struct elf_info *info, |
606 | Elf_Sym *sym, const char *symname) | |
1da177e4 LT |
607 | { |
608 | unsigned int crc; | |
62a26356 AIB |
609 | enum export export; |
610 | ||
258f7426 FR |
611 | if ((!is_vmlinux(mod->name) || mod->is_dot_o) && |
612 | strncmp(symname, "__ksymtab", 9) == 0) | |
62a26356 AIB |
613 | export = export_from_secname(info, get_secindex(info, sym)); |
614 | else | |
615 | export = export_from_sec(info, get_secindex(info, sym)); | |
1da177e4 | 616 | |
b5064654 AK |
617 | /* CRC'd symbol */ |
618 | if (strncmp(symname, CRC_PFX, strlen(CRC_PFX)) == 0) { | |
619 | crc = (unsigned int) sym->st_value; | |
620 | sym_update_crc(symname + strlen(CRC_PFX), mod, crc, | |
621 | export); | |
622 | } | |
623 | ||
1da177e4 LT |
624 | switch (sym->st_shndx) { |
625 | case SHN_COMMON: | |
cb80514d | 626 | warn("\"%s\" [%s] is COMMON symbol\n", symname, mod->name); |
1da177e4 | 627 | break; |
1da177e4 LT |
628 | case SHN_UNDEF: |
629 | /* undefined symbol */ | |
630 | if (ELF_ST_BIND(sym->st_info) != STB_GLOBAL && | |
631 | ELF_ST_BIND(sym->st_info) != STB_WEAK) | |
632 | break; | |
4d7365d6 | 633 | if (ignore_undef_symbol(info, symname)) |
1da177e4 | 634 | break; |
8d529014 BC |
635 | /* cope with newer glibc (2.3.4 or higher) STT_ definition in elf.h */ |
636 | #if defined(STT_REGISTER) || defined(STT_SPARC_REGISTER) | |
637 | /* add compatibility with older glibc */ | |
638 | #ifndef STT_SPARC_REGISTER | |
639 | #define STT_SPARC_REGISTER STT_REGISTER | |
640 | #endif | |
1da177e4 LT |
641 | if (info->hdr->e_machine == EM_SPARC || |
642 | info->hdr->e_machine == EM_SPARCV9) { | |
643 | /* Ignore register directives. */ | |
8d529014 | 644 | if (ELF_ST_TYPE(sym->st_info) == STT_SPARC_REGISTER) |
1da177e4 | 645 | break; |
62070fa4 SR |
646 | if (symname[0] == '.') { |
647 | char *munged = strdup(symname); | |
648 | munged[0] = '_'; | |
649 | munged[1] = toupper(munged[1]); | |
650 | symname = munged; | |
651 | } | |
1da177e4 LT |
652 | } |
653 | #endif | |
62070fa4 | 654 | |
b92021b0 RR |
655 | #ifdef CONFIG_HAVE_UNDERSCORE_SYMBOL_PREFIX |
656 | if (symname[0] != '_') | |
657 | break; | |
658 | else | |
659 | symname++; | |
660 | #endif | |
661 | mod->unres = alloc_symbol(symname, | |
662 | ELF_ST_BIND(sym->st_info) == STB_WEAK, | |
663 | mod->unres); | |
1da177e4 LT |
664 | break; |
665 | default: | |
666 | /* All exported symbols */ | |
8d99513c | 667 | if (strncmp(symname, KSYMTAB_PFX, strlen(KSYMTAB_PFX)) == 0) { |
bd5cbced RP |
668 | sym_add_exported(symname + strlen(KSYMTAB_PFX), mod, |
669 | export); | |
1da177e4 | 670 | } |
b92021b0 | 671 | if (strcmp(symname, VMLINUX_SYMBOL_STR(init_module)) == 0) |
1da177e4 | 672 | mod->has_init = 1; |
b92021b0 | 673 | if (strcmp(symname, VMLINUX_SYMBOL_STR(cleanup_module)) == 0) |
1da177e4 LT |
674 | mod->has_cleanup = 1; |
675 | break; | |
676 | } | |
677 | } | |
678 | ||
5c3ead8c SR |
679 | /** |
680 | * Parse tag=value strings from .modinfo section | |
681 | **/ | |
1da177e4 LT |
682 | static char *next_string(char *string, unsigned long *secsize) |
683 | { | |
684 | /* Skip non-zero chars */ | |
685 | while (string[0]) { | |
686 | string++; | |
687 | if ((*secsize)-- <= 1) | |
688 | return NULL; | |
689 | } | |
690 | ||
691 | /* Skip any zero padding. */ | |
692 | while (!string[0]) { | |
693 | string++; | |
694 | if ((*secsize)-- <= 1) | |
695 | return NULL; | |
696 | } | |
697 | return string; | |
698 | } | |
699 | ||
b817f6fe SR |
700 | static char *get_next_modinfo(void *modinfo, unsigned long modinfo_len, |
701 | const char *tag, char *info) | |
1da177e4 LT |
702 | { |
703 | char *p; | |
704 | unsigned int taglen = strlen(tag); | |
705 | unsigned long size = modinfo_len; | |
706 | ||
b817f6fe SR |
707 | if (info) { |
708 | size -= info - (char *)modinfo; | |
709 | modinfo = next_string(info, &size); | |
710 | } | |
711 | ||
1da177e4 LT |
712 | for (p = modinfo; p; p = next_string(p, &size)) { |
713 | if (strncmp(p, tag, taglen) == 0 && p[taglen] == '=') | |
714 | return p + taglen + 1; | |
715 | } | |
716 | return NULL; | |
717 | } | |
718 | ||
b817f6fe SR |
719 | static char *get_modinfo(void *modinfo, unsigned long modinfo_len, |
720 | const char *tag) | |
721 | ||
722 | { | |
723 | return get_next_modinfo(modinfo, modinfo_len, tag, NULL); | |
724 | } | |
725 | ||
4c8fbca5 SR |
726 | /** |
727 | * Test if string s ends in string sub | |
728 | * return 0 if match | |
729 | **/ | |
730 | static int strrcmp(const char *s, const char *sub) | |
731 | { | |
df578e7d | 732 | int slen, sublen; |
62070fa4 | 733 | |
4c8fbca5 SR |
734 | if (!s || !sub) |
735 | return 1; | |
62070fa4 | 736 | |
4c8fbca5 | 737 | slen = strlen(s); |
df578e7d | 738 | sublen = strlen(sub); |
62070fa4 | 739 | |
4c8fbca5 SR |
740 | if ((slen == 0) || (sublen == 0)) |
741 | return 1; | |
742 | ||
df578e7d SR |
743 | if (sublen > slen) |
744 | return 1; | |
4c8fbca5 | 745 | |
df578e7d | 746 | return memcmp(s + slen - sublen, sub, sublen); |
4c8fbca5 SR |
747 | } |
748 | ||
ff13f926 SR |
749 | static const char *sym_name(struct elf_info *elf, Elf_Sym *sym) |
750 | { | |
58fb0d4f SR |
751 | if (sym) |
752 | return elf->strtab + sym->st_name; | |
753 | else | |
f666751a | 754 | return "(unknown)"; |
ff13f926 SR |
755 | } |
756 | ||
1ce53adf | 757 | static const char *sec_name(struct elf_info *elf, int secindex) |
ff13f926 SR |
758 | { |
759 | Elf_Shdr *sechdrs = elf->sechdrs; | |
760 | return (void *)elf->hdr + | |
1ce53adf DV |
761 | elf->sechdrs[elf->secindex_strings].sh_offset + |
762 | sechdrs[secindex].sh_name; | |
ff13f926 SR |
763 | } |
764 | ||
765 | static const char *sech_name(struct elf_info *elf, Elf_Shdr *sechdr) | |
766 | { | |
767 | return (void *)elf->hdr + | |
1ce53adf DV |
768 | elf->sechdrs[elf->secindex_strings].sh_offset + |
769 | sechdr->sh_name; | |
ff13f926 SR |
770 | } |
771 | ||
10668220 SR |
772 | /* if sym is empty or point to a string |
773 | * like ".[0-9]+" then return 1. | |
774 | * This is the optional prefix added by ld to some sections | |
775 | */ | |
776 | static int number_prefix(const char *sym) | |
777 | { | |
778 | if (*sym++ == '\0') | |
779 | return 1; | |
780 | if (*sym != '.') | |
781 | return 0; | |
782 | do { | |
783 | char c = *sym++; | |
784 | if (c < '0' || c > '9') | |
785 | return 0; | |
786 | } while (*sym); | |
787 | return 1; | |
788 | } | |
789 | ||
790 | /* The pattern is an array of simple patterns. | |
791 | * "foo" will match an exact string equal to "foo" | |
6c5bd235 | 792 | * "*foo" will match a string that ends with "foo" |
10668220 SR |
793 | * "foo*" will match a string that begins with "foo" |
794 | * "foo$" will match a string equal to "foo" or "foo.1" | |
795 | * where the '1' can be any number including several digits. | |
796 | * The $ syntax is for sections where ld append a dot number | |
797 | * to make section name unique. | |
798 | */ | |
5c725138 | 799 | static int match(const char *sym, const char * const pat[]) |
10668220 SR |
800 | { |
801 | const char *p; | |
802 | while (*pat) { | |
803 | p = *pat++; | |
804 | const char *endp = p + strlen(p) - 1; | |
805 | ||
6c5bd235 SR |
806 | /* "*foo" */ |
807 | if (*p == '*') { | |
808 | if (strrcmp(sym, p + 1) == 0) | |
809 | return 1; | |
810 | } | |
10668220 | 811 | /* "foo*" */ |
6c5bd235 | 812 | else if (*endp == '*') { |
10668220 SR |
813 | if (strncmp(sym, p, strlen(p) - 1) == 0) |
814 | return 1; | |
815 | } | |
816 | /* "foo$" */ | |
817 | else if (*endp == '$') { | |
818 | if (strncmp(sym, p, strlen(p) - 1) == 0) { | |
819 | if (number_prefix(sym + strlen(p) - 1)) | |
820 | return 1; | |
821 | } | |
822 | } | |
823 | /* no wildcards */ | |
824 | else { | |
825 | if (strcmp(p, sym) == 0) | |
826 | return 1; | |
827 | } | |
828 | } | |
829 | /* no match */ | |
830 | return 0; | |
831 | } | |
832 | ||
10668220 SR |
833 | /* sections that we do not want to do full section mismatch check on */ |
834 | static const char *section_white_list[] = | |
4391ed6a SR |
835 | { |
836 | ".comment*", | |
837 | ".debug*", | |
4d10c223 | 838 | ".cranges", /* sh64 */ |
1121584f | 839 | ".zdebug*", /* Compressed debug sections. */ |
019fca84 | 840 | ".GCC-command-line", /* mn10300 */ |
76b27645 | 841 | ".GCC.command.line", /* record-gcc-switches, non mn10300 */ |
4391ed6a SR |
842 | ".mdebug*", /* alpha, score, mips etc. */ |
843 | ".pdr", /* alpha, score, mips etc. */ | |
844 | ".stab*", | |
845 | ".note*", | |
846 | ".got*", | |
847 | ".toc*", | |
af42e970 MF |
848 | ".xt.prop", /* xtensa */ |
849 | ".xt.lit", /* xtensa */ | |
f2e207f3 VG |
850 | ".arcextmap*", /* arc */ |
851 | ".gnu.linkonce.arcext*", /* arc : modules */ | |
4391ed6a SR |
852 | NULL |
853 | }; | |
10668220 | 854 | |
e241a630 | 855 | /* |
b614a697 | 856 | * This is used to find sections missing the SHF_ALLOC flag. |
e241a630 | 857 | * The cause of this is often a section specified in assembler |
b614a697 | 858 | * without "ax" / "aw". |
e241a630 | 859 | */ |
b614a697 AK |
860 | static void check_section(const char *modname, struct elf_info *elf, |
861 | Elf_Shdr *sechdr) | |
e241a630 | 862 | { |
b614a697 AK |
863 | const char *sec = sech_name(elf, sechdr); |
864 | ||
865 | if (sechdr->sh_type == SHT_PROGBITS && | |
866 | !(sechdr->sh_flags & SHF_ALLOC) && | |
867 | !match(sec, section_white_list)) { | |
868 | warn("%s (%s): unexpected non-allocatable section.\n" | |
869 | "Did you forget to use \"ax\"/\"aw\" in a .S file?\n" | |
870 | "Note that for example <linux/init.h> contains\n" | |
871 | "section definitions for use in .S files.\n\n", | |
872 | modname, sec); | |
e241a630 | 873 | } |
e241a630 SR |
874 | } |
875 | ||
876 | ||
877 | ||
eb8f6890 | 878 | #define ALL_INIT_DATA_SECTIONS \ |
e24f6628 PG |
879 | ".init.setup$", ".init.rodata$", ".meminit.rodata$", \ |
880 | ".init.data$", ".meminit.data$" | |
eb8f6890 | 881 | #define ALL_EXIT_DATA_SECTIONS \ |
e24f6628 | 882 | ".exit.data$", ".memexit.data$" |
10668220 | 883 | |
eb8f6890 | 884 | #define ALL_INIT_TEXT_SECTIONS \ |
e24f6628 | 885 | ".init.text$", ".meminit.text$" |
eb8f6890 | 886 | #define ALL_EXIT_TEXT_SECTIONS \ |
e24f6628 | 887 | ".exit.text$", ".memexit.text$" |
10668220 | 888 | |
bb15d8db SAS |
889 | #define ALL_PCI_INIT_SECTIONS \ |
890 | ".pci_fixup_early$", ".pci_fixup_header$", ".pci_fixup_final$", \ | |
891 | ".pci_fixup_enable$", ".pci_fixup_resume$", \ | |
892 | ".pci_fixup_resume_early$", ".pci_fixup_suspend$" | |
893 | ||
e24f6628 PG |
894 | #define ALL_XXXINIT_SECTIONS MEM_INIT_SECTIONS |
895 | #define ALL_XXXEXIT_SECTIONS MEM_EXIT_SECTIONS | |
4a31a229 UKK |
896 | |
897 | #define ALL_INIT_SECTIONS INIT_SECTIONS, ALL_XXXINIT_SECTIONS | |
898 | #define ALL_EXIT_SECTIONS EXIT_SECTIONS, ALL_XXXEXIT_SECTIONS | |
10668220 | 899 | |
6c5bd235 | 900 | #define DATA_SECTIONS ".data$", ".data.rel$" |
06df44ee | 901 | #define TEXT_SECTIONS ".text$", ".text.unlikely$" |
10668220 | 902 | |
fd6c3a8d | 903 | #define INIT_SECTIONS ".init.*" |
fd6c3a8d | 904 | #define MEM_INIT_SECTIONS ".meminit.*" |
eb8f6890 | 905 | |
fd6c3a8d | 906 | #define EXIT_SECTIONS ".exit.*" |
fd6c3a8d | 907 | #define MEM_EXIT_SECTIONS ".memexit.*" |
eb8f6890 | 908 | |
6c5bd235 | 909 | /* init data sections */ |
eb8f6890 | 910 | static const char *init_data_sections[] = { ALL_INIT_DATA_SECTIONS, NULL }; |
6c5bd235 SR |
911 | |
912 | /* all init sections */ | |
eb8f6890 | 913 | static const char *init_sections[] = { ALL_INIT_SECTIONS, NULL }; |
6c5bd235 SR |
914 | |
915 | /* All init and exit sections (code + data) */ | |
916 | static const char *init_exit_sections[] = | |
eb8f6890 | 917 | {ALL_INIT_SECTIONS, ALL_EXIT_SECTIONS, NULL }; |
6c5bd235 SR |
918 | |
919 | /* data section */ | |
920 | static const char *data_sections[] = { DATA_SECTIONS, NULL }; | |
921 | ||
6c5bd235 SR |
922 | |
923 | /* symbols in .data that may refer to init/exit sections */ | |
af92a82d UKK |
924 | #define DEFAULT_SYMBOL_WHITE_LIST \ |
925 | "*driver", \ | |
926 | "*_template", /* scsi uses *_template a lot */ \ | |
927 | "*_timer", /* arm uses ops structures named _timer a lot */ \ | |
928 | "*_sht", /* scsi also used *_sht to some extent */ \ | |
929 | "*_ops", \ | |
930 | "*_probe", \ | |
931 | "*_probe_one", \ | |
932 | "*_console" | |
6c5bd235 SR |
933 | |
934 | static const char *head_sections[] = { ".head.text*", NULL }; | |
935 | static const char *linker_symbols[] = | |
936 | { "__init_begin", "_sinittext", "_einittext", NULL }; | |
937 | ||
588ccd73 | 938 | enum mismatch { |
bbd3f4fb UKK |
939 | TEXT_TO_ANY_INIT, |
940 | DATA_TO_ANY_INIT, | |
941 | TEXT_TO_ANY_EXIT, | |
942 | DATA_TO_ANY_EXIT, | |
943 | XXXINIT_TO_SOME_INIT, | |
944 | XXXEXIT_TO_SOME_EXIT, | |
945 | ANY_INIT_TO_ANY_EXIT, | |
946 | ANY_EXIT_TO_ANY_INIT, | |
588ccd73 SR |
947 | EXPORT_TO_INIT_EXIT, |
948 | }; | |
949 | ||
10668220 SR |
950 | struct sectioncheck { |
951 | const char *fromsec[20]; | |
952 | const char *tosec[20]; | |
588ccd73 | 953 | enum mismatch mismatch; |
af92a82d | 954 | const char *symbol_white_list[20]; |
10668220 SR |
955 | }; |
956 | ||
957 | const struct sectioncheck sectioncheck[] = { | |
958 | /* Do not reference init/exit code/data from | |
959 | * normal code and data | |
960 | */ | |
961 | { | |
588ccd73 SR |
962 | .fromsec = { TEXT_SECTIONS, NULL }, |
963 | .tosec = { ALL_INIT_SECTIONS, NULL }, | |
bbd3f4fb | 964 | .mismatch = TEXT_TO_ANY_INIT, |
af92a82d | 965 | .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL }, |
588ccd73 SR |
966 | }, |
967 | { | |
968 | .fromsec = { DATA_SECTIONS, NULL }, | |
0db25245 | 969 | .tosec = { ALL_XXXINIT_SECTIONS, NULL }, |
bbd3f4fb | 970 | .mismatch = DATA_TO_ANY_INIT, |
af92a82d | 971 | .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL }, |
588ccd73 | 972 | }, |
0db25245 UKK |
973 | { |
974 | .fromsec = { DATA_SECTIONS, NULL }, | |
975 | .tosec = { INIT_SECTIONS, NULL }, | |
976 | .mismatch = DATA_TO_ANY_INIT, | |
977 | .symbol_white_list = { | |
978 | "*_template", "*_timer", "*_sht", "*_ops", | |
979 | "*_probe", "*_probe_one", "*_console", NULL | |
980 | }, | |
981 | }, | |
588ccd73 SR |
982 | { |
983 | .fromsec = { TEXT_SECTIONS, NULL }, | |
984 | .tosec = { ALL_EXIT_SECTIONS, NULL }, | |
bbd3f4fb | 985 | .mismatch = TEXT_TO_ANY_EXIT, |
af92a82d | 986 | .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL }, |
588ccd73 SR |
987 | }, |
988 | { | |
989 | .fromsec = { DATA_SECTIONS, NULL }, | |
990 | .tosec = { ALL_EXIT_SECTIONS, NULL }, | |
bbd3f4fb | 991 | .mismatch = DATA_TO_ANY_EXIT, |
af92a82d | 992 | .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL }, |
eb8f6890 | 993 | }, |
e24f6628 | 994 | /* Do not reference init code/data from meminit code/data */ |
eb8f6890 | 995 | { |
4a31a229 | 996 | .fromsec = { ALL_XXXINIT_SECTIONS, NULL }, |
588ccd73 | 997 | .tosec = { INIT_SECTIONS, NULL }, |
bbd3f4fb | 998 | .mismatch = XXXINIT_TO_SOME_INIT, |
af92a82d | 999 | .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL }, |
eb8f6890 | 1000 | }, |
e24f6628 | 1001 | /* Do not reference exit code/data from memexit code/data */ |
eb8f6890 | 1002 | { |
4a31a229 | 1003 | .fromsec = { ALL_XXXEXIT_SECTIONS, NULL }, |
588ccd73 | 1004 | .tosec = { EXIT_SECTIONS, NULL }, |
bbd3f4fb | 1005 | .mismatch = XXXEXIT_TO_SOME_EXIT, |
af92a82d | 1006 | .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL }, |
10668220 SR |
1007 | }, |
1008 | /* Do not use exit code/data from init code */ | |
1009 | { | |
eb8f6890 SR |
1010 | .fromsec = { ALL_INIT_SECTIONS, NULL }, |
1011 | .tosec = { ALL_EXIT_SECTIONS, NULL }, | |
bbd3f4fb | 1012 | .mismatch = ANY_INIT_TO_ANY_EXIT, |
af92a82d | 1013 | .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL }, |
10668220 SR |
1014 | }, |
1015 | /* Do not use init code/data from exit code */ | |
1016 | { | |
eb8f6890 | 1017 | .fromsec = { ALL_EXIT_SECTIONS, NULL }, |
588ccd73 | 1018 | .tosec = { ALL_INIT_SECTIONS, NULL }, |
bbd3f4fb | 1019 | .mismatch = ANY_EXIT_TO_ANY_INIT, |
af92a82d | 1020 | .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL }, |
10668220 | 1021 | }, |
bb15d8db SAS |
1022 | { |
1023 | .fromsec = { ALL_PCI_INIT_SECTIONS, NULL }, | |
1024 | .tosec = { INIT_SECTIONS, NULL }, | |
1025 | .mismatch = ANY_INIT_TO_ANY_EXIT, | |
1026 | .symbol_white_list = { NULL }, | |
1027 | }, | |
10668220 SR |
1028 | /* Do not export init/exit functions or data */ |
1029 | { | |
1030 | .fromsec = { "__ksymtab*", NULL }, | |
fa95eb1f | 1031 | .tosec = { INIT_SECTIONS, EXIT_SECTIONS, NULL }, |
af92a82d UKK |
1032 | .mismatch = EXPORT_TO_INIT_EXIT, |
1033 | .symbol_white_list = { DEFAULT_SYMBOL_WHITE_LIST, NULL }, | |
10668220 SR |
1034 | } |
1035 | }; | |
1036 | ||
0d2a636e UKK |
1037 | static const struct sectioncheck *section_mismatch( |
1038 | const char *fromsec, const char *tosec) | |
10668220 SR |
1039 | { |
1040 | int i; | |
1041 | int elems = sizeof(sectioncheck) / sizeof(struct sectioncheck); | |
1042 | const struct sectioncheck *check = §ioncheck[0]; | |
1043 | ||
1044 | for (i = 0; i < elems; i++) { | |
1045 | if (match(fromsec, check->fromsec) && | |
1046 | match(tosec, check->tosec)) | |
0d2a636e | 1047 | return check; |
10668220 SR |
1048 | check++; |
1049 | } | |
0d2a636e | 1050 | return NULL; |
10668220 SR |
1051 | } |
1052 | ||
4c8fbca5 SR |
1053 | /** |
1054 | * Whitelist to allow certain references to pass with no warning. | |
0e0d314e | 1055 | * |
4c8fbca5 SR |
1056 | * Pattern 1: |
1057 | * If a module parameter is declared __initdata and permissions=0 | |
1058 | * then this is legal despite the warning generated. | |
1059 | * We cannot see value of permissions here, so just ignore | |
1060 | * this pattern. | |
1061 | * The pattern is identified by: | |
1062 | * tosec = .init.data | |
9209aed0 | 1063 | * fromsec = .data* |
4c8fbca5 | 1064 | * atsym =__param* |
62070fa4 | 1065 | * |
6a841528 RR |
1066 | * Pattern 1a: |
1067 | * module_param_call() ops can refer to __init set function if permissions=0 | |
1068 | * The pattern is identified by: | |
1069 | * tosec = .init.text | |
1070 | * fromsec = .data* | |
1071 | * atsym = __param_ops_* | |
1072 | * | |
4c8fbca5 | 1073 | * Pattern 2: |
72ee59b5 | 1074 | * Many drivers utilise a *driver container with references to |
4c8fbca5 | 1075 | * add, remove, probe functions etc. |
4c8fbca5 | 1076 | * the pattern is identified by: |
83cda2bb SR |
1077 | * tosec = init or exit section |
1078 | * fromsec = data section | |
df578e7d SR |
1079 | * atsym = *driver, *_template, *_sht, *_ops, *_probe, |
1080 | * *probe_one, *_console, *_timer | |
ee6a8545 VG |
1081 | * |
1082 | * Pattern 3: | |
c993971f | 1083 | * Whitelist all references from .head.text to any init section |
9bf8cb9b | 1084 | * |
1d8af559 | 1085 | * Pattern 4: |
ee6a8545 VG |
1086 | * Some symbols belong to init section but still it is ok to reference |
1087 | * these from non-init sections as these symbols don't have any memory | |
1088 | * allocated for them and symbol address and value are same. So even | |
1089 | * if init section is freed, its ok to reference those symbols. | |
1090 | * For ex. symbols marking the init section boundaries. | |
1091 | * This pattern is identified by | |
1092 | * refsymname = __init_begin, _sinittext, _einittext | |
9bf8cb9b | 1093 | * |
4c8fbca5 | 1094 | **/ |
af92a82d UKK |
1095 | static int secref_whitelist(const struct sectioncheck *mismatch, |
1096 | const char *fromsec, const char *fromsym, | |
58fb0d4f | 1097 | const char *tosec, const char *tosym) |
4c8fbca5 | 1098 | { |
4c8fbca5 | 1099 | /* Check for pattern 1 */ |
6c5bd235 SR |
1100 | if (match(tosec, init_data_sections) && |
1101 | match(fromsec, data_sections) && | |
58fb0d4f SR |
1102 | (strncmp(fromsym, "__param", strlen("__param")) == 0)) |
1103 | return 0; | |
4c8fbca5 | 1104 | |
6a841528 RR |
1105 | /* Check for pattern 1a */ |
1106 | if (strcmp(tosec, ".init.text") == 0 && | |
1107 | match(fromsec, data_sections) && | |
1108 | (strncmp(fromsym, "__param_ops_", strlen("__param_ops_")) == 0)) | |
1109 | return 0; | |
1110 | ||
4c8fbca5 | 1111 | /* Check for pattern 2 */ |
6c5bd235 SR |
1112 | if (match(tosec, init_exit_sections) && |
1113 | match(fromsec, data_sections) && | |
af92a82d | 1114 | match(fromsym, mismatch->symbol_white_list)) |
58fb0d4f | 1115 | return 0; |
4c8fbca5 | 1116 | |
9bf8cb9b | 1117 | /* Check for pattern 3 */ |
6c5bd235 SR |
1118 | if (match(fromsec, head_sections) && |
1119 | match(tosec, init_sections)) | |
58fb0d4f | 1120 | return 0; |
9bf8cb9b | 1121 | |
1d8af559 | 1122 | /* Check for pattern 4 */ |
58fb0d4f SR |
1123 | if (match(tosym, linker_symbols)) |
1124 | return 0; | |
9bf8cb9b | 1125 | |
58fb0d4f | 1126 | return 1; |
4c8fbca5 SR |
1127 | } |
1128 | ||
93684d3b SR |
1129 | /** |
1130 | * Find symbol based on relocation record info. | |
1131 | * In some cases the symbol supplied is a valid symbol so | |
1132 | * return refsym. If st_name != 0 we assume this is a valid symbol. | |
1133 | * In other cases the symbol needs to be looked up in the symbol table | |
1134 | * based on section and address. | |
1135 | * **/ | |
9ad21c3f | 1136 | static Elf_Sym *find_elf_symbol(struct elf_info *elf, Elf64_Sword addr, |
93684d3b SR |
1137 | Elf_Sym *relsym) |
1138 | { | |
1139 | Elf_Sym *sym; | |
9ad21c3f SR |
1140 | Elf_Sym *near = NULL; |
1141 | Elf64_Sword distance = 20; | |
1142 | Elf64_Sword d; | |
1ce53adf | 1143 | unsigned int relsym_secindex; |
93684d3b SR |
1144 | |
1145 | if (relsym->st_name != 0) | |
1146 | return relsym; | |
1ce53adf DV |
1147 | |
1148 | relsym_secindex = get_secindex(elf, relsym); | |
93684d3b | 1149 | for (sym = elf->symtab_start; sym < elf->symtab_stop; sym++) { |
1ce53adf | 1150 | if (get_secindex(elf, sym) != relsym_secindex) |
93684d3b | 1151 | continue; |
ae4ac123 AN |
1152 | if (ELF_ST_TYPE(sym->st_info) == STT_SECTION) |
1153 | continue; | |
93684d3b SR |
1154 | if (sym->st_value == addr) |
1155 | return sym; | |
9ad21c3f SR |
1156 | /* Find a symbol nearby - addr are maybe negative */ |
1157 | d = sym->st_value - addr; | |
1158 | if (d < 0) | |
1159 | d = addr - sym->st_value; | |
1160 | if (d < distance) { | |
1161 | distance = d; | |
1162 | near = sym; | |
1163 | } | |
93684d3b | 1164 | } |
9ad21c3f SR |
1165 | /* We need a close match */ |
1166 | if (distance < 20) | |
1167 | return near; | |
1168 | else | |
1169 | return NULL; | |
93684d3b SR |
1170 | } |
1171 | ||
da68d61f DB |
1172 | static inline int is_arm_mapping_symbol(const char *str) |
1173 | { | |
1174 | return str[0] == '$' && strchr("atd", str[1]) | |
1175 | && (str[2] == '\0' || str[2] == '.'); | |
1176 | } | |
1177 | ||
1178 | /* | |
1179 | * If there's no name there, ignore it; likewise, ignore it if it's | |
1180 | * one of the magic symbols emitted used by current ARM tools. | |
1181 | * | |
1182 | * Otherwise if find_symbols_between() returns those symbols, they'll | |
1183 | * fail the whitelist tests and cause lots of false alarms ... fixable | |
1184 | * only by merging __exit and __init sections into __text, bloating | |
1185 | * the kernel (which is especially evil on embedded platforms). | |
1186 | */ | |
1187 | static inline int is_valid_name(struct elf_info *elf, Elf_Sym *sym) | |
1188 | { | |
1189 | const char *name = elf->strtab + sym->st_name; | |
1190 | ||
1191 | if (!name || !strlen(name)) | |
1192 | return 0; | |
1193 | return !is_arm_mapping_symbol(name); | |
1194 | } | |
1195 | ||
b39927cf | 1196 | /* |
43c74d17 SR |
1197 | * Find symbols before or equal addr and after addr - in the section sec. |
1198 | * If we find two symbols with equal offset prefer one with a valid name. | |
1199 | * The ELF format may have a better way to detect what type of symbol | |
1200 | * it is, but this works for now. | |
b39927cf | 1201 | **/ |
157c23c8 SR |
1202 | static Elf_Sym *find_elf_symbol2(struct elf_info *elf, Elf_Addr addr, |
1203 | const char *sec) | |
b39927cf SR |
1204 | { |
1205 | Elf_Sym *sym; | |
157c23c8 | 1206 | Elf_Sym *near = NULL; |
157c23c8 | 1207 | Elf_Addr distance = ~0; |
62070fa4 | 1208 | |
b39927cf SR |
1209 | for (sym = elf->symtab_start; sym < elf->symtab_stop; sym++) { |
1210 | const char *symsec; | |
1211 | ||
1ce53adf | 1212 | if (is_shndx_special(sym->st_shndx)) |
b39927cf | 1213 | continue; |
1ce53adf | 1214 | symsec = sec_name(elf, get_secindex(elf, sym)); |
b39927cf SR |
1215 | if (strcmp(symsec, sec) != 0) |
1216 | continue; | |
da68d61f DB |
1217 | if (!is_valid_name(elf, sym)) |
1218 | continue; | |
b39927cf | 1219 | if (sym->st_value <= addr) { |
157c23c8 SR |
1220 | if ((addr - sym->st_value) < distance) { |
1221 | distance = addr - sym->st_value; | |
1222 | near = sym; | |
1223 | } else if ((addr - sym->st_value) == distance) { | |
1224 | near = sym; | |
43c74d17 | 1225 | } |
b39927cf SR |
1226 | } |
1227 | } | |
157c23c8 | 1228 | return near; |
b39927cf SR |
1229 | } |
1230 | ||
588ccd73 SR |
1231 | /* |
1232 | * Convert a section name to the function/data attribute | |
1233 | * .init.text => __init | |
588ccd73 SR |
1234 | * .memexitconst => __memconst |
1235 | * etc. | |
cbcf14a9 AS |
1236 | * |
1237 | * The memory of returned value has been allocated on a heap. The user of this | |
1238 | * method should free it after usage. | |
588ccd73 SR |
1239 | */ |
1240 | static char *sec2annotation(const char *s) | |
1241 | { | |
1242 | if (match(s, init_exit_sections)) { | |
1243 | char *p = malloc(20); | |
1244 | char *r = p; | |
1245 | ||
1246 | *p++ = '_'; | |
1247 | *p++ = '_'; | |
1248 | if (*s == '.') | |
1249 | s++; | |
1250 | while (*s && *s != '.') | |
1251 | *p++ = *s++; | |
1252 | *p = '\0'; | |
1253 | if (*s == '.') | |
1254 | s++; | |
1255 | if (strstr(s, "rodata") != NULL) | |
1256 | strcat(p, "const "); | |
1257 | else if (strstr(s, "data") != NULL) | |
1258 | strcat(p, "data "); | |
1259 | else | |
1260 | strcat(p, " "); | |
cbcf14a9 | 1261 | return r; |
588ccd73 | 1262 | } else { |
5003bab8 | 1263 | return strdup(""); |
588ccd73 SR |
1264 | } |
1265 | } | |
1266 | ||
1267 | static int is_function(Elf_Sym *sym) | |
1268 | { | |
1269 | if (sym) | |
1270 | return ELF_ST_TYPE(sym->st_info) == STT_FUNC; | |
1271 | else | |
f666751a | 1272 | return -1; |
588ccd73 SR |
1273 | } |
1274 | ||
00759c0e RD |
1275 | static void print_section_list(const char * const list[20]) |
1276 | { | |
1277 | const char *const *s = list; | |
1278 | ||
1279 | while (*s) { | |
1280 | fprintf(stderr, "%s", *s); | |
1281 | s++; | |
1282 | if (*s) | |
1283 | fprintf(stderr, ", "); | |
1284 | } | |
1285 | fprintf(stderr, "\n"); | |
1286 | } | |
1287 | ||
58fb0d4f | 1288 | /* |
b39927cf SR |
1289 | * Print a warning about a section mismatch. |
1290 | * Try to find symbols near it so user can find it. | |
4c8fbca5 | 1291 | * Check whitelist before warning - it may be a false positive. |
58fb0d4f | 1292 | */ |
0d2a636e UKK |
1293 | static void report_sec_mismatch(const char *modname, |
1294 | const struct sectioncheck *mismatch, | |
58fb0d4f SR |
1295 | const char *fromsec, |
1296 | unsigned long long fromaddr, | |
1297 | const char *fromsym, | |
588ccd73 SR |
1298 | int from_is_func, |
1299 | const char *tosec, const char *tosym, | |
1300 | int to_is_func) | |
1301 | { | |
1302 | const char *from, *from_p; | |
1303 | const char *to, *to_p; | |
37ed19d5 AF |
1304 | char *prl_from; |
1305 | char *prl_to; | |
f666751a SR |
1306 | |
1307 | switch (from_is_func) { | |
1308 | case 0: from = "variable"; from_p = ""; break; | |
1309 | case 1: from = "function"; from_p = "()"; break; | |
1310 | default: from = "(unknown reference)"; from_p = ""; break; | |
1311 | } | |
1312 | switch (to_is_func) { | |
1313 | case 0: to = "variable"; to_p = ""; break; | |
1314 | case 1: to = "function"; to_p = "()"; break; | |
1315 | default: to = "(unknown reference)"; to_p = ""; break; | |
1316 | } | |
588ccd73 | 1317 | |
e5f95c8b SR |
1318 | sec_mismatch_count++; |
1319 | if (!sec_mismatch_verbose) | |
1320 | return; | |
1321 | ||
7c0ac495 GU |
1322 | warn("%s(%s+0x%llx): Section mismatch in reference from the %s %s%s " |
1323 | "to the %s %s:%s%s\n", | |
1324 | modname, fromsec, fromaddr, from, fromsym, from_p, to, tosec, | |
1325 | tosym, to_p); | |
588ccd73 | 1326 | |
0d2a636e | 1327 | switch (mismatch->mismatch) { |
bbd3f4fb | 1328 | case TEXT_TO_ANY_INIT: |
37ed19d5 AF |
1329 | prl_from = sec2annotation(fromsec); |
1330 | prl_to = sec2annotation(tosec); | |
588ccd73 | 1331 | fprintf(stderr, |
f666751a | 1332 | "The function %s%s() references\n" |
588ccd73 SR |
1333 | "the %s %s%s%s.\n" |
1334 | "This is often because %s lacks a %s\n" | |
1335 | "annotation or the annotation of %s is wrong.\n", | |
37ed19d5 AF |
1336 | prl_from, fromsym, |
1337 | to, prl_to, tosym, to_p, | |
1338 | fromsym, prl_to, tosym); | |
1339 | free(prl_from); | |
1340 | free(prl_to); | |
588ccd73 | 1341 | break; |
bbd3f4fb | 1342 | case DATA_TO_ANY_INIT: { |
37ed19d5 | 1343 | prl_to = sec2annotation(tosec); |
588ccd73 SR |
1344 | fprintf(stderr, |
1345 | "The variable %s references\n" | |
1346 | "the %s %s%s%s\n" | |
1347 | "If the reference is valid then annotate the\n" | |
8b8b76c0 | 1348 | "variable with __init* or __refdata (see linux/init.h) " |
588ccd73 | 1349 | "or name the variable:\n", |
37ed19d5 | 1350 | fromsym, to, prl_to, tosym, to_p); |
00759c0e | 1351 | print_section_list(mismatch->symbol_white_list); |
37ed19d5 | 1352 | free(prl_to); |
588ccd73 | 1353 | break; |
58fb0d4f | 1354 | } |
bbd3f4fb | 1355 | case TEXT_TO_ANY_EXIT: |
37ed19d5 | 1356 | prl_to = sec2annotation(tosec); |
588ccd73 SR |
1357 | fprintf(stderr, |
1358 | "The function %s() references a %s in an exit section.\n" | |
1359 | "Often the %s %s%s has valid usage outside the exit section\n" | |
1360 | "and the fix is to remove the %sannotation of %s.\n", | |
37ed19d5 AF |
1361 | fromsym, to, to, tosym, to_p, prl_to, tosym); |
1362 | free(prl_to); | |
588ccd73 | 1363 | break; |
bbd3f4fb | 1364 | case DATA_TO_ANY_EXIT: { |
37ed19d5 | 1365 | prl_to = sec2annotation(tosec); |
588ccd73 SR |
1366 | fprintf(stderr, |
1367 | "The variable %s references\n" | |
1368 | "the %s %s%s%s\n" | |
1369 | "If the reference is valid then annotate the\n" | |
1370 | "variable with __exit* (see linux/init.h) or " | |
1371 | "name the variable:\n", | |
37ed19d5 | 1372 | fromsym, to, prl_to, tosym, to_p); |
00759c0e | 1373 | print_section_list(mismatch->symbol_white_list); |
37ed19d5 | 1374 | free(prl_to); |
588ccd73 SR |
1375 | break; |
1376 | } | |
bbd3f4fb UKK |
1377 | case XXXINIT_TO_SOME_INIT: |
1378 | case XXXEXIT_TO_SOME_EXIT: | |
37ed19d5 AF |
1379 | prl_from = sec2annotation(fromsec); |
1380 | prl_to = sec2annotation(tosec); | |
588ccd73 SR |
1381 | fprintf(stderr, |
1382 | "The %s %s%s%s references\n" | |
1383 | "a %s %s%s%s.\n" | |
1384 | "If %s is only used by %s then\n" | |
1385 | "annotate %s with a matching annotation.\n", | |
37ed19d5 AF |
1386 | from, prl_from, fromsym, from_p, |
1387 | to, prl_to, tosym, to_p, | |
b1d2675a | 1388 | tosym, fromsym, tosym); |
37ed19d5 AF |
1389 | free(prl_from); |
1390 | free(prl_to); | |
588ccd73 | 1391 | break; |
bbd3f4fb | 1392 | case ANY_INIT_TO_ANY_EXIT: |
37ed19d5 AF |
1393 | prl_from = sec2annotation(fromsec); |
1394 | prl_to = sec2annotation(tosec); | |
588ccd73 SR |
1395 | fprintf(stderr, |
1396 | "The %s %s%s%s references\n" | |
1397 | "a %s %s%s%s.\n" | |
1398 | "This is often seen when error handling " | |
1399 | "in the init function\n" | |
1400 | "uses functionality in the exit path.\n" | |
1401 | "The fix is often to remove the %sannotation of\n" | |
1402 | "%s%s so it may be used outside an exit section.\n", | |
37ed19d5 AF |
1403 | from, prl_from, fromsym, from_p, |
1404 | to, prl_to, tosym, to_p, | |
5003bab8 | 1405 | prl_to, tosym, to_p); |
37ed19d5 AF |
1406 | free(prl_from); |
1407 | free(prl_to); | |
588ccd73 | 1408 | break; |
bbd3f4fb | 1409 | case ANY_EXIT_TO_ANY_INIT: |
37ed19d5 AF |
1410 | prl_from = sec2annotation(fromsec); |
1411 | prl_to = sec2annotation(tosec); | |
588ccd73 SR |
1412 | fprintf(stderr, |
1413 | "The %s %s%s%s references\n" | |
1414 | "a %s %s%s%s.\n" | |
1415 | "This is often seen when error handling " | |
1416 | "in the exit function\n" | |
1417 | "uses functionality in the init path.\n" | |
1418 | "The fix is often to remove the %sannotation of\n" | |
1419 | "%s%s so it may be used outside an init section.\n", | |
37ed19d5 AF |
1420 | from, prl_from, fromsym, from_p, |
1421 | to, prl_to, tosym, to_p, | |
1422 | prl_to, tosym, to_p); | |
1423 | free(prl_from); | |
1424 | free(prl_to); | |
588ccd73 SR |
1425 | break; |
1426 | case EXPORT_TO_INIT_EXIT: | |
37ed19d5 | 1427 | prl_to = sec2annotation(tosec); |
588ccd73 SR |
1428 | fprintf(stderr, |
1429 | "The symbol %s is exported and annotated %s\n" | |
1430 | "Fix this by removing the %sannotation of %s " | |
1431 | "or drop the export.\n", | |
37ed19d5 AF |
1432 | tosym, prl_to, prl_to, tosym); |
1433 | free(prl_to); | |
588ccd73 SR |
1434 | break; |
1435 | } | |
1436 | fprintf(stderr, "\n"); | |
58fb0d4f SR |
1437 | } |
1438 | ||
1439 | static void check_section_mismatch(const char *modname, struct elf_info *elf, | |
1440 | Elf_Rela *r, Elf_Sym *sym, const char *fromsec) | |
1441 | { | |
1442 | const char *tosec; | |
0d2a636e | 1443 | const struct sectioncheck *mismatch; |
58fb0d4f | 1444 | |
1ce53adf | 1445 | tosec = sec_name(elf, get_secindex(elf, sym)); |
588ccd73 | 1446 | mismatch = section_mismatch(fromsec, tosec); |
0d2a636e | 1447 | if (mismatch) { |
588ccd73 SR |
1448 | Elf_Sym *to; |
1449 | Elf_Sym *from; | |
58fb0d4f | 1450 | const char *tosym; |
588ccd73 | 1451 | const char *fromsym; |
58fb0d4f | 1452 | |
588ccd73 SR |
1453 | from = find_elf_symbol2(elf, r->r_offset, fromsec); |
1454 | fromsym = sym_name(elf, from); | |
1455 | to = find_elf_symbol(elf, r->r_addend, sym); | |
1456 | tosym = sym_name(elf, to); | |
58fb0d4f SR |
1457 | |
1458 | /* check whitelist - we may ignore it */ | |
af92a82d UKK |
1459 | if (secref_whitelist(mismatch, |
1460 | fromsec, fromsym, tosec, tosym)) { | |
588ccd73 SR |
1461 | report_sec_mismatch(modname, mismatch, |
1462 | fromsec, r->r_offset, fromsym, | |
1463 | is_function(from), tosec, tosym, | |
1464 | is_function(to)); | |
58fb0d4f | 1465 | } |
b39927cf SR |
1466 | } |
1467 | } | |
1468 | ||
ae4ac123 | 1469 | static unsigned int *reloc_location(struct elf_info *elf, |
5b24c071 | 1470 | Elf_Shdr *sechdr, Elf_Rela *r) |
ae4ac123 AN |
1471 | { |
1472 | Elf_Shdr *sechdrs = elf->sechdrs; | |
6845756b | 1473 | int section = sechdr->sh_info; |
ae4ac123 AN |
1474 | |
1475 | return (void *)elf->hdr + sechdrs[section].sh_offset + | |
731ece41 | 1476 | r->r_offset; |
ae4ac123 AN |
1477 | } |
1478 | ||
5b24c071 | 1479 | static int addend_386_rel(struct elf_info *elf, Elf_Shdr *sechdr, Elf_Rela *r) |
ae4ac123 AN |
1480 | { |
1481 | unsigned int r_typ = ELF_R_TYPE(r->r_info); | |
5b24c071 | 1482 | unsigned int *location = reloc_location(elf, sechdr, r); |
ae4ac123 AN |
1483 | |
1484 | switch (r_typ) { | |
1485 | case R_386_32: | |
1486 | r->r_addend = TO_NATIVE(*location); | |
1487 | break; | |
1488 | case R_386_PC32: | |
1489 | r->r_addend = TO_NATIVE(*location) + 4; | |
1490 | /* For CONFIG_RELOCATABLE=y */ | |
1491 | if (elf->hdr->e_type == ET_EXEC) | |
1492 | r->r_addend += r->r_offset; | |
1493 | break; | |
1494 | } | |
1495 | return 0; | |
1496 | } | |
1497 | ||
6e2e340b TL |
1498 | #ifndef R_ARM_CALL |
1499 | #define R_ARM_CALL 28 | |
1500 | #endif | |
1501 | #ifndef R_ARM_JUMP24 | |
1502 | #define R_ARM_JUMP24 29 | |
1503 | #endif | |
1504 | ||
c9698e5c DL |
1505 | #ifndef R_ARM_THM_CALL |
1506 | #define R_ARM_THM_CALL 10 | |
1507 | #endif | |
1508 | #ifndef R_ARM_THM_JUMP24 | |
1509 | #define R_ARM_THM_JUMP24 30 | |
1510 | #endif | |
1511 | #ifndef R_ARM_THM_JUMP19 | |
1512 | #define R_ARM_THM_JUMP19 51 | |
1513 | #endif | |
1514 | ||
5b24c071 | 1515 | static int addend_arm_rel(struct elf_info *elf, Elf_Shdr *sechdr, Elf_Rela *r) |
56a974fa SR |
1516 | { |
1517 | unsigned int r_typ = ELF_R_TYPE(r->r_info); | |
1518 | ||
1519 | switch (r_typ) { | |
1520 | case R_ARM_ABS32: | |
1521 | /* From ARM ABI: (S + A) | T */ | |
df578e7d SR |
1522 | r->r_addend = (int)(long) |
1523 | (elf->symtab_start + ELF_R_SYM(r->r_info)); | |
56a974fa SR |
1524 | break; |
1525 | case R_ARM_PC24: | |
6e2e340b TL |
1526 | case R_ARM_CALL: |
1527 | case R_ARM_JUMP24: | |
c9698e5c DL |
1528 | case R_ARM_THM_CALL: |
1529 | case R_ARM_THM_JUMP24: | |
1530 | case R_ARM_THM_JUMP19: | |
56a974fa | 1531 | /* From ARM ABI: ((S + A) | T) - P */ |
df578e7d | 1532 | r->r_addend = (int)(long)(elf->hdr + |
5b24c071 SR |
1533 | sechdr->sh_offset + |
1534 | (r->r_offset - sechdr->sh_addr)); | |
56a974fa SR |
1535 | break; |
1536 | default: | |
1537 | return 1; | |
1538 | } | |
1539 | return 0; | |
1540 | } | |
1541 | ||
5b24c071 | 1542 | static int addend_mips_rel(struct elf_info *elf, Elf_Shdr *sechdr, Elf_Rela *r) |
ae4ac123 AN |
1543 | { |
1544 | unsigned int r_typ = ELF_R_TYPE(r->r_info); | |
5b24c071 | 1545 | unsigned int *location = reloc_location(elf, sechdr, r); |
ae4ac123 AN |
1546 | unsigned int inst; |
1547 | ||
1548 | if (r_typ == R_MIPS_HI16) | |
1549 | return 1; /* skip this */ | |
1550 | inst = TO_NATIVE(*location); | |
1551 | switch (r_typ) { | |
1552 | case R_MIPS_LO16: | |
1553 | r->r_addend = inst & 0xffff; | |
1554 | break; | |
1555 | case R_MIPS_26: | |
1556 | r->r_addend = (inst & 0x03ffffff) << 2; | |
1557 | break; | |
1558 | case R_MIPS_32: | |
1559 | r->r_addend = inst; | |
1560 | break; | |
1561 | } | |
1562 | return 0; | |
1563 | } | |
1564 | ||
5b24c071 | 1565 | static void section_rela(const char *modname, struct elf_info *elf, |
10668220 | 1566 | Elf_Shdr *sechdr) |
5b24c071 SR |
1567 | { |
1568 | Elf_Sym *sym; | |
1569 | Elf_Rela *rela; | |
1570 | Elf_Rela r; | |
1571 | unsigned int r_sym; | |
1572 | const char *fromsec; | |
5b24c071 | 1573 | |
ff13f926 | 1574 | Elf_Rela *start = (void *)elf->hdr + sechdr->sh_offset; |
5b24c071 SR |
1575 | Elf_Rela *stop = (void *)start + sechdr->sh_size; |
1576 | ||
ff13f926 | 1577 | fromsec = sech_name(elf, sechdr); |
5b24c071 SR |
1578 | fromsec += strlen(".rela"); |
1579 | /* if from section (name) is know good then skip it */ | |
b614a697 | 1580 | if (match(fromsec, section_white_list)) |
5b24c071 | 1581 | return; |
e241a630 | 1582 | |
5b24c071 SR |
1583 | for (rela = start; rela < stop; rela++) { |
1584 | r.r_offset = TO_NATIVE(rela->r_offset); | |
1585 | #if KERNEL_ELFCLASS == ELFCLASS64 | |
ff13f926 | 1586 | if (elf->hdr->e_machine == EM_MIPS) { |
5b24c071 SR |
1587 | unsigned int r_typ; |
1588 | r_sym = ELF64_MIPS_R_SYM(rela->r_info); | |
1589 | r_sym = TO_NATIVE(r_sym); | |
1590 | r_typ = ELF64_MIPS_R_TYPE(rela->r_info); | |
1591 | r.r_info = ELF64_R_INFO(r_sym, r_typ); | |
1592 | } else { | |
1593 | r.r_info = TO_NATIVE(rela->r_info); | |
1594 | r_sym = ELF_R_SYM(r.r_info); | |
1595 | } | |
1596 | #else | |
1597 | r.r_info = TO_NATIVE(rela->r_info); | |
1598 | r_sym = ELF_R_SYM(r.r_info); | |
1599 | #endif | |
1600 | r.r_addend = TO_NATIVE(rela->r_addend); | |
1601 | sym = elf->symtab_start + r_sym; | |
1602 | /* Skip special sections */ | |
1ce53adf | 1603 | if (is_shndx_special(sym->st_shndx)) |
5b24c071 | 1604 | continue; |
58fb0d4f | 1605 | check_section_mismatch(modname, elf, &r, sym, fromsec); |
5b24c071 SR |
1606 | } |
1607 | } | |
1608 | ||
1609 | static void section_rel(const char *modname, struct elf_info *elf, | |
10668220 | 1610 | Elf_Shdr *sechdr) |
5b24c071 SR |
1611 | { |
1612 | Elf_Sym *sym; | |
1613 | Elf_Rel *rel; | |
1614 | Elf_Rela r; | |
1615 | unsigned int r_sym; | |
1616 | const char *fromsec; | |
5b24c071 | 1617 | |
ff13f926 | 1618 | Elf_Rel *start = (void *)elf->hdr + sechdr->sh_offset; |
5b24c071 SR |
1619 | Elf_Rel *stop = (void *)start + sechdr->sh_size; |
1620 | ||
ff13f926 | 1621 | fromsec = sech_name(elf, sechdr); |
5b24c071 SR |
1622 | fromsec += strlen(".rel"); |
1623 | /* if from section (name) is know good then skip it */ | |
b614a697 | 1624 | if (match(fromsec, section_white_list)) |
5b24c071 SR |
1625 | return; |
1626 | ||
1627 | for (rel = start; rel < stop; rel++) { | |
1628 | r.r_offset = TO_NATIVE(rel->r_offset); | |
1629 | #if KERNEL_ELFCLASS == ELFCLASS64 | |
ff13f926 | 1630 | if (elf->hdr->e_machine == EM_MIPS) { |
5b24c071 SR |
1631 | unsigned int r_typ; |
1632 | r_sym = ELF64_MIPS_R_SYM(rel->r_info); | |
1633 | r_sym = TO_NATIVE(r_sym); | |
1634 | r_typ = ELF64_MIPS_R_TYPE(rel->r_info); | |
1635 | r.r_info = ELF64_R_INFO(r_sym, r_typ); | |
1636 | } else { | |
1637 | r.r_info = TO_NATIVE(rel->r_info); | |
1638 | r_sym = ELF_R_SYM(r.r_info); | |
1639 | } | |
1640 | #else | |
1641 | r.r_info = TO_NATIVE(rel->r_info); | |
1642 | r_sym = ELF_R_SYM(r.r_info); | |
1643 | #endif | |
1644 | r.r_addend = 0; | |
ff13f926 | 1645 | switch (elf->hdr->e_machine) { |
5b24c071 SR |
1646 | case EM_386: |
1647 | if (addend_386_rel(elf, sechdr, &r)) | |
1648 | continue; | |
1649 | break; | |
1650 | case EM_ARM: | |
1651 | if (addend_arm_rel(elf, sechdr, &r)) | |
1652 | continue; | |
1653 | break; | |
1654 | case EM_MIPS: | |
1655 | if (addend_mips_rel(elf, sechdr, &r)) | |
1656 | continue; | |
1657 | break; | |
1658 | } | |
1659 | sym = elf->symtab_start + r_sym; | |
1660 | /* Skip special sections */ | |
1ce53adf | 1661 | if (is_shndx_special(sym->st_shndx)) |
5b24c071 | 1662 | continue; |
58fb0d4f | 1663 | check_section_mismatch(modname, elf, &r, sym, fromsec); |
5b24c071 SR |
1664 | } |
1665 | } | |
1666 | ||
b39927cf SR |
1667 | /** |
1668 | * A module includes a number of sections that are discarded | |
1669 | * either when loaded or when used as built-in. | |
1670 | * For loaded modules all functions marked __init and all data | |
b595076a | 1671 | * marked __initdata will be discarded when the module has been initialized. |
b39927cf SR |
1672 | * Likewise for modules used built-in the sections marked __exit |
1673 | * are discarded because __exit marked function are supposed to be called | |
32be1d22 | 1674 | * only when a module is unloaded which never happens for built-in modules. |
b39927cf SR |
1675 | * The check_sec_ref() function traverses all relocation records |
1676 | * to find all references to a section that reference a section that will | |
1677 | * be discarded and warns about it. | |
1678 | **/ | |
1679 | static void check_sec_ref(struct module *mod, const char *modname, | |
10668220 | 1680 | struct elf_info *elf) |
b39927cf SR |
1681 | { |
1682 | int i; | |
b39927cf | 1683 | Elf_Shdr *sechdrs = elf->sechdrs; |
62070fa4 | 1684 | |
b39927cf | 1685 | /* Walk through all sections */ |
1ce53adf | 1686 | for (i = 0; i < elf->num_sections; i++) { |
b614a697 | 1687 | check_section(modname, elf, &elf->sechdrs[i]); |
b39927cf | 1688 | /* We want to process only relocation sections and not .init */ |
5b24c071 | 1689 | if (sechdrs[i].sh_type == SHT_RELA) |
10668220 | 1690 | section_rela(modname, elf, &elf->sechdrs[i]); |
5b24c071 | 1691 | else if (sechdrs[i].sh_type == SHT_REL) |
10668220 | 1692 | section_rel(modname, elf, &elf->sechdrs[i]); |
b39927cf SR |
1693 | } |
1694 | } | |
1695 | ||
5c3ead8c | 1696 | static void read_symbols(char *modname) |
1da177e4 LT |
1697 | { |
1698 | const char *symname; | |
1699 | char *version; | |
b817f6fe | 1700 | char *license; |
1da177e4 LT |
1701 | struct module *mod; |
1702 | struct elf_info info = { }; | |
1703 | Elf_Sym *sym; | |
1704 | ||
85bd2fdd SR |
1705 | if (!parse_elf(&info, modname)) |
1706 | return; | |
1da177e4 LT |
1707 | |
1708 | mod = new_module(modname); | |
1709 | ||
1710 | /* When there's no vmlinux, don't print warnings about | |
1711 | * unresolved symbols (since there'll be too many ;) */ | |
1712 | if (is_vmlinux(modname)) { | |
1da177e4 | 1713 | have_vmlinux = 1; |
1da177e4 LT |
1714 | mod->skip = 1; |
1715 | } | |
1716 | ||
b817f6fe | 1717 | license = get_modinfo(info.modinfo, info.modinfo_len, "license"); |
2fa36568 SR |
1718 | if (info.modinfo && !license && !is_vmlinux(modname)) |
1719 | warn("modpost: missing MODULE_LICENSE() in %s\n" | |
1720 | "see include/linux/module.h for " | |
1721 | "more information\n", modname); | |
b817f6fe SR |
1722 | while (license) { |
1723 | if (license_is_gpl_compatible(license)) | |
1724 | mod->gpl_compatible = 1; | |
1725 | else { | |
1726 | mod->gpl_compatible = 0; | |
1727 | break; | |
1728 | } | |
1729 | license = get_next_modinfo(info.modinfo, info.modinfo_len, | |
1730 | "license", license); | |
1731 | } | |
1732 | ||
1da177e4 LT |
1733 | for (sym = info.symtab_start; sym < info.symtab_stop; sym++) { |
1734 | symname = info.strtab + sym->st_name; | |
1735 | ||
1736 | handle_modversions(mod, &info, sym, symname); | |
1737 | handle_moddevtable(mod, &info, sym, symname); | |
1738 | } | |
d1f25e66 | 1739 | if (!is_vmlinux(modname) || |
10668220 SR |
1740 | (is_vmlinux(modname) && vmlinux_section_warnings)) |
1741 | check_sec_ref(mod, modname, &info); | |
1da177e4 LT |
1742 | |
1743 | version = get_modinfo(info.modinfo, info.modinfo_len, "version"); | |
1744 | if (version) | |
1745 | maybe_frob_rcs_version(modname, version, info.modinfo, | |
1746 | version - (char *)info.hdr); | |
1747 | if (version || (all_versions && !is_vmlinux(modname))) | |
1748 | get_src_version(modname, mod->srcversion, | |
1749 | sizeof(mod->srcversion)-1); | |
1750 | ||
1751 | parse_elf_finish(&info); | |
1752 | ||
8c8ef42a | 1753 | /* Our trick to get versioning for module struct etc. - it's |
1da177e4 LT |
1754 | * never passed as an argument to an exported function, so |
1755 | * the automatic versioning doesn't pick it up, but it's really | |
1756 | * important anyhow */ | |
1757 | if (modversions) | |
8c8ef42a | 1758 | mod->unres = alloc_symbol("module_layout", 0, mod->unres); |
1da177e4 LT |
1759 | } |
1760 | ||
712f9b46 RR |
1761 | static void read_symbols_from_files(const char *filename) |
1762 | { | |
1763 | FILE *in = stdin; | |
1764 | char fname[PATH_MAX]; | |
1765 | ||
1766 | if (strcmp(filename, "-") != 0) { | |
1767 | in = fopen(filename, "r"); | |
1768 | if (!in) | |
1769 | fatal("Can't open filenames file %s: %m", filename); | |
1770 | } | |
1771 | ||
1772 | while (fgets(fname, PATH_MAX, in) != NULL) { | |
1773 | if (strends(fname, "\n")) | |
1774 | fname[strlen(fname)-1] = '\0'; | |
1775 | read_symbols(fname); | |
1776 | } | |
1777 | ||
1778 | if (in != stdin) | |
1779 | fclose(in); | |
1780 | } | |
1781 | ||
1da177e4 LT |
1782 | #define SZ 500 |
1783 | ||
1784 | /* We first write the generated file into memory using the | |
1785 | * following helper, then compare to the file on disk and | |
1786 | * only update the later if anything changed */ | |
1787 | ||
5c3ead8c SR |
1788 | void __attribute__((format(printf, 2, 3))) buf_printf(struct buffer *buf, |
1789 | const char *fmt, ...) | |
1da177e4 LT |
1790 | { |
1791 | char tmp[SZ]; | |
1792 | int len; | |
1793 | va_list ap; | |
62070fa4 | 1794 | |
1da177e4 LT |
1795 | va_start(ap, fmt); |
1796 | len = vsnprintf(tmp, SZ, fmt, ap); | |
7670f023 | 1797 | buf_write(buf, tmp, len); |
1da177e4 LT |
1798 | va_end(ap); |
1799 | } | |
1800 | ||
5c3ead8c | 1801 | void buf_write(struct buffer *buf, const char *s, int len) |
1da177e4 LT |
1802 | { |
1803 | if (buf->size - buf->pos < len) { | |
7670f023 | 1804 | buf->size += len + SZ; |
1da177e4 LT |
1805 | buf->p = realloc(buf->p, buf->size); |
1806 | } | |
1807 | strncpy(buf->p + buf->pos, s, len); | |
1808 | buf->pos += len; | |
1809 | } | |
1810 | ||
c96fca21 SR |
1811 | static void check_for_gpl_usage(enum export exp, const char *m, const char *s) |
1812 | { | |
1813 | const char *e = is_vmlinux(m) ?"":".ko"; | |
1814 | ||
1815 | switch (exp) { | |
1816 | case export_gpl: | |
1817 | fatal("modpost: GPL-incompatible module %s%s " | |
1818 | "uses GPL-only symbol '%s'\n", m, e, s); | |
1819 | break; | |
1820 | case export_unused_gpl: | |
1821 | fatal("modpost: GPL-incompatible module %s%s " | |
1822 | "uses GPL-only symbol marked UNUSED '%s'\n", m, e, s); | |
1823 | break; | |
1824 | case export_gpl_future: | |
1825 | warn("modpost: GPL-incompatible module %s%s " | |
1826 | "uses future GPL-only symbol '%s'\n", m, e, s); | |
1827 | break; | |
1828 | case export_plain: | |
1829 | case export_unused: | |
1830 | case export_unknown: | |
1831 | /* ignore */ | |
1832 | break; | |
1833 | } | |
1834 | } | |
1835 | ||
df578e7d | 1836 | static void check_for_unused(enum export exp, const char *m, const char *s) |
c96fca21 SR |
1837 | { |
1838 | const char *e = is_vmlinux(m) ?"":".ko"; | |
1839 | ||
1840 | switch (exp) { | |
1841 | case export_unused: | |
1842 | case export_unused_gpl: | |
1843 | warn("modpost: module %s%s " | |
1844 | "uses symbol '%s' marked UNUSED\n", m, e, s); | |
1845 | break; | |
1846 | default: | |
1847 | /* ignore */ | |
1848 | break; | |
1849 | } | |
1850 | } | |
1851 | ||
1852 | static void check_exports(struct module *mod) | |
b817f6fe SR |
1853 | { |
1854 | struct symbol *s, *exp; | |
1855 | ||
1856 | for (s = mod->unres; s; s = s->next) { | |
6449bd62 | 1857 | const char *basename; |
b817f6fe SR |
1858 | exp = find_symbol(s->name); |
1859 | if (!exp || exp->module == mod) | |
1860 | continue; | |
6449bd62 | 1861 | basename = strrchr(mod->name, '/'); |
b817f6fe SR |
1862 | if (basename) |
1863 | basename++; | |
c96fca21 SR |
1864 | else |
1865 | basename = mod->name; | |
1866 | if (!mod->gpl_compatible) | |
1867 | check_for_gpl_usage(exp->export, basename, exp->name); | |
1868 | check_for_unused(exp->export, basename, exp->name); | |
df578e7d | 1869 | } |
b817f6fe SR |
1870 | } |
1871 | ||
5c3ead8c SR |
1872 | /** |
1873 | * Header for the generated file | |
1874 | **/ | |
1875 | static void add_header(struct buffer *b, struct module *mod) | |
1da177e4 LT |
1876 | { |
1877 | buf_printf(b, "#include <linux/module.h>\n"); | |
1878 | buf_printf(b, "#include <linux/vermagic.h>\n"); | |
1879 | buf_printf(b, "#include <linux/compiler.h>\n"); | |
1880 | buf_printf(b, "\n"); | |
1881 | buf_printf(b, "MODULE_INFO(vermagic, VERMAGIC_STRING);\n"); | |
1882 | buf_printf(b, "\n"); | |
e0f244c6 | 1883 | buf_printf(b, "__visible struct module __this_module\n"); |
1da177e4 | 1884 | buf_printf(b, "__attribute__((section(\".gnu.linkonce.this_module\"))) = {\n"); |
3c7ec94d | 1885 | buf_printf(b, "\t.name = KBUILD_MODNAME,\n"); |
1da177e4 | 1886 | if (mod->has_init) |
3c7ec94d | 1887 | buf_printf(b, "\t.init = init_module,\n"); |
1da177e4 LT |
1888 | if (mod->has_cleanup) |
1889 | buf_printf(b, "#ifdef CONFIG_MODULE_UNLOAD\n" | |
3c7ec94d | 1890 | "\t.exit = cleanup_module,\n" |
1da177e4 | 1891 | "#endif\n"); |
3c7ec94d | 1892 | buf_printf(b, "\t.arch = MODULE_ARCH_INIT,\n"); |
1da177e4 LT |
1893 | buf_printf(b, "};\n"); |
1894 | } | |
1895 | ||
2449b8ba BH |
1896 | static void add_intree_flag(struct buffer *b, int is_intree) |
1897 | { | |
1898 | if (is_intree) | |
1899 | buf_printf(b, "\nMODULE_INFO(intree, \"Y\");\n"); | |
1900 | } | |
1901 | ||
5c725138 | 1902 | static void add_staging_flag(struct buffer *b, const char *name) |
a9860bf0 GKH |
1903 | { |
1904 | static const char *staging_dir = "drivers/staging"; | |
1905 | ||
1906 | if (strncmp(staging_dir, name, strlen(staging_dir)) == 0) | |
1907 | buf_printf(b, "\nMODULE_INFO(staging, \"Y\");\n"); | |
1908 | } | |
1909 | ||
5c3ead8c SR |
1910 | /** |
1911 | * Record CRCs for unresolved symbols | |
1912 | **/ | |
c53ddacd | 1913 | static int add_versions(struct buffer *b, struct module *mod) |
1da177e4 LT |
1914 | { |
1915 | struct symbol *s, *exp; | |
c53ddacd | 1916 | int err = 0; |
1da177e4 LT |
1917 | |
1918 | for (s = mod->unres; s; s = s->next) { | |
1919 | exp = find_symbol(s->name); | |
1920 | if (!exp || exp->module == mod) { | |
c53ddacd | 1921 | if (have_vmlinux && !s->weak) { |
2a116659 MW |
1922 | if (warn_unresolved) { |
1923 | warn("\"%s\" [%s.ko] undefined!\n", | |
1924 | s->name, mod->name); | |
1925 | } else { | |
1926 | merror("\"%s\" [%s.ko] undefined!\n", | |
1927 | s->name, mod->name); | |
1928 | err = 1; | |
1929 | } | |
c53ddacd | 1930 | } |
1da177e4 LT |
1931 | continue; |
1932 | } | |
1933 | s->module = exp->module; | |
1934 | s->crc_valid = exp->crc_valid; | |
1935 | s->crc = exp->crc; | |
1936 | } | |
1937 | ||
1938 | if (!modversions) | |
c53ddacd | 1939 | return err; |
1da177e4 LT |
1940 | |
1941 | buf_printf(b, "\n"); | |
1942 | buf_printf(b, "static const struct modversion_info ____versions[]\n"); | |
3ff6eecc | 1943 | buf_printf(b, "__used\n"); |
1da177e4 LT |
1944 | buf_printf(b, "__attribute__((section(\"__versions\"))) = {\n"); |
1945 | ||
1946 | for (s = mod->unres; s; s = s->next) { | |
df578e7d | 1947 | if (!s->module) |
1da177e4 | 1948 | continue; |
1da177e4 | 1949 | if (!s->crc_valid) { |
cb80514d | 1950 | warn("\"%s\" [%s.ko] has no CRC!\n", |
1da177e4 LT |
1951 | s->name, mod->name); |
1952 | continue; | |
1953 | } | |
a53a11f3 | 1954 | buf_printf(b, "\t{ %#8x, __VMLINUX_SYMBOL_STR(%s) },\n", |
a4b6a77b | 1955 | s->crc, s->name); |
1da177e4 LT |
1956 | } |
1957 | ||
1958 | buf_printf(b, "};\n"); | |
c53ddacd KK |
1959 | |
1960 | return err; | |
1da177e4 LT |
1961 | } |
1962 | ||
5c3ead8c SR |
1963 | static void add_depends(struct buffer *b, struct module *mod, |
1964 | struct module *modules) | |
1da177e4 LT |
1965 | { |
1966 | struct symbol *s; | |
1967 | struct module *m; | |
1968 | int first = 1; | |
1969 | ||
df578e7d | 1970 | for (m = modules; m; m = m->next) |
1da177e4 | 1971 | m->seen = is_vmlinux(m->name); |
1da177e4 LT |
1972 | |
1973 | buf_printf(b, "\n"); | |
1974 | buf_printf(b, "static const char __module_depends[]\n"); | |
3ff6eecc | 1975 | buf_printf(b, "__used\n"); |
1da177e4 LT |
1976 | buf_printf(b, "__attribute__((section(\".modinfo\"))) =\n"); |
1977 | buf_printf(b, "\"depends="); | |
1978 | for (s = mod->unres; s; s = s->next) { | |
a61b2dfd | 1979 | const char *p; |
1da177e4 LT |
1980 | if (!s->module) |
1981 | continue; | |
1982 | ||
1983 | if (s->module->seen) | |
1984 | continue; | |
1985 | ||
1986 | s->module->seen = 1; | |
df578e7d SR |
1987 | p = strrchr(s->module->name, '/'); |
1988 | if (p) | |
a61b2dfd SR |
1989 | p++; |
1990 | else | |
1991 | p = s->module->name; | |
1992 | buf_printf(b, "%s%s", first ? "" : ",", p); | |
1da177e4 LT |
1993 | first = 0; |
1994 | } | |
1995 | buf_printf(b, "\";\n"); | |
1996 | } | |
1997 | ||
5c3ead8c | 1998 | static void add_srcversion(struct buffer *b, struct module *mod) |
1da177e4 LT |
1999 | { |
2000 | if (mod->srcversion[0]) { | |
2001 | buf_printf(b, "\n"); | |
2002 | buf_printf(b, "MODULE_INFO(srcversion, \"%s\");\n", | |
2003 | mod->srcversion); | |
2004 | } | |
2005 | } | |
2006 | ||
5c3ead8c | 2007 | static void write_if_changed(struct buffer *b, const char *fname) |
1da177e4 LT |
2008 | { |
2009 | char *tmp; | |
2010 | FILE *file; | |
2011 | struct stat st; | |
2012 | ||
2013 | file = fopen(fname, "r"); | |
2014 | if (!file) | |
2015 | goto write; | |
2016 | ||
2017 | if (fstat(fileno(file), &st) < 0) | |
2018 | goto close_write; | |
2019 | ||
2020 | if (st.st_size != b->pos) | |
2021 | goto close_write; | |
2022 | ||
2023 | tmp = NOFAIL(malloc(b->pos)); | |
2024 | if (fread(tmp, 1, b->pos, file) != b->pos) | |
2025 | goto free_write; | |
2026 | ||
2027 | if (memcmp(tmp, b->p, b->pos) != 0) | |
2028 | goto free_write; | |
2029 | ||
2030 | free(tmp); | |
2031 | fclose(file); | |
2032 | return; | |
2033 | ||
2034 | free_write: | |
2035 | free(tmp); | |
2036 | close_write: | |
2037 | fclose(file); | |
2038 | write: | |
2039 | file = fopen(fname, "w"); | |
2040 | if (!file) { | |
2041 | perror(fname); | |
2042 | exit(1); | |
2043 | } | |
2044 | if (fwrite(b->p, 1, b->pos, file) != b->pos) { | |
2045 | perror(fname); | |
2046 | exit(1); | |
2047 | } | |
2048 | fclose(file); | |
2049 | } | |
2050 | ||
bd5cbced | 2051 | /* parse Module.symvers file. line format: |
534b89a9 | 2052 | * 0x12345678<tab>symbol<tab>module[[<tab>export]<tab>something] |
bd5cbced | 2053 | **/ |
040fcc81 | 2054 | static void read_dump(const char *fname, unsigned int kernel) |
1da177e4 LT |
2055 | { |
2056 | unsigned long size, pos = 0; | |
2057 | void *file = grab_file(fname, &size); | |
2058 | char *line; | |
2059 | ||
df578e7d | 2060 | if (!file) |
1da177e4 LT |
2061 | /* No symbol versions, silently ignore */ |
2062 | return; | |
2063 | ||
2064 | while ((line = get_next_line(&pos, file, size))) { | |
534b89a9 | 2065 | char *symname, *modname, *d, *export, *end; |
1da177e4 LT |
2066 | unsigned int crc; |
2067 | struct module *mod; | |
040fcc81 | 2068 | struct symbol *s; |
1da177e4 LT |
2069 | |
2070 | if (!(symname = strchr(line, '\t'))) | |
2071 | goto fail; | |
2072 | *symname++ = '\0'; | |
2073 | if (!(modname = strchr(symname, '\t'))) | |
2074 | goto fail; | |
2075 | *modname++ = '\0'; | |
9ac545b0 | 2076 | if ((export = strchr(modname, '\t')) != NULL) |
bd5cbced | 2077 | *export++ = '\0'; |
534b89a9 SR |
2078 | if (export && ((end = strchr(export, '\t')) != NULL)) |
2079 | *end = '\0'; | |
1da177e4 LT |
2080 | crc = strtoul(line, &d, 16); |
2081 | if (*symname == '\0' || *modname == '\0' || *d != '\0') | |
2082 | goto fail; | |
df578e7d SR |
2083 | mod = find_module(modname); |
2084 | if (!mod) { | |
2085 | if (is_vmlinux(modname)) | |
1da177e4 | 2086 | have_vmlinux = 1; |
0fa3a88c | 2087 | mod = new_module(modname); |
1da177e4 LT |
2088 | mod->skip = 1; |
2089 | } | |
bd5cbced | 2090 | s = sym_add_exported(symname, mod, export_no(export)); |
8e70c458 SR |
2091 | s->kernel = kernel; |
2092 | s->preloaded = 1; | |
bd5cbced | 2093 | sym_update_crc(symname, mod, crc, export_no(export)); |
1da177e4 LT |
2094 | } |
2095 | return; | |
2096 | fail: | |
2097 | fatal("parse error in symbol dump file\n"); | |
2098 | } | |
2099 | ||
040fcc81 SR |
2100 | /* For normal builds always dump all symbols. |
2101 | * For external modules only dump symbols | |
2102 | * that are not read from kernel Module.symvers. | |
2103 | **/ | |
2104 | static int dump_sym(struct symbol *sym) | |
2105 | { | |
2106 | if (!external_module) | |
2107 | return 1; | |
2108 | if (sym->vmlinux || sym->kernel) | |
2109 | return 0; | |
2110 | return 1; | |
2111 | } | |
62070fa4 | 2112 | |
5c3ead8c | 2113 | static void write_dump(const char *fname) |
1da177e4 LT |
2114 | { |
2115 | struct buffer buf = { }; | |
2116 | struct symbol *symbol; | |
2117 | int n; | |
2118 | ||
2119 | for (n = 0; n < SYMBOL_HASH_SIZE ; n++) { | |
2120 | symbol = symbolhash[n]; | |
2121 | while (symbol) { | |
040fcc81 | 2122 | if (dump_sym(symbol)) |
bd5cbced | 2123 | buf_printf(&buf, "0x%08x\t%s\t%s\t%s\n", |
62070fa4 | 2124 | symbol->crc, symbol->name, |
bd5cbced RP |
2125 | symbol->module->name, |
2126 | export_str(symbol->export)); | |
1da177e4 LT |
2127 | symbol = symbol->next; |
2128 | } | |
2129 | } | |
2130 | write_if_changed(&buf, fname); | |
2131 | } | |
2132 | ||
2d04b5ae RH |
2133 | struct ext_sym_list { |
2134 | struct ext_sym_list *next; | |
2135 | const char *file; | |
2136 | }; | |
2137 | ||
5c3ead8c | 2138 | int main(int argc, char **argv) |
1da177e4 LT |
2139 | { |
2140 | struct module *mod; | |
2141 | struct buffer buf = { }; | |
040fcc81 | 2142 | char *kernel_read = NULL, *module_read = NULL; |
712f9b46 | 2143 | char *dump_write = NULL, *files_source = NULL; |
1da177e4 | 2144 | int opt; |
c53ddacd | 2145 | int err; |
2d04b5ae RH |
2146 | struct ext_sym_list *extsym_iter; |
2147 | struct ext_sym_list *extsym_start = NULL; | |
1da177e4 | 2148 | |
eed380f3 | 2149 | while ((opt = getopt(argc, argv, "i:I:e:mnsST:o:awM:K:")) != -1) { |
df578e7d SR |
2150 | switch (opt) { |
2151 | case 'i': | |
2152 | kernel_read = optarg; | |
2153 | break; | |
2154 | case 'I': | |
2155 | module_read = optarg; | |
2156 | external_module = 1; | |
2157 | break; | |
2d04b5ae RH |
2158 | case 'e': |
2159 | external_module = 1; | |
2160 | extsym_iter = | |
2161 | NOFAIL(malloc(sizeof(*extsym_iter))); | |
2162 | extsym_iter->next = extsym_start; | |
2163 | extsym_iter->file = optarg; | |
2164 | extsym_start = extsym_iter; | |
2165 | break; | |
df578e7d SR |
2166 | case 'm': |
2167 | modversions = 1; | |
2168 | break; | |
eed380f3 GR |
2169 | case 'n': |
2170 | ignore_missing_files = 1; | |
2171 | break; | |
df578e7d SR |
2172 | case 'o': |
2173 | dump_write = optarg; | |
2174 | break; | |
2175 | case 'a': | |
2176 | all_versions = 1; | |
2177 | break; | |
2178 | case 's': | |
2179 | vmlinux_section_warnings = 0; | |
2180 | break; | |
588ccd73 SR |
2181 | case 'S': |
2182 | sec_mismatch_verbose = 0; | |
2183 | break; | |
712f9b46 RR |
2184 | case 'T': |
2185 | files_source = optarg; | |
2186 | break; | |
df578e7d SR |
2187 | case 'w': |
2188 | warn_unresolved = 1; | |
2189 | break; | |
2190 | default: | |
2191 | exit(1); | |
1da177e4 LT |
2192 | } |
2193 | } | |
2194 | ||
040fcc81 SR |
2195 | if (kernel_read) |
2196 | read_dump(kernel_read, 1); | |
2197 | if (module_read) | |
2198 | read_dump(module_read, 0); | |
2d04b5ae RH |
2199 | while (extsym_start) { |
2200 | read_dump(extsym_start->file, 0); | |
2201 | extsym_iter = extsym_start->next; | |
2202 | free(extsym_start); | |
2203 | extsym_start = extsym_iter; | |
2204 | } | |
1da177e4 | 2205 | |
df578e7d | 2206 | while (optind < argc) |
1da177e4 | 2207 | read_symbols(argv[optind++]); |
1da177e4 | 2208 | |
712f9b46 RR |
2209 | if (files_source) |
2210 | read_symbols_from_files(files_source); | |
2211 | ||
b817f6fe SR |
2212 | for (mod = modules; mod; mod = mod->next) { |
2213 | if (mod->skip) | |
2214 | continue; | |
c96fca21 | 2215 | check_exports(mod); |
b817f6fe SR |
2216 | } |
2217 | ||
c53ddacd KK |
2218 | err = 0; |
2219 | ||
1da177e4 | 2220 | for (mod = modules; mod; mod = mod->next) { |
666ab414 AK |
2221 | char fname[strlen(mod->name) + 10]; |
2222 | ||
1da177e4 LT |
2223 | if (mod->skip) |
2224 | continue; | |
2225 | ||
2226 | buf.pos = 0; | |
2227 | ||
2228 | add_header(&buf, mod); | |
2449b8ba | 2229 | add_intree_flag(&buf, !external_module); |
a9860bf0 | 2230 | add_staging_flag(&buf, mod->name); |
c53ddacd | 2231 | err |= add_versions(&buf, mod); |
1da177e4 LT |
2232 | add_depends(&buf, mod, modules); |
2233 | add_moddevtable(&buf, mod); | |
2234 | add_srcversion(&buf, mod); | |
2235 | ||
2236 | sprintf(fname, "%s.mod.c", mod->name); | |
2237 | write_if_changed(&buf, fname); | |
2238 | } | |
2239 | ||
2240 | if (dump_write) | |
2241 | write_dump(dump_write); | |
588ccd73 | 2242 | if (sec_mismatch_count && !sec_mismatch_verbose) |
7c0ac495 GU |
2243 | warn("modpost: Found %d section mismatch(es).\n" |
2244 | "To see full details build your kernel with:\n" | |
2245 | "'make CONFIG_DEBUG_SECTION_MISMATCH=y'\n", | |
2246 | sec_mismatch_count); | |
1da177e4 | 2247 | |
c53ddacd | 2248 | return err; |
1da177e4 | 2249 | } |