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