module.c 112.7 KB
Newer Older
1
/*
L
Linus Torvalds 已提交
2
   Copyright (C) 2002 Richard Henderson
3
   Copyright (C) 2001 Rusty Russell, 2002, 2010 Rusty Russell IBM.
L
Linus Torvalds 已提交
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
*/
19
#include <linux/export.h>
20
#include <linux/extable.h>
L
Linus Torvalds 已提交
21
#include <linux/moduleloader.h>
22
#include <linux/trace_events.h>
L
Linus Torvalds 已提交
23
#include <linux/init.h>
24
#include <linux/kallsyms.h>
25
#include <linux/file.h>
26
#include <linux/fs.h>
R
Roland McGrath 已提交
27
#include <linux/sysfs.h>
28
#include <linux/kernel.h>
L
Linus Torvalds 已提交
29 30 31
#include <linux/slab.h>
#include <linux/vmalloc.h>
#include <linux/elf.h>
32
#include <linux/proc_fs.h>
33
#include <linux/security.h>
L
Linus Torvalds 已提交
34 35 36 37
#include <linux/seq_file.h>
#include <linux/syscalls.h>
#include <linux/fcntl.h>
#include <linux/rcupdate.h>
38
#include <linux/capability.h>
L
Linus Torvalds 已提交
39 40 41 42 43 44
#include <linux/cpu.h>
#include <linux/moduleparam.h>
#include <linux/errno.h>
#include <linux/err.h>
#include <linux/vermagic.h>
#include <linux/notifier.h>
A
Al Viro 已提交
45
#include <linux/sched.h>
L
Linus Torvalds 已提交
46
#include <linux/device.h>
47
#include <linux/string.h>
A
Arjan van de Ven 已提交
48
#include <linux/mutex.h>
49
#include <linux/rculist.h>
50
#include <linux/uaccess.h>
L
Linus Torvalds 已提交
51
#include <asm/cacheflush.h>
52
#include <linux/set_memory.h>
53
#include <asm/mmu_context.h>
54
#include <linux/license.h>
55
#include <asm/sections.h>
M
Mathieu Desnoyers 已提交
56
#include <linux/tracepoint.h>
57
#include <linux/ftrace.h>
58
#include <linux/livepatch.h>
59
#include <linux/async.h>
60
#include <linux/percpu.h>
C
Catalin Marinas 已提交
61
#include <linux/kmemleak.h>
62
#include <linux/jump_label.h>
63
#include <linux/pfn.h>
64
#include <linux/bsearch.h>
65
#include <linux/dynamic_debug.h>
66
#include <linux/audit.h>
67
#include <uapi/linux/module.h>
R
Rusty Russell 已提交
68
#include "module-internal.h"
L
Linus Torvalds 已提交
69

70 71 72
#define CREATE_TRACE_POINTS
#include <trace/events/module.h>

L
Linus Torvalds 已提交
73 74 75 76
#ifndef ARCH_SHF_SMALL
#define ARCH_SHF_SMALL 0
#endif

77 78
/*
 * Modules' sections will be aligned on page boundaries
79
 * to ensure complete separation of code and data
80 81 82
 */
# define debug_align(X) ALIGN(X, PAGE_SIZE)

L
Linus Torvalds 已提交
83 84 85
/* If this is set, the section belongs in the init part of the module */
#define INIT_OFFSET_MASK (1UL << (BITS_PER_LONG-1))

86 87 88 89 90
/*
 * Mutex protects:
 * 1) List of modules (also safely readable with preempt_disable),
 * 2) module_use links,
 * 3) module_addr_min/module_addr_max.
91
 * (delete and add uses RCU list operations). */
92 93
DEFINE_MUTEX(module_mutex);
EXPORT_SYMBOL_GPL(module_mutex);
L
Linus Torvalds 已提交
94
static LIST_HEAD(modules);
95

96
#ifdef CONFIG_MODULES_TREE_LOOKUP
R
Rusty Russell 已提交
97

98 99 100 101
/*
 * Use a latched RB-tree for __module_address(); this allows us to use
 * RCU-sched lookups of the address from any context.
 *
102 103 104
 * This is conditional on PERF_EVENTS || TRACING because those can really hit
 * __module_address() hard by doing a lot of stack unwinding; potentially from
 * NMI context.
105 106 107
 */

static __always_inline unsigned long __mod_tree_val(struct latch_tree_node *n)
R
Rusty Russell 已提交
108
{
109
	struct module_layout *layout = container_of(n, struct module_layout, mtn.node);
R
Rusty Russell 已提交
110

111
	return (unsigned long)layout->base;
112 113 114 115
}

static __always_inline unsigned long __mod_tree_size(struct latch_tree_node *n)
{
116
	struct module_layout *layout = container_of(n, struct module_layout, mtn.node);
117

118
	return (unsigned long)layout->size;
119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139
}

static __always_inline bool
mod_tree_less(struct latch_tree_node *a, struct latch_tree_node *b)
{
	return __mod_tree_val(a) < __mod_tree_val(b);
}

static __always_inline int
mod_tree_comp(void *key, struct latch_tree_node *n)
{
	unsigned long val = (unsigned long)key;
	unsigned long start, end;

	start = __mod_tree_val(n);
	if (val < start)
		return -1;

	end = start + __mod_tree_size(n);
	if (val >= end)
		return 1;
R
Rusty Russell 已提交
140 141 142 143

	return 0;
}

144 145 146 147 148
static const struct latch_tree_ops mod_tree_ops = {
	.less = mod_tree_less,
	.comp = mod_tree_comp,
};

149 150 151 152 153 154
static struct mod_tree_root {
	struct latch_tree_root root;
	unsigned long addr_min;
	unsigned long addr_max;
} mod_tree __cacheline_aligned = {
	.addr_min = -1UL,
R
Rusty Russell 已提交
155 156
};

157 158 159 160 161 162 163 164 165 166 167 168
#define module_addr_min mod_tree.addr_min
#define module_addr_max mod_tree.addr_max

static noinline void __mod_tree_insert(struct mod_tree_node *node)
{
	latch_tree_insert(&node->node, &mod_tree.root, &mod_tree_ops);
}

static void __mod_tree_remove(struct mod_tree_node *node)
{
	latch_tree_erase(&node->node, &mod_tree.root, &mod_tree_ops);
}
169 170 171 172 173 174 175

/*
 * These modifications: insert, remove_init and remove; are serialized by the
 * module_mutex.
 */
static void mod_tree_insert(struct module *mod)
{
176 177
	mod->core_layout.mtn.mod = mod;
	mod->init_layout.mtn.mod = mod;
178

179 180 181
	__mod_tree_insert(&mod->core_layout.mtn);
	if (mod->init_layout.size)
		__mod_tree_insert(&mod->init_layout.mtn);
182 183 184 185
}

static void mod_tree_remove_init(struct module *mod)
{
186 187
	if (mod->init_layout.size)
		__mod_tree_remove(&mod->init_layout.mtn);
188 189 190 191
}

static void mod_tree_remove(struct module *mod)
{
192
	__mod_tree_remove(&mod->core_layout.mtn);
193 194 195
	mod_tree_remove_init(mod);
}

196
static struct module *mod_find(unsigned long addr)
197 198 199
{
	struct latch_tree_node *ltn;

200
	ltn = latch_tree_find((void *)addr, &mod_tree.root, &mod_tree_ops);
201 202 203 204 205 206
	if (!ltn)
		return NULL;

	return container_of(ltn, struct mod_tree_node, node)->mod;
}

207 208
#else /* MODULES_TREE_LOOKUP */

209 210
static unsigned long module_addr_min = -1UL, module_addr_max = 0;

211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228
static void mod_tree_insert(struct module *mod) { }
static void mod_tree_remove_init(struct module *mod) { }
static void mod_tree_remove(struct module *mod) { }

static struct module *mod_find(unsigned long addr)
{
	struct module *mod;

	list_for_each_entry_rcu(mod, &modules, list) {
		if (within_module(addr, mod))
			return mod;
	}

	return NULL;
}

#endif /* MODULES_TREE_LOOKUP */

229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245
/*
 * Bounds of module text, for speeding up __module_address.
 * Protected by module_mutex.
 */
static void __mod_update_bounds(void *base, unsigned int size)
{
	unsigned long min = (unsigned long)base;
	unsigned long max = min + size;

	if (min < module_addr_min)
		module_addr_min = min;
	if (max > module_addr_max)
		module_addr_max = max;
}

static void mod_update_bounds(struct module *mod)
{
246 247 248
	__mod_update_bounds(mod->core_layout.base, mod->core_layout.size);
	if (mod->init_layout.size)
		__mod_update_bounds(mod->init_layout.base, mod->init_layout.size);
249 250
}

251 252 253 254
#ifdef CONFIG_KGDB_KDB
struct list_head *kdb_modules = &modules; /* kdb needs the list of modules */
#endif /* CONFIG_KGDB_KDB */

255 256 257 258 259 260 261 262 263 264 265
static void module_assert_mutex(void)
{
	lockdep_assert_held(&module_mutex);
}

static void module_assert_mutex_or_preempt(void)
{
#ifdef CONFIG_LOCKDEP
	if (unlikely(!debug_locks))
		return;

266
	WARN_ON_ONCE(!rcu_read_lock_sched_held() &&
267 268 269 270
		!lockdep_is_held(&module_mutex));
#endif
}

271
static bool sig_enforce = IS_ENABLED(CONFIG_MODULE_SIG_FORCE);
R
Rusty Russell 已提交
272
module_param(sig_enforce, bool_enable_only, 0644);
L
Linus Torvalds 已提交
273

274 275 276 277 278 279 280 281 282 283
/*
 * Export sig_enforce kernel cmdline parameter to allow other subsystems rely
 * on that instead of directly to CONFIG_MODULE_SIG_FORCE config.
 */
bool is_module_sig_enforced(void)
{
	return sig_enforce;
}
EXPORT_SYMBOL(is_module_sig_enforced);

284 285
/* Block module loading/unloading? */
int modules_disabled = 0;
286
core_param(nomodule, modules_disabled, bint, 0);
287

288 289 290
/* Waiting for a module to finish initializing? */
static DECLARE_WAIT_QUEUE_HEAD(module_wq);

291
static BLOCKING_NOTIFIER_HEAD(module_notify_list);
L
Linus Torvalds 已提交
292

293
int register_module_notifier(struct notifier_block *nb)
L
Linus Torvalds 已提交
294
{
295
	return blocking_notifier_chain_register(&module_notify_list, nb);
L
Linus Torvalds 已提交
296 297 298
}
EXPORT_SYMBOL(register_module_notifier);

299
int unregister_module_notifier(struct notifier_block *nb)
L
Linus Torvalds 已提交
300
{
301
	return blocking_notifier_chain_unregister(&module_notify_list, nb);
L
Linus Torvalds 已提交
302 303 304
}
EXPORT_SYMBOL(unregister_module_notifier);

305 306 307 308 309
/*
 * We require a truly strong try_module_get(): 0 means success.
 * Otherwise an error is returned due to ongoing or failed
 * initialization etc.
 */
L
Linus Torvalds 已提交
310 311
static inline int strong_try_module_get(struct module *mod)
{
312
	BUG_ON(mod && mod->state == MODULE_STATE_UNFORMED);
L
Linus Torvalds 已提交
313
	if (mod && mod->state == MODULE_STATE_COMING)
314 315
		return -EBUSY;
	if (try_module_get(mod))
L
Linus Torvalds 已提交
316
		return 0;
317 318
	else
		return -ENOENT;
L
Linus Torvalds 已提交
319 320
}

321 322
static inline void add_taint_module(struct module *mod, unsigned flag,
				    enum lockdep_ok lockdep_ok)
323
{
324
	add_taint(flag, lockdep_ok);
325
	set_bit(flag, &mod->taints);
326 327
}

328 329 330
/*
 * A thread that wants to hold a reference to a module only while it
 * is running can call this to safely exit.  nfsd and lockd use this.
L
Linus Torvalds 已提交
331
 */
332
void __noreturn __module_put_and_exit(struct module *mod, long code)
L
Linus Torvalds 已提交
333 334 335 336 337
{
	module_put(mod);
	do_exit(code);
}
EXPORT_SYMBOL(__module_put_and_exit);
D
Daniel Walker 已提交
338

L
Linus Torvalds 已提交
339
/* Find a module section: 0 means not found. */
340
static unsigned int find_sec(const struct load_info *info, const char *name)
L
Linus Torvalds 已提交
341 342 343
{
	unsigned int i;

344 345
	for (i = 1; i < info->hdr->e_shnum; i++) {
		Elf_Shdr *shdr = &info->sechdrs[i];
L
Linus Torvalds 已提交
346
		/* Alloc bit cleared means "ignore it." */
347 348
		if ((shdr->sh_flags & SHF_ALLOC)
		    && strcmp(info->secstrings + shdr->sh_name, name) == 0)
L
Linus Torvalds 已提交
349
			return i;
350
	}
L
Linus Torvalds 已提交
351 352 353
	return 0;
}

R
Rusty Russell 已提交
354
/* Find a module section, or NULL. */
355
static void *section_addr(const struct load_info *info, const char *name)
R
Rusty Russell 已提交
356 357
{
	/* Section 0 has sh_addr 0. */
358
	return (void *)info->sechdrs[find_sec(info, name)].sh_addr;
R
Rusty Russell 已提交
359 360 361
}

/* Find a module section, or NULL.  Fill in number of "objects" in section. */
362
static void *section_objs(const struct load_info *info,
R
Rusty Russell 已提交
363 364 365 366
			  const char *name,
			  size_t object_size,
			  unsigned int *num)
{
367
	unsigned int sec = find_sec(info, name);
R
Rusty Russell 已提交
368 369

	/* Section 0 has sh_addr 0 and sh_size 0. */
370 371
	*num = info->sechdrs[sec].sh_size / object_size;
	return (void *)info->sechdrs[sec].sh_addr;
R
Rusty Russell 已提交
372 373
}

L
Linus Torvalds 已提交
374 375 376 377 378
/* Provided by the linker */
extern const struct kernel_symbol __start___ksymtab[];
extern const struct kernel_symbol __stop___ksymtab[];
extern const struct kernel_symbol __start___ksymtab_gpl[];
extern const struct kernel_symbol __stop___ksymtab_gpl[];
379 380
extern const struct kernel_symbol __start___ksymtab_gpl_future[];
extern const struct kernel_symbol __stop___ksymtab_gpl_future[];
381 382 383
extern const s32 __start___kcrctab[];
extern const s32 __start___kcrctab_gpl[];
extern const s32 __start___kcrctab_gpl_future[];
384 385 386 387 388
#ifdef CONFIG_UNUSED_SYMBOLS
extern const struct kernel_symbol __start___ksymtab_unused[];
extern const struct kernel_symbol __stop___ksymtab_unused[];
extern const struct kernel_symbol __start___ksymtab_unused_gpl[];
extern const struct kernel_symbol __stop___ksymtab_unused_gpl[];
389 390
extern const s32 __start___kcrctab_unused[];
extern const s32 __start___kcrctab_unused_gpl[];
391
#endif
L
Linus Torvalds 已提交
392 393 394 395

#ifndef CONFIG_MODVERSIONS
#define symversion(base, idx) NULL
#else
A
Andrew Morton 已提交
396
#define symversion(base, idx) ((base != NULL) ? ((base) + (idx)) : NULL)
L
Linus Torvalds 已提交
397 398
#endif

399 400 401 402 403
static bool each_symbol_in_section(const struct symsearch *arr,
				   unsigned int arrsize,
				   struct module *owner,
				   bool (*fn)(const struct symsearch *syms,
					      struct module *owner,
404
					      void *data),
405
				   void *data)
406
{
407
	unsigned int j;
408

409
	for (j = 0; j < arrsize; j++) {
410 411
		if (fn(&arr[j], owner, data))
			return true;
412
	}
413 414

	return false;
415 416
}

417
/* Returns true as soon as fn returns true, otherwise false. */
418 419 420 421
bool each_symbol_section(bool (*fn)(const struct symsearch *arr,
				    struct module *owner,
				    void *data),
			 void *data)
422 423
{
	struct module *mod;
424
	static const struct symsearch arr[] = {
425
		{ __start___ksymtab, __stop___ksymtab, __start___kcrctab,
426
		  NOT_GPL_ONLY, false },
427
		{ __start___ksymtab_gpl, __stop___ksymtab_gpl,
428 429
		  __start___kcrctab_gpl,
		  GPL_ONLY, false },
430
		{ __start___ksymtab_gpl_future, __stop___ksymtab_gpl_future,
431 432
		  __start___kcrctab_gpl_future,
		  WILL_BE_GPL_ONLY, false },
433
#ifdef CONFIG_UNUSED_SYMBOLS
434
		{ __start___ksymtab_unused, __stop___ksymtab_unused,
435 436
		  __start___kcrctab_unused,
		  NOT_GPL_ONLY, true },
437
		{ __start___ksymtab_unused_gpl, __stop___ksymtab_unused_gpl,
438 439
		  __start___kcrctab_unused_gpl,
		  GPL_ONLY, true },
440
#endif
441
	};
442

443 444
	module_assert_mutex_or_preempt();

445 446
	if (each_symbol_in_section(arr, ARRAY_SIZE(arr), NULL, fn, data))
		return true;
447

448
	list_for_each_entry_rcu(mod, &modules, list) {
449 450
		struct symsearch arr[] = {
			{ mod->syms, mod->syms + mod->num_syms, mod->crcs,
451
			  NOT_GPL_ONLY, false },
452
			{ mod->gpl_syms, mod->gpl_syms + mod->num_gpl_syms,
453 454
			  mod->gpl_crcs,
			  GPL_ONLY, false },
455 456
			{ mod->gpl_future_syms,
			  mod->gpl_future_syms + mod->num_gpl_future_syms,
457 458
			  mod->gpl_future_crcs,
			  WILL_BE_GPL_ONLY, false },
459
#ifdef CONFIG_UNUSED_SYMBOLS
460 461
			{ mod->unused_syms,
			  mod->unused_syms + mod->num_unused_syms,
462 463
			  mod->unused_crcs,
			  NOT_GPL_ONLY, true },
464 465
			{ mod->unused_gpl_syms,
			  mod->unused_gpl_syms + mod->num_unused_gpl_syms,
466 467
			  mod->unused_gpl_crcs,
			  GPL_ONLY, true },
468
#endif
469 470
		};

471 472 473
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;

474 475 476 477 478
		if (each_symbol_in_section(arr, ARRAY_SIZE(arr), mod, fn, data))
			return true;
	}
	return false;
}
479
EXPORT_SYMBOL_GPL(each_symbol_section);
480 481 482 483 484 485 486 487 488

struct find_symbol_arg {
	/* Input */
	const char *name;
	bool gplok;
	bool warn;

	/* Output */
	struct module *owner;
489
	const s32 *crc;
490
	const struct kernel_symbol *sym;
491 492
};

493 494 495
static bool check_symbol(const struct symsearch *syms,
				 struct module *owner,
				 unsigned int symnum, void *data)
496 497 498 499 500 501 502
{
	struct find_symbol_arg *fsa = data;

	if (!fsa->gplok) {
		if (syms->licence == GPL_ONLY)
			return false;
		if (syms->licence == WILL_BE_GPL_ONLY && fsa->warn) {
A
Andrew Morton 已提交
503 504 505
			pr_warn("Symbol %s is being used by a non-GPL module, "
				"which will not be allowed in the future\n",
				fsa->name);
506
		}
L
Linus Torvalds 已提交
507
	}
508

509
#ifdef CONFIG_UNUSED_SYMBOLS
510
	if (syms->unused && fsa->warn) {
A
Andrew Morton 已提交
511 512 513
		pr_warn("Symbol %s is marked as UNUSED, however this module is "
			"using it.\n", fsa->name);
		pr_warn("This symbol will go away in the future.\n");
514 515 516
		pr_warn("Please evaluate if this is the right api to use and "
			"if it really is, submit a report to the linux kernel "
			"mailing list together with submitting your code for "
A
Andrew Morton 已提交
517
			"inclusion.\n");
518
	}
519
#endif
520 521 522

	fsa->owner = owner;
	fsa->crc = symversion(syms->crcs, symnum);
523
	fsa->sym = &syms->start[symnum];
524 525 526
	return true;
}

527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544
static unsigned long kernel_symbol_value(const struct kernel_symbol *sym)
{
#ifdef CONFIG_HAVE_ARCH_PREL32_RELOCATIONS
	return (unsigned long)offset_to_ptr(&sym->value_offset);
#else
	return sym->value;
#endif
}

static const char *kernel_symbol_name(const struct kernel_symbol *sym)
{
#ifdef CONFIG_HAVE_ARCH_PREL32_RELOCATIONS
	return offset_to_ptr(&sym->name_offset);
#else
	return sym->name;
#endif
}

545 546 547 548 549
static int cmp_name(const void *va, const void *vb)
{
	const char *a;
	const struct kernel_symbol *b;
	a = va; b = vb;
550
	return strcmp(a, kernel_symbol_name(b));
551 552
}

553 554 555 556 557
static bool find_symbol_in_section(const struct symsearch *syms,
				   struct module *owner,
				   void *data)
{
	struct find_symbol_arg *fsa = data;
558 559 560 561 562 563 564
	struct kernel_symbol *sym;

	sym = bsearch(fsa->name, syms->start, syms->stop - syms->start,
			sizeof(struct kernel_symbol), cmp_name);

	if (sym != NULL && check_symbol(syms, owner, sym - syms->start, data))
		return true;
565 566 567 568

	return false;
}

569
/* Find a symbol and return it, along with, (optional) crc and
570
 * (optional) module which owns it.  Needs preempt disabled or module_mutex. */
571 572
const struct kernel_symbol *find_symbol(const char *name,
					struct module **owner,
573
					const s32 **crc,
574 575
					bool gplok,
					bool warn)
576 577 578 579 580 581 582
{
	struct find_symbol_arg fsa;

	fsa.name = name;
	fsa.gplok = gplok;
	fsa.warn = warn;

583
	if (each_symbol_section(find_symbol_in_section, &fsa)) {
584 585 586 587
		if (owner)
			*owner = fsa.owner;
		if (crc)
			*crc = fsa.crc;
588
		return fsa.sym;
589 590
	}

591
	pr_debug("Failed to find symbol %s\n", name);
592
	return NULL;
L
Linus Torvalds 已提交
593
}
594
EXPORT_SYMBOL_GPL(find_symbol);
L
Linus Torvalds 已提交
595

596 597 598 599
/*
 * Search for module by name: must hold module_mutex (or preempt disabled
 * for read-only access).
 */
600
static struct module *find_module_all(const char *name, size_t len,
601
				      bool even_unformed)
L
Linus Torvalds 已提交
602 603 604
{
	struct module *mod;

605
	module_assert_mutex_or_preempt();
606

607
	list_for_each_entry_rcu(mod, &modules, list) {
608 609
		if (!even_unformed && mod->state == MODULE_STATE_UNFORMED)
			continue;
610
		if (strlen(mod->name) == len && !memcmp(mod->name, name, len))
L
Linus Torvalds 已提交
611 612 613 614
			return mod;
	}
	return NULL;
}
615 616 617

struct module *find_module(const char *name)
{
618
	module_assert_mutex();
619
	return find_module_all(name, strlen(name), false);
620
}
621
EXPORT_SYMBOL_GPL(find_module);
L
Linus Torvalds 已提交
622 623

#ifdef CONFIG_SMP
624

625
static inline void __percpu *mod_percpu(struct module *mod)
626
{
627 628
	return mod->percpu;
}
629

R
Rusty Russell 已提交
630
static int percpu_modalloc(struct module *mod, struct load_info *info)
631
{
R
Rusty Russell 已提交
632 633 634 635 636 637
	Elf_Shdr *pcpusec = &info->sechdrs[info->index.pcpu];
	unsigned long align = pcpusec->sh_addralign;

	if (!pcpusec->sh_size)
		return 0;

638
	if (align > PAGE_SIZE) {
A
Andrew Morton 已提交
639 640
		pr_warn("%s: per-cpu alignment %li > %li\n",
			mod->name, align, PAGE_SIZE);
641 642 643
		align = PAGE_SIZE;
	}

R
Rusty Russell 已提交
644
	mod->percpu = __alloc_reserved_percpu(pcpusec->sh_size, align);
645
	if (!mod->percpu) {
A
Andrew Morton 已提交
646 647
		pr_warn("%s: Could not allocate %lu bytes percpu data\n",
			mod->name, (unsigned long)pcpusec->sh_size);
648 649
		return -ENOMEM;
	}
R
Rusty Russell 已提交
650
	mod->percpu_size = pcpusec->sh_size;
651
	return 0;
652 653
}

654
static void percpu_modfree(struct module *mod)
655
{
656
	free_percpu(mod->percpu);
657 658
}

659
static unsigned int find_pcpusec(struct load_info *info)
660
{
661
	return find_sec(info, ".data..percpu");
662 663
}

664 665
static void percpu_modcopy(struct module *mod,
			   const void *from, unsigned long size)
666 667 668 669
{
	int cpu;

	for_each_possible_cpu(cpu)
670
		memcpy(per_cpu_ptr(mod->percpu, cpu), from, size);
671 672
}

673
bool __is_module_percpu_address(unsigned long addr, unsigned long *can_addr)
674 675 676 677 678 679 680
{
	struct module *mod;
	unsigned int cpu;

	preempt_disable();

	list_for_each_entry_rcu(mod, &modules, list) {
681 682
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;
683 684 685 686
		if (!mod->percpu_size)
			continue;
		for_each_possible_cpu(cpu) {
			void *start = per_cpu_ptr(mod->percpu, cpu);
687
			void *va = (void *)addr;
688

689
			if (va >= start && va < start + mod->percpu_size) {
690
				if (can_addr) {
691
					*can_addr = (unsigned long) (va - start);
692 693 694 695
					*can_addr += (unsigned long)
						per_cpu_ptr(mod->percpu,
							    get_boot_cpu_id());
				}
696 697 698 699 700 701 702 703
				preempt_enable();
				return true;
			}
		}
	}

	preempt_enable();
	return false;
704 705
}

706 707 708 709 710 711 712 713 714 715 716 717 718 719
/**
 * is_module_percpu_address - test whether address is from module static percpu
 * @addr: address to test
 *
 * Test whether @addr belongs to module static percpu area.
 *
 * RETURNS:
 * %true if @addr is from module static percpu area
 */
bool is_module_percpu_address(unsigned long addr)
{
	return __is_module_percpu_address(addr, NULL);
}

L
Linus Torvalds 已提交
720
#else /* ... !CONFIG_SMP */
721

722
static inline void __percpu *mod_percpu(struct module *mod)
L
Linus Torvalds 已提交
723 724 725
{
	return NULL;
}
R
Rusty Russell 已提交
726
static int percpu_modalloc(struct module *mod, struct load_info *info)
727
{
R
Rusty Russell 已提交
728 729 730 731
	/* UP modules shouldn't have this section: ENOMEM isn't quite right */
	if (info->sechdrs[info->index.pcpu].sh_size != 0)
		return -ENOMEM;
	return 0;
732 733
}
static inline void percpu_modfree(struct module *mod)
L
Linus Torvalds 已提交
734 735
{
}
736
static unsigned int find_pcpusec(struct load_info *info)
L
Linus Torvalds 已提交
737 738 739
{
	return 0;
}
740 741
static inline void percpu_modcopy(struct module *mod,
				  const void *from, unsigned long size)
L
Linus Torvalds 已提交
742 743 744 745
{
	/* pcpusec should be 0, and size of that section should be 0. */
	BUG_ON(size != 0);
}
746 747 748 749
bool is_module_percpu_address(unsigned long addr)
{
	return false;
}
750

751 752 753 754 755
bool __is_module_percpu_address(unsigned long addr, unsigned long *can_addr)
{
	return false;
}

L
Linus Torvalds 已提交
756 757
#endif /* CONFIG_SMP */

758 759 760 761 762 763
#define MODINFO_ATTR(field)	\
static void setup_modinfo_##field(struct module *mod, const char *s)  \
{                                                                     \
	mod->field = kstrdup(s, GFP_KERNEL);                          \
}                                                                     \
static ssize_t show_modinfo_##field(struct module_attribute *mattr,   \
764
			struct module_kobject *mk, char *buffer)      \
765
{                                                                     \
766
	return scnprintf(buffer, PAGE_SIZE, "%s\n", mk->mod->field);  \
767 768 769 770 771 772 773
}                                                                     \
static int modinfo_##field##_exists(struct module *mod)               \
{                                                                     \
	return mod->field != NULL;                                    \
}                                                                     \
static void free_modinfo_##field(struct module *mod)                  \
{                                                                     \
D
Daniel Walker 已提交
774 775
	kfree(mod->field);                                            \
	mod->field = NULL;                                            \
776 777
}                                                                     \
static struct module_attribute modinfo_##field = {                    \
778
	.attr = { .name = __stringify(field), .mode = 0444 },         \
779 780 781 782 783 784 785 786 787
	.show = show_modinfo_##field,                                 \
	.setup = setup_modinfo_##field,                               \
	.test = modinfo_##field##_exists,                             \
	.free = free_modinfo_##field,                                 \
};

MODINFO_ATTR(version);
MODINFO_ATTR(srcversion);

788 789
static char last_unloaded_module[MODULE_NAME_LEN+1];

790
#ifdef CONFIG_MODULE_UNLOAD
791 792 793

EXPORT_TRACEPOINT_SYMBOL(module_get);

794 795 796
/* MODULE_REF_BASE is the base reference count by kmodule loader. */
#define MODULE_REF_BASE	1

L
Linus Torvalds 已提交
797
/* Init the unload section of the module. */
798
static int module_unload_init(struct module *mod)
L
Linus Torvalds 已提交
799
{
800 801 802 803 804
	/*
	 * Initialize reference counter to MODULE_REF_BASE.
	 * refcnt == 0 means module is going.
	 */
	atomic_set(&mod->refcnt, MODULE_REF_BASE);
805

806 807
	INIT_LIST_HEAD(&mod->source_list);
	INIT_LIST_HEAD(&mod->target_list);
808

L
Linus Torvalds 已提交
809
	/* Hold reference count during initialization. */
810
	atomic_inc(&mod->refcnt);
811 812

	return 0;
L
Linus Torvalds 已提交
813 814 815 816 817 818 819
}

/* Does a already use b? */
static int already_uses(struct module *a, struct module *b)
{
	struct module_use *use;

820 821
	list_for_each_entry(use, &b->source_list, source_list) {
		if (use->source == a) {
822
			pr_debug("%s uses %s!\n", a->name, b->name);
L
Linus Torvalds 已提交
823 824 825
			return 1;
		}
	}
826
	pr_debug("%s does not use %s!\n", a->name, b->name);
L
Linus Torvalds 已提交
827 828 829
	return 0;
}

830 831 832 833 834 835 836 837 838 839 840
/*
 * Module a uses b
 *  - we add 'a' as a "source", 'b' as a "target" of module use
 *  - the module_use is added to the list of 'b' sources (so
 *    'b' can walk the list to see who sourced them), and of 'a'
 *    targets (so 'a' can see what modules it targets).
 */
static int add_module_usage(struct module *a, struct module *b)
{
	struct module_use *use;

841
	pr_debug("Allocating new usage for %s.\n", a->name);
842
	use = kmalloc(sizeof(*use), GFP_ATOMIC);
843
	if (!use)
844 845 846 847 848 849 850 851 852
		return -ENOMEM;

	use->source = a;
	use->target = b;
	list_add(&use->source_list, &b->source_list);
	list_add(&use->target_list, &a->target_list);
	return 0;
}

853
/* Module a uses b: caller needs module_mutex() */
854
int ref_module(struct module *a, struct module *b)
L
Linus Torvalds 已提交
855
{
856
	int err;
K
Kay Sievers 已提交
857

858
	if (b == NULL || already_uses(a, b))
859 860
		return 0;

861 862
	/* If module isn't available, we fail. */
	err = strong_try_module_get(b);
863
	if (err)
864
		return err;
L
Linus Torvalds 已提交
865

866 867
	err = add_module_usage(a, b);
	if (err) {
L
Linus Torvalds 已提交
868
		module_put(b);
869
		return err;
L
Linus Torvalds 已提交
870
	}
871
	return 0;
L
Linus Torvalds 已提交
872
}
873
EXPORT_SYMBOL_GPL(ref_module);
L
Linus Torvalds 已提交
874 875 876 877

/* Clear the unload stuff of the module. */
static void module_unload_free(struct module *mod)
{
878
	struct module_use *use, *tmp;
L
Linus Torvalds 已提交
879

880
	mutex_lock(&module_mutex);
881 882
	list_for_each_entry_safe(use, tmp, &mod->target_list, target_list) {
		struct module *i = use->target;
883
		pr_debug("%s unusing %s\n", mod->name, i->name);
884 885 886 887
		module_put(i);
		list_del(&use->source_list);
		list_del(&use->target_list);
		kfree(use);
L
Linus Torvalds 已提交
888
	}
889
	mutex_unlock(&module_mutex);
L
Linus Torvalds 已提交
890 891 892
}

#ifdef CONFIG_MODULE_FORCE_UNLOAD
893
static inline int try_force_unload(unsigned int flags)
L
Linus Torvalds 已提交
894 895 896
{
	int ret = (flags & O_TRUNC);
	if (ret)
897
		add_taint(TAINT_FORCED_RMMOD, LOCKDEP_NOW_UNRELIABLE);
L
Linus Torvalds 已提交
898 899 900
	return ret;
}
#else
901
static inline int try_force_unload(unsigned int flags)
L
Linus Torvalds 已提交
902 903 904 905 906
{
	return 0;
}
#endif /* CONFIG_MODULE_FORCE_UNLOAD */

907 908
/* Try to release refcount of module, 0 means success. */
static int try_release_module_ref(struct module *mod)
L
Linus Torvalds 已提交
909
{
910
	int ret;
L
Linus Torvalds 已提交
911

912 913 914 915 916 917
	/* Try to decrement refcnt which we set at loading */
	ret = atomic_sub_return(MODULE_REF_BASE, &mod->refcnt);
	BUG_ON(ret < 0);
	if (ret)
		/* Someone can put this right now, recover with checking */
		ret = atomic_add_unless(&mod->refcnt, MODULE_REF_BASE, 0);
L
Linus Torvalds 已提交
918

919 920
	return ret;
}
L
Linus Torvalds 已提交
921

922 923
static int try_stop_module(struct module *mod, int flags, int *forced)
{
924
	/* If it's not unused, quit unless we're forcing. */
925 926 927
	if (try_release_module_ref(mod) != 0) {
		*forced = try_force_unload(flags);
		if (!(*forced))
L
Linus Torvalds 已提交
928 929 930 931
			return -EWOULDBLOCK;
	}

	/* Mark it as dying. */
932
	mod->state = MODULE_STATE_GOING;
L
Linus Torvalds 已提交
933

934
	return 0;
L
Linus Torvalds 已提交
935 936
}

937 938 939 940 941 942 943 944 945 946
/**
 * module_refcount - return the refcount or -1 if unloading
 *
 * @mod:	the module we're checking
 *
 * Returns:
 *	-1 if the module is in the process of unloading
 *	otherwise the number of references in the kernel to the module
 */
int module_refcount(struct module *mod)
L
Linus Torvalds 已提交
947
{
948
	return atomic_read(&mod->refcnt) - MODULE_REF_BASE;
L
Linus Torvalds 已提交
949 950 951 952 953 954
}
EXPORT_SYMBOL(module_refcount);

/* This exists whether we can unload or not */
static void free_module(struct module *mod);

955 956
SYSCALL_DEFINE2(delete_module, const char __user *, name_user,
		unsigned int, flags)
L
Linus Torvalds 已提交
957 958
{
	struct module *mod;
959
	char name[MODULE_NAME_LEN];
L
Linus Torvalds 已提交
960 961
	int ret, forced = 0;

962
	if (!capable(CAP_SYS_MODULE) || modules_disabled)
963 964 965 966 967 968
		return -EPERM;

	if (strncpy_from_user(name, name_user, MODULE_NAME_LEN-1) < 0)
		return -EFAULT;
	name[MODULE_NAME_LEN-1] = '\0';

969 970
	audit_log_kern_module(name);

971 972
	if (mutex_lock_interruptible(&module_mutex) != 0)
		return -EINTR;
L
Linus Torvalds 已提交
973 974 975 976 977 978 979

	mod = find_module(name);
	if (!mod) {
		ret = -ENOENT;
		goto out;
	}

980
	if (!list_empty(&mod->source_list)) {
L
Linus Torvalds 已提交
981 982 983 984 985 986 987
		/* Other modules depend on us: get rid of them first. */
		ret = -EWOULDBLOCK;
		goto out;
	}

	/* Doing init or already dying? */
	if (mod->state != MODULE_STATE_LIVE) {
988
		/* FIXME: if (force), slam module count damn the torpedoes */
989
		pr_debug("%s already dying\n", mod->name);
L
Linus Torvalds 已提交
990 991 992 993 994
		ret = -EBUSY;
		goto out;
	}

	/* If it has an init func, it must have an exit func to unload */
R
Rusty Russell 已提交
995
	if (mod->init && !mod->exit) {
996
		forced = try_force_unload(flags);
L
Linus Torvalds 已提交
997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008
		if (!forced) {
			/* This module can't be removed */
			ret = -EBUSY;
			goto out;
		}
	}

	/* Stop the machine so refcounts can't move and disable module. */
	ret = try_stop_module(mod, flags, &forced);
	if (ret != 0)
		goto out;

1009
	mutex_unlock(&module_mutex);
L
Lucas De Marchi 已提交
1010
	/* Final destruction now no one is using it. */
1011
	if (mod->exit != NULL)
L
Linus Torvalds 已提交
1012
		mod->exit();
1013 1014
	blocking_notifier_call_chain(&module_notify_list,
				     MODULE_STATE_GOING, mod);
1015
	klp_module_going(mod);
1016 1017
	ftrace_release_mod(mod);

1018
	async_synchronize_full();
1019

1020
	/* Store the name of the last unloaded module for diagnostic purposes */
1021
	strlcpy(last_unloaded_module, mod->name, sizeof(last_unloaded_module));
L
Linus Torvalds 已提交
1022

1023
	free_module(mod);
1024 1025
	/* someone could wait for the module in add_unformed_module() */
	wake_up_all(&module_wq);
1026 1027
	return 0;
out:
1028
	mutex_unlock(&module_mutex);
L
Linus Torvalds 已提交
1029 1030 1031
	return ret;
}

1032
static inline void print_unload_info(struct seq_file *m, struct module *mod)
L
Linus Torvalds 已提交
1033 1034 1035 1036
{
	struct module_use *use;
	int printed_something = 0;

1037
	seq_printf(m, " %i ", module_refcount(mod));
L
Linus Torvalds 已提交
1038

1039 1040 1041 1042
	/*
	 * Always include a trailing , so userspace can differentiate
	 * between this and the old multi-field proc format.
	 */
1043
	list_for_each_entry(use, &mod->source_list, source_list) {
L
Linus Torvalds 已提交
1044
		printed_something = 1;
1045
		seq_printf(m, "%s,", use->source->name);
L
Linus Torvalds 已提交
1046 1047 1048 1049
	}

	if (mod->init != NULL && mod->exit == NULL) {
		printed_something = 1;
1050
		seq_puts(m, "[permanent],");
L
Linus Torvalds 已提交
1051 1052 1053
	}

	if (!printed_something)
1054
		seq_puts(m, "-");
L
Linus Torvalds 已提交
1055 1056 1057 1058 1059 1060
}

void __symbol_put(const char *symbol)
{
	struct module *owner;

R
Rusty Russell 已提交
1061
	preempt_disable();
1062
	if (!find_symbol(symbol, &owner, NULL, true, false))
L
Linus Torvalds 已提交
1063 1064
		BUG();
	module_put(owner);
R
Rusty Russell 已提交
1065
	preempt_enable();
L
Linus Torvalds 已提交
1066 1067 1068
}
EXPORT_SYMBOL(__symbol_put);

1069
/* Note this assumes addr is a function, which it currently always is. */
L
Linus Torvalds 已提交
1070 1071
void symbol_put_addr(void *addr)
{
1072
	struct module *modaddr;
1073
	unsigned long a = (unsigned long)dereference_function_descriptor(addr);
L
Linus Torvalds 已提交
1074

1075
	if (core_kernel_text(a))
1076
		return;
L
Linus Torvalds 已提交
1077

1078 1079 1080 1081 1082
	/*
	 * Even though we hold a reference on the module; we still need to
	 * disable preemption in order to safely traverse the data structure.
	 */
	preempt_disable();
1083
	modaddr = __module_text_address(a);
1084
	BUG_ON(!modaddr);
1085
	module_put(modaddr);
1086
	preempt_enable();
L
Linus Torvalds 已提交
1087 1088 1089 1090
}
EXPORT_SYMBOL_GPL(symbol_put_addr);

static ssize_t show_refcnt(struct module_attribute *mattr,
1091
			   struct module_kobject *mk, char *buffer)
L
Linus Torvalds 已提交
1092
{
1093
	return sprintf(buffer, "%i\n", module_refcount(mk->mod));
L
Linus Torvalds 已提交
1094 1095
}

1096 1097
static struct module_attribute modinfo_refcnt =
	__ATTR(refcnt, 0444, show_refcnt, NULL);
L
Linus Torvalds 已提交
1098

1099 1100 1101 1102
void __module_get(struct module *module)
{
	if (module) {
		preempt_disable();
1103
		atomic_inc(&module->refcnt);
1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115
		trace_module_get(module, _RET_IP_);
		preempt_enable();
	}
}
EXPORT_SYMBOL(__module_get);

bool try_module_get(struct module *module)
{
	bool ret = true;

	if (module) {
		preempt_disable();
1116 1117 1118
		/* Note: here, we can fail to get a reference */
		if (likely(module_is_live(module) &&
			   atomic_inc_not_zero(&module->refcnt) != 0))
1119
			trace_module_get(module, _RET_IP_);
1120
		else
1121 1122 1123 1124 1125 1126 1127 1128
			ret = false;

		preempt_enable();
	}
	return ret;
}
EXPORT_SYMBOL(try_module_get);

A
Al Viro 已提交
1129 1130
void module_put(struct module *module)
{
1131 1132
	int ret;

A
Al Viro 已提交
1133
	if (module) {
1134
		preempt_disable();
1135 1136
		ret = atomic_dec_if_positive(&module->refcnt);
		WARN_ON(ret < 0);	/* Failed to put refcount */
1137
		trace_module_put(module, _RET_IP_);
1138
		preempt_enable();
A
Al Viro 已提交
1139 1140 1141 1142
	}
}
EXPORT_SYMBOL(module_put);

L
Linus Torvalds 已提交
1143
#else /* !CONFIG_MODULE_UNLOAD */
1144
static inline void print_unload_info(struct seq_file *m, struct module *mod)
L
Linus Torvalds 已提交
1145 1146
{
	/* We don't know the usage count, or what modules are using. */
1147
	seq_puts(m, " - -");
L
Linus Torvalds 已提交
1148 1149 1150 1151 1152 1153
}

static inline void module_unload_free(struct module *mod)
{
}

1154
int ref_module(struct module *a, struct module *b)
L
Linus Torvalds 已提交
1155
{
1156
	return strong_try_module_get(b);
L
Linus Torvalds 已提交
1157
}
1158
EXPORT_SYMBOL_GPL(ref_module);
L
Linus Torvalds 已提交
1159

1160
static inline int module_unload_init(struct module *mod)
L
Linus Torvalds 已提交
1161
{
1162
	return 0;
L
Linus Torvalds 已提交
1163 1164 1165
}
#endif /* CONFIG_MODULE_UNLOAD */

1166 1167 1168
static size_t module_flags_taint(struct module *mod, char *buf)
{
	size_t l = 0;
1169 1170 1171 1172
	int i;

	for (i = 0; i < TAINT_FLAGS_COUNT; i++) {
		if (taint_flags[i].module && test_bit(i, &mod->taints))
1173
			buf[l++] = taint_flags[i].c_true;
1174
	}
1175 1176 1177 1178

	return l;
}

1179
static ssize_t show_initstate(struct module_attribute *mattr,
1180
			      struct module_kobject *mk, char *buffer)
1181 1182 1183
{
	const char *state = "unknown";

1184
	switch (mk->mod->state) {
1185 1186 1187 1188 1189 1190 1191 1192 1193
	case MODULE_STATE_LIVE:
		state = "live";
		break;
	case MODULE_STATE_COMING:
		state = "coming";
		break;
	case MODULE_STATE_GOING:
		state = "going";
		break;
1194 1195
	default:
		BUG();
1196 1197 1198 1199
	}
	return sprintf(buffer, "%s\n", state);
}

1200 1201
static struct module_attribute modinfo_initstate =
	__ATTR(initstate, 0444, show_initstate, NULL);
1202

1203 1204 1205 1206
static ssize_t store_uevent(struct module_attribute *mattr,
			    struct module_kobject *mk,
			    const char *buffer, size_t count)
{
1207 1208 1209 1210
	int rc;

	rc = kobject_synth_uevent(&mk->kobj, buffer, count);
	return rc ? rc : count;
1211 1212
}

1213 1214 1215 1216 1217 1218
struct module_attribute module_uevent =
	__ATTR(uevent, 0200, NULL, store_uevent);

static ssize_t show_coresize(struct module_attribute *mattr,
			     struct module_kobject *mk, char *buffer)
{
1219
	return sprintf(buffer, "%u\n", mk->mod->core_layout.size);
1220 1221 1222 1223 1224 1225 1226 1227
}

static struct module_attribute modinfo_coresize =
	__ATTR(coresize, 0444, show_coresize, NULL);

static ssize_t show_initsize(struct module_attribute *mattr,
			     struct module_kobject *mk, char *buffer)
{
1228
	return sprintf(buffer, "%u\n", mk->mod->init_layout.size);
1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245
}

static struct module_attribute modinfo_initsize =
	__ATTR(initsize, 0444, show_initsize, NULL);

static ssize_t show_taint(struct module_attribute *mattr,
			  struct module_kobject *mk, char *buffer)
{
	size_t l;

	l = module_flags_taint(mk->mod, buffer);
	buffer[l++] = '\n';
	return l;
}

static struct module_attribute modinfo_taint =
	__ATTR(taint, 0444, show_taint, NULL);
1246

1247
static struct module_attribute *modinfo_attrs[] = {
1248
	&module_uevent,
1249 1250
	&modinfo_version,
	&modinfo_srcversion,
1251 1252 1253 1254
	&modinfo_initstate,
	&modinfo_coresize,
	&modinfo_initsize,
	&modinfo_taint,
1255
#ifdef CONFIG_MODULE_UNLOAD
1256
	&modinfo_refcnt,
1257 1258 1259 1260
#endif
	NULL,
};

L
Linus Torvalds 已提交
1261 1262
static const char vermagic[] = VERMAGIC_STRING;

1263
static int try_to_force_load(struct module *mod, const char *reason)
1264 1265
{
#ifdef CONFIG_MODULE_FORCE_LOAD
A
Andi Kleen 已提交
1266
	if (!test_taint(TAINT_FORCED_MODULE))
A
Andrew Morton 已提交
1267
		pr_warn("%s: %s: kernel tainted.\n", mod->name, reason);
1268
	add_taint_module(mod, TAINT_FORCED_MODULE, LOCKDEP_NOW_UNRELIABLE);
1269 1270 1271 1272 1273 1274
	return 0;
#else
	return -ENOEXEC;
#endif
}

L
Linus Torvalds 已提交
1275
#ifdef CONFIG_MODVERSIONS
1276 1277

static u32 resolve_rel_crc(const s32 *crc)
1278
{
1279
	return *(u32 *)((void *)crc + *crc);
1280 1281
}

1282
static int check_version(const struct load_info *info,
L
Linus Torvalds 已提交
1283
			 const char *symname,
1284
			 struct module *mod,
1285
			 const s32 *crc)
L
Linus Torvalds 已提交
1286
{
1287 1288
	Elf_Shdr *sechdrs = info->sechdrs;
	unsigned int versindex = info->index.vers;
L
Linus Torvalds 已提交
1289 1290 1291 1292 1293 1294 1295
	unsigned int i, num_versions;
	struct modversion_info *versions;

	/* Exporting module didn't supply crcs?  OK, we're already tainted. */
	if (!crc)
		return 1;

1296 1297 1298 1299
	/* No versions at all?  modprobe --force does this. */
	if (versindex == 0)
		return try_to_force_load(mod, symname) == 0;

L
Linus Torvalds 已提交
1300 1301 1302 1303 1304
	versions = (void *) sechdrs[versindex].sh_addr;
	num_versions = sechdrs[versindex].sh_size
		/ sizeof(struct modversion_info);

	for (i = 0; i < num_versions; i++) {
1305 1306
		u32 crcval;

L
Linus Torvalds 已提交
1307 1308 1309
		if (strcmp(versions[i].name, symname) != 0)
			continue;

1310 1311 1312 1313 1314
		if (IS_ENABLED(CONFIG_MODULE_REL_CRCS))
			crcval = resolve_rel_crc(crc);
		else
			crcval = *crc;
		if (versions[i].crc == crcval)
L
Linus Torvalds 已提交
1315
			return 1;
1316 1317
		pr_debug("Found checksum %X vs module %lX\n",
			 crcval, versions[i].crc);
1318
		goto bad_version;
L
Linus Torvalds 已提交
1319
	}
1320

1321
	/* Broken toolchain. Warn once, then let it go.. */
K
Kees Cook 已提交
1322
	pr_warn_once("%s: no symbol version for %s\n", info->name, symname);
1323
	return 1;
1324 1325

bad_version:
1326
	pr_warn("%s: disagrees about version of symbol %s\n",
K
Kees Cook 已提交
1327
	       info->name, symname);
1328
	return 0;
L
Linus Torvalds 已提交
1329 1330
}

1331
static inline int check_modstruct_version(const struct load_info *info,
L
Linus Torvalds 已提交
1332 1333
					  struct module *mod)
{
1334
	const s32 *crc;
L
Linus Torvalds 已提交
1335

1336 1337 1338 1339 1340
	/*
	 * Since this should be found in kernel (which can't be removed), no
	 * locking is necessary -- use preempt_disable() to placate lockdep.
	 */
	preempt_disable();
1341
	if (!find_symbol("module_layout", NULL, &crc, true, false)) {
1342
		preempt_enable();
L
Linus Torvalds 已提交
1343
		BUG();
1344 1345
	}
	preempt_enable();
1346
	return check_version(info, "module_layout", mod, crc);
L
Linus Torvalds 已提交
1347 1348
}

1349 1350 1351
/* First part is kernel version, which we ignore if module has crcs. */
static inline int same_magic(const char *amagic, const char *bmagic,
			     bool has_crcs)
L
Linus Torvalds 已提交
1352
{
1353 1354 1355 1356
	if (has_crcs) {
		amagic += strcspn(amagic, " ");
		bmagic += strcspn(bmagic, " ");
	}
L
Linus Torvalds 已提交
1357 1358 1359
	return strcmp(amagic, bmagic) == 0;
}
#else
1360
static inline int check_version(const struct load_info *info,
L
Linus Torvalds 已提交
1361
				const char *symname,
1362
				struct module *mod,
1363
				const s32 *crc)
L
Linus Torvalds 已提交
1364 1365 1366 1367
{
	return 1;
}

1368
static inline int check_modstruct_version(const struct load_info *info,
L
Linus Torvalds 已提交
1369 1370 1371 1372 1373
					  struct module *mod)
{
	return 1;
}

1374 1375
static inline int same_magic(const char *amagic, const char *bmagic,
			     bool has_crcs)
L
Linus Torvalds 已提交
1376 1377 1378 1379 1380
{
	return strcmp(amagic, bmagic) == 0;
}
#endif /* CONFIG_MODVERSIONS */

1381
/* Resolve a symbol for this module.  I.e. if we find one, record usage. */
1382 1383
static const struct kernel_symbol *resolve_symbol(struct module *mod,
						  const struct load_info *info,
1384
						  const char *name,
1385
						  char ownername[])
L
Linus Torvalds 已提交
1386 1387
{
	struct module *owner;
1388
	const struct kernel_symbol *sym;
1389
	const s32 *crc;
1390
	int err;
L
Linus Torvalds 已提交
1391

1392 1393 1394 1395 1396 1397
	/*
	 * The module_mutex should not be a heavily contended lock;
	 * if we get the occasional sleep here, we'll go an extra iteration
	 * in the wait_event_interruptible(), which is harmless.
	 */
	sched_annotate_sleep();
1398
	mutex_lock(&module_mutex);
1399
	sym = find_symbol(name, &owner, &crc,
A
Andi Kleen 已提交
1400
			  !(mod->taints & (1 << TAINT_PROPRIETARY_MODULE)), true);
1401 1402 1403
	if (!sym)
		goto unlock;

1404
	if (!check_version(info, name, mod, crc)) {
1405 1406
		sym = ERR_PTR(-EINVAL);
		goto getname;
L
Linus Torvalds 已提交
1407
	}
1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418

	err = ref_module(mod, owner);
	if (err) {
		sym = ERR_PTR(err);
		goto getname;
	}

getname:
	/* We must make copy under the lock if we failed to get ref. */
	strncpy(ownername, module_name(owner), MODULE_NAME_LEN);
unlock:
1419
	mutex_unlock(&module_mutex);
1420
	return sym;
L
Linus Torvalds 已提交
1421 1422
}

1423 1424 1425 1426
static const struct kernel_symbol *
resolve_symbol_wait(struct module *mod,
		    const struct load_info *info,
		    const char *name)
1427 1428
{
	const struct kernel_symbol *ksym;
1429
	char owner[MODULE_NAME_LEN];
1430 1431

	if (wait_event_interruptible_timeout(module_wq,
1432 1433
			!IS_ERR(ksym = resolve_symbol(mod, info, name, owner))
			|| PTR_ERR(ksym) != -EBUSY,
1434
					     30 * HZ) <= 0) {
A
Andrew Morton 已提交
1435 1436
		pr_warn("%s: gave up waiting for init of module %s.\n",
			mod->name, owner);
1437 1438 1439 1440
	}
	return ksym;
}

L
Linus Torvalds 已提交
1441 1442 1443 1444
/*
 * /sys/module/foo/sections stuff
 * J. Corbet <corbet@lwn.net>
 */
R
Rusty Russell 已提交
1445
#ifdef CONFIG_SYSFS
1446

R
Rusty Russell 已提交
1447
#ifdef CONFIG_KALLSYMS
1448 1449 1450 1451 1452
static inline bool sect_empty(const Elf_Shdr *sect)
{
	return !(sect->sh_flags & SHF_ALLOC) || sect->sh_size == 0;
}

1453
struct module_sect_attr {
1454 1455 1456 1457 1458
	struct module_attribute mattr;
	char *name;
	unsigned long address;
};

1459
struct module_sect_attrs {
1460 1461 1462 1463 1464
	struct attribute_group grp;
	unsigned int nsections;
	struct module_sect_attr attrs[0];
};

L
Linus Torvalds 已提交
1465
static ssize_t module_sect_show(struct module_attribute *mattr,
1466
				struct module_kobject *mk, char *buf)
L
Linus Torvalds 已提交
1467 1468 1469
{
	struct module_sect_attr *sattr =
		container_of(mattr, struct module_sect_attr, mattr);
1470 1471
	return sprintf(buf, "0x%px\n", kptr_restrict < 2 ?
		       (void *)sattr->address : NULL);
L
Linus Torvalds 已提交
1472 1473
}

1474 1475
static void free_sect_attrs(struct module_sect_attrs *sect_attrs)
{
1476
	unsigned int section;
1477 1478 1479 1480 1481 1482

	for (section = 0; section < sect_attrs->nsections; section++)
		kfree(sect_attrs->attrs[section].name);
	kfree(sect_attrs);
}

R
Rusty Russell 已提交
1483
static void add_sect_attrs(struct module *mod, const struct load_info *info)
L
Linus Torvalds 已提交
1484 1485 1486 1487 1488
{
	unsigned int nloaded = 0, i, size[2];
	struct module_sect_attrs *sect_attrs;
	struct module_sect_attr *sattr;
	struct attribute **gattr;
D
Daniel Walker 已提交
1489

L
Linus Torvalds 已提交
1490
	/* Count loaded sections and allocate structures */
R
Rusty Russell 已提交
1491 1492
	for (i = 0; i < info->hdr->e_shnum; i++)
		if (!sect_empty(&info->sechdrs[i]))
L
Linus Torvalds 已提交
1493 1494 1495 1496 1497
			nloaded++;
	size[0] = ALIGN(sizeof(*sect_attrs)
			+ nloaded * sizeof(sect_attrs->attrs[0]),
			sizeof(sect_attrs->grp.attrs[0]));
	size[1] = (nloaded + 1) * sizeof(sect_attrs->grp.attrs[0]);
1498 1499
	sect_attrs = kzalloc(size[0] + size[1], GFP_KERNEL);
	if (sect_attrs == NULL)
L
Linus Torvalds 已提交
1500 1501 1502 1503 1504 1505
		return;

	/* Setup section attributes. */
	sect_attrs->grp.name = "sections";
	sect_attrs->grp.attrs = (void *)sect_attrs + size[0];

1506
	sect_attrs->nsections = 0;
L
Linus Torvalds 已提交
1507 1508
	sattr = &sect_attrs->attrs[0];
	gattr = &sect_attrs->grp.attrs[0];
R
Rusty Russell 已提交
1509 1510 1511
	for (i = 0; i < info->hdr->e_shnum; i++) {
		Elf_Shdr *sec = &info->sechdrs[i];
		if (sect_empty(sec))
1512
			continue;
R
Rusty Russell 已提交
1513 1514
		sattr->address = sec->sh_addr;
		sattr->name = kstrdup(info->secstrings + sec->sh_name,
1515 1516 1517 1518
					GFP_KERNEL);
		if (sattr->name == NULL)
			goto out;
		sect_attrs->nsections++;
1519
		sysfs_attr_init(&sattr->mattr.attr);
L
Linus Torvalds 已提交
1520 1521 1522
		sattr->mattr.show = module_sect_show;
		sattr->mattr.store = NULL;
		sattr->mattr.attr.name = sattr->name;
1523
		sattr->mattr.attr.mode = S_IRUSR;
L
Linus Torvalds 已提交
1524 1525 1526 1527 1528 1529 1530 1531 1532 1533
		*(gattr++) = &(sattr++)->mattr.attr;
	}
	*gattr = NULL;

	if (sysfs_create_group(&mod->mkobj.kobj, &sect_attrs->grp))
		goto out;

	mod->sect_attrs = sect_attrs;
	return;
  out:
1534
	free_sect_attrs(sect_attrs);
L
Linus Torvalds 已提交
1535 1536 1537 1538 1539 1540 1541 1542 1543
}

static void remove_sect_attrs(struct module *mod)
{
	if (mod->sect_attrs) {
		sysfs_remove_group(&mod->mkobj.kobj,
				   &mod->sect_attrs->grp);
		/* We are positive that no one is using any sect attrs
		 * at this point.  Deallocate immediately. */
1544
		free_sect_attrs(mod->sect_attrs);
L
Linus Torvalds 已提交
1545 1546 1547 1548
		mod->sect_attrs = NULL;
	}
}

R
Roland McGrath 已提交
1549 1550 1551 1552 1553 1554 1555 1556 1557 1558
/*
 * /sys/module/foo/notes/.section.name gives contents of SHT_NOTE sections.
 */

struct module_notes_attrs {
	struct kobject *dir;
	unsigned int notes;
	struct bin_attribute attrs[0];
};

1559
static ssize_t module_notes_read(struct file *filp, struct kobject *kobj,
R
Roland McGrath 已提交
1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576
				 struct bin_attribute *bin_attr,
				 char *buf, loff_t pos, size_t count)
{
	/*
	 * The caller checked the pos and count against our size.
	 */
	memcpy(buf, bin_attr->private + pos, count);
	return count;
}

static void free_notes_attrs(struct module_notes_attrs *notes_attrs,
			     unsigned int i)
{
	if (notes_attrs->dir) {
		while (i-- > 0)
			sysfs_remove_bin_file(notes_attrs->dir,
					      &notes_attrs->attrs[i]);
1577
		kobject_put(notes_attrs->dir);
R
Roland McGrath 已提交
1578 1579 1580 1581
	}
	kfree(notes_attrs);
}

R
Rusty Russell 已提交
1582
static void add_notes_attrs(struct module *mod, const struct load_info *info)
R
Roland McGrath 已提交
1583 1584 1585 1586 1587
{
	unsigned int notes, loaded, i;
	struct module_notes_attrs *notes_attrs;
	struct bin_attribute *nattr;

1588 1589 1590 1591
	/* failed to create section attributes, so can't create notes */
	if (!mod->sect_attrs)
		return;

R
Roland McGrath 已提交
1592 1593
	/* Count notes sections and allocate structures.  */
	notes = 0;
R
Rusty Russell 已提交
1594 1595 1596
	for (i = 0; i < info->hdr->e_shnum; i++)
		if (!sect_empty(&info->sechdrs[i]) &&
		    (info->sechdrs[i].sh_type == SHT_NOTE))
R
Roland McGrath 已提交
1597 1598 1599 1600 1601
			++notes;

	if (notes == 0)
		return;

1602
	notes_attrs = kzalloc(struct_size(notes_attrs, attrs, notes),
R
Roland McGrath 已提交
1603 1604 1605 1606 1607 1608
			      GFP_KERNEL);
	if (notes_attrs == NULL)
		return;

	notes_attrs->notes = notes;
	nattr = &notes_attrs->attrs[0];
R
Rusty Russell 已提交
1609 1610
	for (loaded = i = 0; i < info->hdr->e_shnum; ++i) {
		if (sect_empty(&info->sechdrs[i]))
R
Roland McGrath 已提交
1611
			continue;
R
Rusty Russell 已提交
1612
		if (info->sechdrs[i].sh_type == SHT_NOTE) {
1613
			sysfs_bin_attr_init(nattr);
R
Roland McGrath 已提交
1614 1615
			nattr->attr.name = mod->sect_attrs->attrs[loaded].name;
			nattr->attr.mode = S_IRUGO;
R
Rusty Russell 已提交
1616 1617
			nattr->size = info->sechdrs[i].sh_size;
			nattr->private = (void *) info->sechdrs[i].sh_addr;
R
Roland McGrath 已提交
1618 1619 1620 1621 1622 1623
			nattr->read = module_notes_read;
			++nattr;
		}
		++loaded;
	}

1624
	notes_attrs->dir = kobject_create_and_add("notes", &mod->mkobj.kobj);
R
Roland McGrath 已提交
1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645
	if (!notes_attrs->dir)
		goto out;

	for (i = 0; i < notes; ++i)
		if (sysfs_create_bin_file(notes_attrs->dir,
					  &notes_attrs->attrs[i]))
			goto out;

	mod->notes_attrs = notes_attrs;
	return;

  out:
	free_notes_attrs(notes_attrs, i);
}

static void remove_notes_attrs(struct module *mod)
{
	if (mod->notes_attrs)
		free_notes_attrs(mod->notes_attrs, mod->notes_attrs->notes);
}

L
Linus Torvalds 已提交
1646
#else
1647

R
Rusty Russell 已提交
1648 1649
static inline void add_sect_attrs(struct module *mod,
				  const struct load_info *info)
L
Linus Torvalds 已提交
1650 1651 1652 1653 1654 1655
{
}

static inline void remove_sect_attrs(struct module *mod)
{
}
R
Roland McGrath 已提交
1656

R
Rusty Russell 已提交
1657 1658
static inline void add_notes_attrs(struct module *mod,
				   const struct load_info *info)
R
Roland McGrath 已提交
1659 1660 1661 1662 1663 1664
{
}

static inline void remove_notes_attrs(struct module *mod)
{
}
R
Rusty Russell 已提交
1665
#endif /* CONFIG_KALLSYMS */
L
Linus Torvalds 已提交
1666

1667
static void del_usage_links(struct module *mod)
1668 1669 1670 1671
{
#ifdef CONFIG_MODULE_UNLOAD
	struct module_use *use;

1672
	mutex_lock(&module_mutex);
1673 1674
	list_for_each_entry(use, &mod->target_list, target_list)
		sysfs_remove_link(use->target->holders_dir, mod->name);
1675
	mutex_unlock(&module_mutex);
1676 1677 1678
#endif
}

1679
static int add_usage_links(struct module *mod)
1680
{
1681
	int ret = 0;
1682 1683 1684
#ifdef CONFIG_MODULE_UNLOAD
	struct module_use *use;

1685
	mutex_lock(&module_mutex);
1686 1687 1688 1689 1690 1691
	list_for_each_entry(use, &mod->target_list, target_list) {
		ret = sysfs_create_link(use->target->holders_dir,
					&mod->mkobj.kobj, mod->name);
		if (ret)
			break;
	}
1692
	mutex_unlock(&module_mutex);
1693 1694
	if (ret)
		del_usage_links(mod);
1695
#endif
1696
	return ret;
1697 1698
}

1699 1700
static void module_remove_modinfo_attrs(struct module *mod, int end);

1701
static int module_add_modinfo_attrs(struct module *mod)
1702 1703
{
	struct module_attribute *attr;
1704
	struct module_attribute *temp_attr;
1705 1706 1707
	int error = 0;
	int i;

1708 1709 1710 1711 1712 1713 1714
	mod->modinfo_attrs = kzalloc((sizeof(struct module_attribute) *
					(ARRAY_SIZE(modinfo_attrs) + 1)),
					GFP_KERNEL);
	if (!mod->modinfo_attrs)
		return -ENOMEM;

	temp_attr = mod->modinfo_attrs;
1715
	for (i = 0; (attr = modinfo_attrs[i]); i++) {
R
Rusty Russell 已提交
1716
		if (!attr->test || attr->test(mod)) {
1717
			memcpy(temp_attr, attr, sizeof(*temp_attr));
1718
			sysfs_attr_init(&temp_attr->attr);
1719 1720
			error = sysfs_create_file(&mod->mkobj.kobj,
					&temp_attr->attr);
1721 1722
			if (error)
				goto error_out;
1723 1724
			++temp_attr;
		}
1725
	}
1726 1727 1728 1729 1730 1731

	return 0;

error_out:
	if (i > 0)
		module_remove_modinfo_attrs(mod, --i);
1732 1733 1734
	return error;
}

1735
static void module_remove_modinfo_attrs(struct module *mod, int end)
1736 1737 1738 1739
{
	struct module_attribute *attr;
	int i;

1740
	for (i = 0; (attr = &mod->modinfo_attrs[i]); i++) {
1741 1742
		if (end >= 0 && i > end)
			break;
1743 1744 1745
		/* pick a field to test for end of list */
		if (!attr->attr.name)
			break;
1746
		sysfs_remove_file(&mod->mkobj.kobj, &attr->attr);
1747 1748
		if (attr->free)
			attr->free(mod);
1749
	}
1750
	kfree(mod->modinfo_attrs);
1751
}
L
Linus Torvalds 已提交
1752

1753 1754 1755 1756 1757 1758 1759 1760
static void mod_kobject_put(struct module *mod)
{
	DECLARE_COMPLETION_ONSTACK(c);
	mod->mkobj.kobj_completion = &c;
	kobject_put(&mod->mkobj.kobj);
	wait_for_completion(&c);
}

1761
static int mod_sysfs_init(struct module *mod)
L
Linus Torvalds 已提交
1762 1763
{
	int err;
1764
	struct kobject *kobj;
L
Linus Torvalds 已提交
1765

1766
	if (!module_sysfs_initialized) {
A
Andrew Morton 已提交
1767
		pr_err("%s: module sysfs not initialized\n", mod->name);
1768 1769 1770
		err = -EINVAL;
		goto out;
	}
1771 1772 1773

	kobj = kset_find_obj(module_kset, mod->name);
	if (kobj) {
A
Andrew Morton 已提交
1774
		pr_err("%s: module is already loaded\n", mod->name);
1775 1776 1777 1778 1779
		kobject_put(kobj);
		err = -EINVAL;
		goto out;
	}

L
Linus Torvalds 已提交
1780
	mod->mkobj.mod = mod;
1781

1782 1783 1784 1785 1786
	memset(&mod->mkobj.kobj, 0, sizeof(mod->mkobj.kobj));
	mod->mkobj.kobj.kset = module_kset;
	err = kobject_init_and_add(&mod->mkobj.kobj, &module_ktype, NULL,
				   "%s", mod->name);
	if (err)
1787
		mod_kobject_put(mod);
K
Kay Sievers 已提交
1788

1789
	/* delay uevent until full sysfs population */
K
Kay Sievers 已提交
1790 1791 1792 1793
out:
	return err;
}

1794
static int mod_sysfs_setup(struct module *mod,
R
Rusty Russell 已提交
1795
			   const struct load_info *info,
K
Kay Sievers 已提交
1796 1797 1798 1799 1800
			   struct kernel_param *kparam,
			   unsigned int num_params)
{
	int err;

1801 1802 1803 1804
	err = mod_sysfs_init(mod);
	if (err)
		goto out;

1805
	mod->holders_dir = kobject_create_and_add("holders", &mod->mkobj.kobj);
1806 1807
	if (!mod->holders_dir) {
		err = -ENOMEM;
K
Kay Sievers 已提交
1808
		goto out_unreg;
1809
	}
K
Kay Sievers 已提交
1810

L
Linus Torvalds 已提交
1811 1812
	err = module_param_sysfs_setup(mod, kparam, num_params);
	if (err)
K
Kay Sievers 已提交
1813
		goto out_unreg_holders;
L
Linus Torvalds 已提交
1814

1815 1816
	err = module_add_modinfo_attrs(mod);
	if (err)
1817
		goto out_unreg_param;
1818

1819 1820 1821 1822
	err = add_usage_links(mod);
	if (err)
		goto out_unreg_modinfo_attrs;

R
Rusty Russell 已提交
1823 1824
	add_sect_attrs(mod, info);
	add_notes_attrs(mod, info);
1825

1826
	kobject_uevent(&mod->mkobj.kobj, KOBJ_ADD);
L
Linus Torvalds 已提交
1827 1828
	return 0;

1829
out_unreg_modinfo_attrs:
1830
	module_remove_modinfo_attrs(mod, -1);
1831 1832
out_unreg_param:
	module_param_sysfs_remove(mod);
K
Kay Sievers 已提交
1833
out_unreg_holders:
1834
	kobject_put(mod->holders_dir);
K
Kay Sievers 已提交
1835
out_unreg:
1836
	mod_kobject_put(mod);
1837
out:
L
Linus Torvalds 已提交
1838 1839
	return err;
}
1840 1841 1842

static void mod_sysfs_fini(struct module *mod)
{
R
Rusty Russell 已提交
1843 1844
	remove_notes_attrs(mod);
	remove_sect_attrs(mod);
1845
	mod_kobject_put(mod);
1846 1847
}

1848 1849 1850 1851
static void init_param_lock(struct module *mod)
{
	mutex_init(&mod->param_lock);
}
R
Rusty Russell 已提交
1852
#else /* !CONFIG_SYSFS */
1853

R
Rusty Russell 已提交
1854 1855
static int mod_sysfs_setup(struct module *mod,
			   const struct load_info *info,
1856 1857 1858 1859 1860 1861
			   struct kernel_param *kparam,
			   unsigned int num_params)
{
	return 0;
}

1862 1863 1864 1865
static void mod_sysfs_fini(struct module *mod)
{
}

1866
static void module_remove_modinfo_attrs(struct module *mod, int end)
1867 1868 1869
{
}

1870 1871 1872 1873
static void del_usage_links(struct module *mod)
{
}

1874 1875 1876
static void init_param_lock(struct module *mod)
{
}
1877
#endif /* CONFIG_SYSFS */
L
Linus Torvalds 已提交
1878

1879
static void mod_sysfs_teardown(struct module *mod)
L
Linus Torvalds 已提交
1880
{
1881
	del_usage_links(mod);
1882
	module_remove_modinfo_attrs(mod, -1);
L
Linus Torvalds 已提交
1883
	module_param_sysfs_remove(mod);
1884 1885
	kobject_put(mod->mkobj.drivers_dir);
	kobject_put(mod->holders_dir);
1886
	mod_sysfs_fini(mod);
L
Linus Torvalds 已提交
1887 1888
}

1889
#ifdef CONFIG_ARCH_HAS_STRICT_MODULE_RWX
1890 1891 1892
/*
 * LKM RO/NX protection: protect module's text/ro-data
 * from modification and any data from execution.
R
Rusty Russell 已提交
1893 1894
 *
 * General layout of module is:
J
Jessica Yu 已提交
1895 1896 1897 1898 1899
 *          [text] [read-only-data] [ro-after-init] [writable data]
 * text_size -----^                ^               ^               ^
 * ro_size ------------------------|               |               |
 * ro_after_init_size -----------------------------|               |
 * size -----------------------------------------------------------|
R
Rusty Russell 已提交
1900 1901
 *
 * These values are always page-aligned (as is base)
1902
 */
R
Rusty Russell 已提交
1903 1904
static void frob_text(const struct module_layout *layout,
		      int (*set_memory)(unsigned long start, int num_pages))
1905
{
R
Rusty Russell 已提交
1906 1907 1908 1909
	BUG_ON((unsigned long)layout->base & (PAGE_SIZE-1));
	BUG_ON((unsigned long)layout->text_size & (PAGE_SIZE-1));
	set_memory((unsigned long)layout->base,
		   layout->text_size >> PAGE_SHIFT);
1910 1911
}

1912
#ifdef CONFIG_STRICT_MODULE_RWX
R
Rusty Russell 已提交
1913 1914
static void frob_rodata(const struct module_layout *layout,
			int (*set_memory)(unsigned long start, int num_pages))
1915
{
R
Rusty Russell 已提交
1916 1917 1918 1919 1920
	BUG_ON((unsigned long)layout->base & (PAGE_SIZE-1));
	BUG_ON((unsigned long)layout->text_size & (PAGE_SIZE-1));
	BUG_ON((unsigned long)layout->ro_size & (PAGE_SIZE-1));
	set_memory((unsigned long)layout->base + layout->text_size,
		   (layout->ro_size - layout->text_size) >> PAGE_SHIFT);
1921 1922
}

J
Jessica Yu 已提交
1923 1924 1925 1926 1927 1928 1929 1930 1931 1932
static void frob_ro_after_init(const struct module_layout *layout,
				int (*set_memory)(unsigned long start, int num_pages))
{
	BUG_ON((unsigned long)layout->base & (PAGE_SIZE-1));
	BUG_ON((unsigned long)layout->ro_size & (PAGE_SIZE-1));
	BUG_ON((unsigned long)layout->ro_after_init_size & (PAGE_SIZE-1));
	set_memory((unsigned long)layout->base + layout->ro_size,
		   (layout->ro_after_init_size - layout->ro_size) >> PAGE_SHIFT);
}

R
Rusty Russell 已提交
1933 1934
static void frob_writable_data(const struct module_layout *layout,
			       int (*set_memory)(unsigned long start, int num_pages))
1935
{
R
Rusty Russell 已提交
1936
	BUG_ON((unsigned long)layout->base & (PAGE_SIZE-1));
J
Jessica Yu 已提交
1937
	BUG_ON((unsigned long)layout->ro_after_init_size & (PAGE_SIZE-1));
R
Rusty Russell 已提交
1938
	BUG_ON((unsigned long)layout->size & (PAGE_SIZE-1));
J
Jessica Yu 已提交
1939 1940
	set_memory((unsigned long)layout->base + layout->ro_after_init_size,
		   (layout->size - layout->ro_after_init_size) >> PAGE_SHIFT);
1941 1942
}

R
Rusty Russell 已提交
1943 1944
/* livepatching wants to disable read-only so it can frob module. */
void module_disable_ro(const struct module *mod)
1945
{
1946 1947 1948
	if (!rodata_enabled)
		return;

R
Rusty Russell 已提交
1949 1950
	frob_text(&mod->core_layout, set_memory_rw);
	frob_rodata(&mod->core_layout, set_memory_rw);
J
Jessica Yu 已提交
1951
	frob_ro_after_init(&mod->core_layout, set_memory_rw);
R
Rusty Russell 已提交
1952 1953
	frob_text(&mod->init_layout, set_memory_rw);
	frob_rodata(&mod->init_layout, set_memory_rw);
1954
}
1955

J
Jessica Yu 已提交
1956
void module_enable_ro(const struct module *mod, bool after_init)
1957
{
1958 1959 1960
	if (!rodata_enabled)
		return;

R
Rusty Russell 已提交
1961
	frob_text(&mod->core_layout, set_memory_ro);
1962

R
Rusty Russell 已提交
1963 1964 1965
	frob_rodata(&mod->core_layout, set_memory_ro);
	frob_text(&mod->init_layout, set_memory_ro);
	frob_rodata(&mod->init_layout, set_memory_ro);
J
Jessica Yu 已提交
1966 1967 1968

	if (after_init)
		frob_ro_after_init(&mod->core_layout, set_memory_ro);
1969 1970
}

R
Rusty Russell 已提交
1971
static void module_enable_nx(const struct module *mod)
1972
{
R
Rusty Russell 已提交
1973
	frob_rodata(&mod->core_layout, set_memory_nx);
J
Jessica Yu 已提交
1974
	frob_ro_after_init(&mod->core_layout, set_memory_nx);
R
Rusty Russell 已提交
1975 1976 1977
	frob_writable_data(&mod->core_layout, set_memory_nx);
	frob_rodata(&mod->init_layout, set_memory_nx);
	frob_writable_data(&mod->init_layout, set_memory_nx);
1978 1979
}

R
Rusty Russell 已提交
1980
static void module_disable_nx(const struct module *mod)
1981
{
R
Rusty Russell 已提交
1982
	frob_rodata(&mod->core_layout, set_memory_x);
J
Jessica Yu 已提交
1983
	frob_ro_after_init(&mod->core_layout, set_memory_x);
R
Rusty Russell 已提交
1984 1985 1986
	frob_writable_data(&mod->core_layout, set_memory_x);
	frob_rodata(&mod->init_layout, set_memory_x);
	frob_writable_data(&mod->init_layout, set_memory_x);
1987 1988 1989
}

/* Iterate through all modules and set each module's text as RW */
1990
void set_all_modules_text_rw(void)
1991 1992 1993
{
	struct module *mod;

1994 1995 1996
	if (!rodata_enabled)
		return;

1997 1998
	mutex_lock(&module_mutex);
	list_for_each_entry_rcu(mod, &modules, list) {
1999 2000
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;
R
Rusty Russell 已提交
2001 2002 2003

		frob_text(&mod->core_layout, set_memory_rw);
		frob_text(&mod->init_layout, set_memory_rw);
2004 2005 2006 2007 2008
	}
	mutex_unlock(&module_mutex);
}

/* Iterate through all modules and set each module's text as RO */
2009
void set_all_modules_text_ro(void)
2010 2011 2012
{
	struct module *mod;

2013 2014 2015
	if (!rodata_enabled)
		return;

2016 2017
	mutex_lock(&module_mutex);
	list_for_each_entry_rcu(mod, &modules, list) {
2018 2019 2020 2021 2022 2023 2024
		/*
		 * Ignore going modules since it's possible that ro
		 * protection has already been disabled, otherwise we'll
		 * run into protection faults at module deallocation.
		 */
		if (mod->state == MODULE_STATE_UNFORMED ||
			mod->state == MODULE_STATE_GOING)
2025
			continue;
R
Rusty Russell 已提交
2026 2027 2028

		frob_text(&mod->core_layout, set_memory_ro);
		frob_text(&mod->init_layout, set_memory_ro);
2029 2030 2031
	}
	mutex_unlock(&module_mutex);
}
R
Rusty Russell 已提交
2032 2033 2034

static void disable_ro_nx(const struct module_layout *layout)
{
2035 2036 2037 2038 2039
	if (rodata_enabled) {
		frob_text(layout, set_memory_rw);
		frob_rodata(layout, set_memory_rw);
		frob_ro_after_init(layout, set_memory_rw);
	}
R
Rusty Russell 已提交
2040
	frob_rodata(layout, set_memory_x);
J
Jessica Yu 已提交
2041
	frob_ro_after_init(layout, set_memory_x);
R
Rusty Russell 已提交
2042 2043 2044
	frob_writable_data(layout, set_memory_x);
}

2045
#else /* !CONFIG_STRICT_MODULE_RWX */
R
Rusty Russell 已提交
2046 2047 2048
static void disable_ro_nx(const struct module_layout *layout) { }
static void module_enable_nx(const struct module *mod) { }
static void module_disable_nx(const struct module *mod) { }
2049
#endif /*  CONFIG_STRICT_MODULE_RWX */
2050

2051 2052 2053 2054 2055
static void module_enable_x(const struct module *mod)
{
	frob_text(&mod->core_layout, set_memory_x);
	frob_text(&mod->init_layout, set_memory_x);
}
2056 2057 2058 2059 2060 2061
#else /* !CONFIG_ARCH_HAS_STRICT_MODULE_RWX */
static void disable_ro_nx(const struct module_layout *layout) { }
static void module_enable_nx(const struct module *mod) { }
static void module_disable_nx(const struct module *mod) { }
static void module_enable_x(const struct module *mod) { }
#endif /* CONFIG_ARCH_HAS_STRICT_MODULE_RWX */
2062

2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084
#ifdef CONFIG_LIVEPATCH
/*
 * Persist Elf information about a module. Copy the Elf header,
 * section header table, section string table, and symtab section
 * index from info to mod->klp_info.
 */
static int copy_module_elf(struct module *mod, struct load_info *info)
{
	unsigned int size, symndx;
	int ret;

	size = sizeof(*mod->klp_info);
	mod->klp_info = kmalloc(size, GFP_KERNEL);
	if (mod->klp_info == NULL)
		return -ENOMEM;

	/* Elf header */
	size = sizeof(mod->klp_info->hdr);
	memcpy(&mod->klp_info->hdr, info->hdr, size);

	/* Elf section header table */
	size = sizeof(*info->sechdrs) * info->hdr->e_shnum;
2085
	mod->klp_info->sechdrs = kmemdup(info->sechdrs, size, GFP_KERNEL);
2086 2087 2088 2089 2090 2091 2092
	if (mod->klp_info->sechdrs == NULL) {
		ret = -ENOMEM;
		goto free_info;
	}

	/* Elf section name string table */
	size = info->sechdrs[info->hdr->e_shstrndx].sh_size;
2093
	mod->klp_info->secstrings = kmemdup(info->secstrings, size, GFP_KERNEL);
2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137
	if (mod->klp_info->secstrings == NULL) {
		ret = -ENOMEM;
		goto free_sechdrs;
	}

	/* Elf symbol section index */
	symndx = info->index.sym;
	mod->klp_info->symndx = symndx;

	/*
	 * For livepatch modules, core_kallsyms.symtab is a complete
	 * copy of the original symbol table. Adjust sh_addr to point
	 * to core_kallsyms.symtab since the copy of the symtab in module
	 * init memory is freed at the end of do_init_module().
	 */
	mod->klp_info->sechdrs[symndx].sh_addr = \
		(unsigned long) mod->core_kallsyms.symtab;

	return 0;

free_sechdrs:
	kfree(mod->klp_info->sechdrs);
free_info:
	kfree(mod->klp_info);
	return ret;
}

static void free_module_elf(struct module *mod)
{
	kfree(mod->klp_info->sechdrs);
	kfree(mod->klp_info->secstrings);
	kfree(mod->klp_info);
}
#else /* !CONFIG_LIVEPATCH */
static int copy_module_elf(struct module *mod, struct load_info *info)
{
	return 0;
}

static void free_module_elf(struct module *mod)
{
}
#endif /* CONFIG_LIVEPATCH */

2138
void __weak module_memfree(void *module_region)
2139 2140 2141 2142 2143 2144 2145 2146
{
	vfree(module_region);
}

void __weak module_arch_cleanup(struct module *mod)
{
}

2147 2148 2149 2150
void __weak module_arch_freeing_init(struct module *mod)
{
}

2151
/* Free a module, remove from lists, etc. */
L
Linus Torvalds 已提交
2152 2153
static void free_module(struct module *mod)
{
2154 2155
	trace_module_free(mod);

2156
	mod_sysfs_teardown(mod);
L
Linus Torvalds 已提交
2157

2158 2159
	/* We leave it in list to prevent duplicate loads, but make sure
	 * that noone uses it while it's being deconstructed. */
2160
	mutex_lock(&module_mutex);
2161
	mod->state = MODULE_STATE_UNFORMED;
2162
	mutex_unlock(&module_mutex);
2163

2164 2165 2166
	/* Remove dynamic debug info */
	ddebug_remove_module(mod->name);

L
Linus Torvalds 已提交
2167 2168 2169 2170 2171 2172
	/* Arch-specific cleanup. */
	module_arch_cleanup(mod);

	/* Module unload stuff */
	module_unload_free(mod);

2173 2174 2175
	/* Free any allocated parameters. */
	destroy_params(mod->kp, mod->num_kp);

2176 2177 2178
	if (is_livepatch_module(mod))
		free_module_elf(mod);

2179 2180
	/* Now we can delete it from the lists */
	mutex_lock(&module_mutex);
2181 2182
	/* Unlink carefully: kallsyms could be walking list. */
	list_del_rcu(&mod->list);
2183
	mod_tree_remove(mod);
2184
	/* Remove this module from bug list, this uses list_del_rcu */
2185
	module_bug_cleanup(mod);
2186 2187
	/* Wait for RCU-sched synchronizing before releasing mod->list and buglist. */
	synchronize_sched();
2188 2189
	mutex_unlock(&module_mutex);

R
Rusty Russell 已提交
2190 2191
	/* This may be empty, but that's OK */
	disable_ro_nx(&mod->init_layout);
2192
	module_arch_freeing_init(mod);
2193
	module_memfree(mod->init_layout.base);
L
Linus Torvalds 已提交
2194
	kfree(mod->args);
2195
	percpu_modfree(mod);
2196

2197
	/* Free lock-classes; relies on the preceding sync_rcu(). */
2198
	lockdep_free_key_range(mod->core_layout.base, mod->core_layout.size);
I
Ingo Molnar 已提交
2199

L
Linus Torvalds 已提交
2200
	/* Finally, free the core (containing the module structure) */
R
Rusty Russell 已提交
2201
	disable_ro_nx(&mod->core_layout);
2202
	module_memfree(mod->core_layout.base);
L
Linus Torvalds 已提交
2203 2204 2205 2206 2207
}

void *__symbol_get(const char *symbol)
{
	struct module *owner;
2208
	const struct kernel_symbol *sym;
L
Linus Torvalds 已提交
2209

R
Rusty Russell 已提交
2210
	preempt_disable();
2211 2212 2213
	sym = find_symbol(symbol, &owner, NULL, true, true);
	if (sym && strong_try_module_get(owner))
		sym = NULL;
R
Rusty Russell 已提交
2214
	preempt_enable();
L
Linus Torvalds 已提交
2215

2216
	return sym ? (void *)kernel_symbol_value(sym) : NULL;
L
Linus Torvalds 已提交
2217 2218 2219
}
EXPORT_SYMBOL_GPL(__symbol_get);

2220 2221
/*
 * Ensure that an exported symbol [global namespace] does not already exist
2222
 * in the kernel or in some other module's exported symbol table.
2223 2224
 *
 * You must hold the module_mutex.
2225 2226 2227
 */
static int verify_export_symbols(struct module *mod)
{
2228
	unsigned int i;
2229
	struct module *owner;
2230 2231 2232 2233 2234 2235 2236 2237
	const struct kernel_symbol *s;
	struct {
		const struct kernel_symbol *sym;
		unsigned int num;
	} arr[] = {
		{ mod->syms, mod->num_syms },
		{ mod->gpl_syms, mod->num_gpl_syms },
		{ mod->gpl_future_syms, mod->num_gpl_future_syms },
2238
#ifdef CONFIG_UNUSED_SYMBOLS
2239 2240
		{ mod->unused_syms, mod->num_unused_syms },
		{ mod->unused_gpl_syms, mod->num_unused_gpl_syms },
2241
#endif
2242
	};
2243

2244 2245
	for (i = 0; i < ARRAY_SIZE(arr); i++) {
		for (s = arr[i].sym; s < arr[i].sym + arr[i].num; s++) {
2246 2247
			if (find_symbol(kernel_symbol_name(s), &owner, NULL,
					true, false)) {
A
Andrew Morton 已提交
2248
				pr_err("%s: exports duplicate symbol %s"
2249
				       " (owned by %s)\n",
2250 2251
				       mod->name, kernel_symbol_name(s),
				       module_name(owner));
2252 2253
				return -ENOEXEC;
			}
2254
		}
2255 2256
	}
	return 0;
2257 2258
}

2259
/* Change all symbols so that st_value encodes the pointer directly. */
2260 2261 2262 2263
static int simplify_symbols(struct module *mod, const struct load_info *info)
{
	Elf_Shdr *symsec = &info->sechdrs[info->index.sym];
	Elf_Sym *sym = (void *)symsec->sh_addr;
L
Linus Torvalds 已提交
2264
	unsigned long secbase;
2265
	unsigned int i;
L
Linus Torvalds 已提交
2266
	int ret = 0;
2267
	const struct kernel_symbol *ksym;
L
Linus Torvalds 已提交
2268

2269 2270 2271
	for (i = 1; i < symsec->sh_size / sizeof(Elf_Sym); i++) {
		const char *name = info->strtab + sym[i].st_name;

L
Linus Torvalds 已提交
2272 2273
		switch (sym[i].st_shndx) {
		case SHN_COMMON:
2274 2275 2276 2277
			/* Ignore common symbols */
			if (!strncmp(name, "__gnu_lto", 9))
				break;

L
Linus Torvalds 已提交
2278 2279
			/* We compiled with -fno-common.  These are not
			   supposed to happen.  */
2280
			pr_debug("Common symbol: %s\n", name);
2281
			pr_warn("%s: please compile with -fno-common\n",
L
Linus Torvalds 已提交
2282 2283 2284 2285 2286 2287
			       mod->name);
			ret = -ENOEXEC;
			break;

		case SHN_ABS:
			/* Don't need to do anything */
2288
			pr_debug("Absolute symbol: 0x%08lx\n",
L
Linus Torvalds 已提交
2289 2290 2291
			       (long)sym[i].st_value);
			break;

2292 2293 2294 2295
		case SHN_LIVEPATCH:
			/* Livepatch symbols are resolved by livepatch */
			break;

L
Linus Torvalds 已提交
2296
		case SHN_UNDEF:
2297
			ksym = resolve_symbol_wait(mod, info, name);
L
Linus Torvalds 已提交
2298
			/* Ok if resolved.  */
2299
			if (ksym && !IS_ERR(ksym)) {
2300
				sym[i].st_value = kernel_symbol_value(ksym);
L
Linus Torvalds 已提交
2301
				break;
2302 2303
			}

L
Linus Torvalds 已提交
2304
			/* Ok if weak.  */
2305
			if (!ksym && ELF_ST_BIND(sym[i].st_info) == STB_WEAK)
L
Linus Torvalds 已提交
2306 2307
				break;

2308
			ret = PTR_ERR(ksym) ?: -ENOENT;
2309 2310
			pr_warn("%s: Unknown symbol %s (err %d)\n",
				mod->name, name, ret);
L
Linus Torvalds 已提交
2311 2312 2313 2314
			break;

		default:
			/* Divert to percpu allocation if a percpu var. */
2315
			if (sym[i].st_shndx == info->index.pcpu)
2316
				secbase = (unsigned long)mod_percpu(mod);
L
Linus Torvalds 已提交
2317
			else
2318
				secbase = info->sechdrs[sym[i].st_shndx].sh_addr;
L
Linus Torvalds 已提交
2319 2320 2321 2322 2323 2324 2325 2326
			sym[i].st_value += secbase;
			break;
		}
	}

	return ret;
}

2327
static int apply_relocations(struct module *mod, const struct load_info *info)
2328 2329 2330 2331 2332
{
	unsigned int i;
	int err = 0;

	/* Now do relocations. */
2333 2334
	for (i = 1; i < info->hdr->e_shnum; i++) {
		unsigned int infosec = info->sechdrs[i].sh_info;
2335 2336

		/* Not a valid relocation section? */
2337
		if (infosec >= info->hdr->e_shnum)
2338 2339 2340
			continue;

		/* Don't bother with non-allocated sections */
2341
		if (!(info->sechdrs[infosec].sh_flags & SHF_ALLOC))
2342 2343
			continue;

2344 2345 2346 2347
		/* Livepatch relocation sections are applied by livepatch */
		if (info->sechdrs[i].sh_flags & SHF_RELA_LIVEPATCH)
			continue;

2348 2349 2350 2351 2352 2353
		if (info->sechdrs[i].sh_type == SHT_REL)
			err = apply_relocate(info->sechdrs, info->strtab,
					     info->index.sym, i, mod);
		else if (info->sechdrs[i].sh_type == SHT_RELA)
			err = apply_relocate_add(info->sechdrs, info->strtab,
						 info->index.sym, i, mod);
2354 2355 2356 2357 2358 2359
		if (err < 0)
			break;
	}
	return err;
}

2360 2361 2362 2363 2364 2365 2366 2367
/* Additional bytes needed by arch in front of individual sections */
unsigned int __weak arch_mod_section_prepend(struct module *mod,
					     unsigned int section)
{
	/* default implementation just returns zero */
	return 0;
}

L
Linus Torvalds 已提交
2368
/* Update size with this section: return offset. */
2369 2370
static long get_offset(struct module *mod, unsigned int *size,
		       Elf_Shdr *sechdr, unsigned int section)
L
Linus Torvalds 已提交
2371 2372 2373
{
	long ret;

2374
	*size += arch_mod_section_prepend(mod, section);
L
Linus Torvalds 已提交
2375 2376 2377 2378 2379 2380 2381 2382 2383
	ret = ALIGN(*size, sechdr->sh_addralign ?: 1);
	*size = ret + sechdr->sh_size;
	return ret;
}

/* Lay out the SHF_ALLOC sections in a way not dissimilar to how ld
   might -- code, read-only data, read-write data, small data.  Tally
   sizes, and place the offsets into sh_entsize fields: high bit means it
   belongs in init. */
2384
static void layout_sections(struct module *mod, struct load_info *info)
L
Linus Torvalds 已提交
2385 2386 2387 2388 2389 2390 2391
{
	static unsigned long const masks[][2] = {
		/* NOTE: all executable code must be the first section
		 * in this array; otherwise modify the text_size
		 * finder in the two loops below */
		{ SHF_EXECINSTR | SHF_ALLOC, ARCH_SHF_SMALL },
		{ SHF_ALLOC, SHF_WRITE | ARCH_SHF_SMALL },
J
Jessica Yu 已提交
2392
		{ SHF_RO_AFTER_INIT | SHF_ALLOC, ARCH_SHF_SMALL },
L
Linus Torvalds 已提交
2393 2394 2395 2396 2397
		{ SHF_WRITE | SHF_ALLOC, ARCH_SHF_SMALL },
		{ ARCH_SHF_SMALL | SHF_ALLOC, 0 }
	};
	unsigned int m, i;

2398 2399
	for (i = 0; i < info->hdr->e_shnum; i++)
		info->sechdrs[i].sh_entsize = ~0UL;
L
Linus Torvalds 已提交
2400

2401
	pr_debug("Core section allocation order:\n");
L
Linus Torvalds 已提交
2402
	for (m = 0; m < ARRAY_SIZE(masks); ++m) {
2403 2404 2405
		for (i = 0; i < info->hdr->e_shnum; ++i) {
			Elf_Shdr *s = &info->sechdrs[i];
			const char *sname = info->secstrings + s->sh_name;
L
Linus Torvalds 已提交
2406 2407 2408 2409

			if ((s->sh_flags & masks[m][0]) != masks[m][0]
			    || (s->sh_flags & masks[m][1])
			    || s->sh_entsize != ~0UL
2410
			    || strstarts(sname, ".init"))
L
Linus Torvalds 已提交
2411
				continue;
2412
			s->sh_entsize = get_offset(mod, &mod->core_layout.size, s, i);
2413
			pr_debug("\t%s\n", sname);
L
Linus Torvalds 已提交
2414
		}
2415 2416
		switch (m) {
		case 0: /* executable */
2417 2418
			mod->core_layout.size = debug_align(mod->core_layout.size);
			mod->core_layout.text_size = mod->core_layout.size;
2419 2420
			break;
		case 1: /* RO: text and ro-data */
2421 2422
			mod->core_layout.size = debug_align(mod->core_layout.size);
			mod->core_layout.ro_size = mod->core_layout.size;
2423
			break;
J
Jessica Yu 已提交
2424 2425 2426 2427 2428
		case 2: /* RO after init */
			mod->core_layout.size = debug_align(mod->core_layout.size);
			mod->core_layout.ro_after_init_size = mod->core_layout.size;
			break;
		case 4: /* whole core */
2429
			mod->core_layout.size = debug_align(mod->core_layout.size);
2430 2431
			break;
		}
L
Linus Torvalds 已提交
2432 2433
	}

2434
	pr_debug("Init section allocation order:\n");
L
Linus Torvalds 已提交
2435
	for (m = 0; m < ARRAY_SIZE(masks); ++m) {
2436 2437 2438
		for (i = 0; i < info->hdr->e_shnum; ++i) {
			Elf_Shdr *s = &info->sechdrs[i];
			const char *sname = info->secstrings + s->sh_name;
L
Linus Torvalds 已提交
2439 2440 2441 2442

			if ((s->sh_flags & masks[m][0]) != masks[m][0]
			    || (s->sh_flags & masks[m][1])
			    || s->sh_entsize != ~0UL
2443
			    || !strstarts(sname, ".init"))
L
Linus Torvalds 已提交
2444
				continue;
2445
			s->sh_entsize = (get_offset(mod, &mod->init_layout.size, s, i)
L
Linus Torvalds 已提交
2446
					 | INIT_OFFSET_MASK);
2447
			pr_debug("\t%s\n", sname);
L
Linus Torvalds 已提交
2448
		}
2449 2450
		switch (m) {
		case 0: /* executable */
2451 2452
			mod->init_layout.size = debug_align(mod->init_layout.size);
			mod->init_layout.text_size = mod->init_layout.size;
2453 2454
			break;
		case 1: /* RO: text and ro-data */
2455 2456
			mod->init_layout.size = debug_align(mod->init_layout.size);
			mod->init_layout.ro_size = mod->init_layout.size;
2457
			break;
J
Jessica Yu 已提交
2458 2459 2460 2461 2462 2463 2464 2465
		case 2:
			/*
			 * RO after init doesn't apply to init_layout (only
			 * core_layout), so it just takes the value of ro_size.
			 */
			mod->init_layout.ro_after_init_size = mod->init_layout.ro_size;
			break;
		case 4: /* whole init */
2466
			mod->init_layout.size = debug_align(mod->init_layout.size);
2467 2468
			break;
		}
L
Linus Torvalds 已提交
2469 2470 2471 2472 2473 2474 2475 2476
	}
}

static void set_license(struct module *mod, const char *license)
{
	if (!license)
		license = "unspecified";

2477
	if (!license_is_gpl_compatible(license)) {
A
Andi Kleen 已提交
2478
		if (!test_taint(TAINT_PROPRIETARY_MODULE))
A
Andrew Morton 已提交
2479 2480
			pr_warn("%s: module license '%s' taints kernel.\n",
				mod->name, license);
2481 2482
		add_taint_module(mod, TAINT_PROPRIETARY_MODULE,
				 LOCKDEP_NOW_UNRELIABLE);
L
Linus Torvalds 已提交
2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504
	}
}

/* Parse tag=value strings from .modinfo section */
static char *next_string(char *string, unsigned long *secsize)
{
	/* Skip non-zero chars */
	while (string[0]) {
		string++;
		if ((*secsize)-- <= 1)
			return NULL;
	}

	/* Skip any zero padding. */
	while (!string[0]) {
		string++;
		if ((*secsize)-- <= 1)
			return NULL;
	}
	return string;
}

2505
static char *get_modinfo(struct load_info *info, const char *tag)
L
Linus Torvalds 已提交
2506 2507 2508
{
	char *p;
	unsigned int taglen = strlen(tag);
2509 2510
	Elf_Shdr *infosec = &info->sechdrs[info->index.info];
	unsigned long size = infosec->sh_size;
L
Linus Torvalds 已提交
2511

2512 2513 2514 2515 2516
	/*
	 * get_modinfo() calls made before rewrite_section_headers()
	 * must use sh_offset, as sh_addr isn't set!
	 */
	for (p = (char *)info->hdr + infosec->sh_offset; p; p = next_string(p, &size)) {
L
Linus Torvalds 已提交
2517 2518 2519 2520 2521 2522
		if (strncmp(p, tag, taglen) == 0 && p[taglen] == '=')
			return p + taglen + 1;
	}
	return NULL;
}

2523
static void setup_modinfo(struct module *mod, struct load_info *info)
2524 2525 2526 2527 2528 2529
{
	struct module_attribute *attr;
	int i;

	for (i = 0; (attr = modinfo_attrs[i]); i++) {
		if (attr->setup)
2530
			attr->setup(mod, get_modinfo(info, attr->attr.name));
2531 2532 2533
	}
}

2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544
static void free_modinfo(struct module *mod)
{
	struct module_attribute *attr;
	int i;

	for (i = 0; (attr = modinfo_attrs[i]); i++) {
		if (attr->free)
			attr->free(mod);
	}
}

L
Linus Torvalds 已提交
2545
#ifdef CONFIG_KALLSYMS
2546 2547 2548 2549 2550 2551

/* lookup symbol in given range of kernel_symbols */
static const struct kernel_symbol *lookup_symbol(const char *name,
	const struct kernel_symbol *start,
	const struct kernel_symbol *stop)
{
2552 2553
	return bsearch(name, start, stop - start,
			sizeof(struct kernel_symbol), cmp_name);
2554 2555
}

2556 2557
static int is_exported(const char *name, unsigned long value,
		       const struct module *mod)
L
Linus Torvalds 已提交
2558
{
2559 2560 2561
	const struct kernel_symbol *ks;
	if (!mod)
		ks = lookup_symbol(name, __start___ksymtab, __stop___ksymtab);
2562
	else
2563
		ks = lookup_symbol(name, mod->syms, mod->syms + mod->num_syms);
2564
	return ks != NULL && kernel_symbol_value(ks) == value;
L
Linus Torvalds 已提交
2565 2566 2567
}

/* As per nm */
2568
static char elf_type(const Elf_Sym *sym, const struct load_info *info)
L
Linus Torvalds 已提交
2569
{
2570 2571
	const Elf_Shdr *sechdrs = info->sechdrs;

L
Linus Torvalds 已提交
2572 2573 2574 2575 2576 2577 2578 2579
	if (ELF_ST_BIND(sym->st_info) == STB_WEAK) {
		if (ELF_ST_TYPE(sym->st_info) == STT_OBJECT)
			return 'v';
		else
			return 'w';
	}
	if (sym->st_shndx == SHN_UNDEF)
		return 'U';
2580
	if (sym->st_shndx == SHN_ABS || sym->st_shndx == info->index.pcpu)
L
Linus Torvalds 已提交
2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600
		return 'a';
	if (sym->st_shndx >= SHN_LORESERVE)
		return '?';
	if (sechdrs[sym->st_shndx].sh_flags & SHF_EXECINSTR)
		return 't';
	if (sechdrs[sym->st_shndx].sh_flags & SHF_ALLOC
	    && sechdrs[sym->st_shndx].sh_type != SHT_NOBITS) {
		if (!(sechdrs[sym->st_shndx].sh_flags & SHF_WRITE))
			return 'r';
		else if (sechdrs[sym->st_shndx].sh_flags & ARCH_SHF_SMALL)
			return 'g';
		else
			return 'd';
	}
	if (sechdrs[sym->st_shndx].sh_type == SHT_NOBITS) {
		if (sechdrs[sym->st_shndx].sh_flags & ARCH_SHF_SMALL)
			return 's';
		else
			return 'b';
	}
2601 2602
	if (strstarts(info->secstrings + sechdrs[sym->st_shndx].sh_name,
		      ".debug")) {
L
Linus Torvalds 已提交
2603
		return 'n';
2604
	}
L
Linus Torvalds 已提交
2605 2606 2607
	return '?';
}

2608
static bool is_core_symbol(const Elf_Sym *src, const Elf_Shdr *sechdrs,
2609
			unsigned int shnum, unsigned int pcpundx)
2610 2611 2612 2613 2614 2615 2616 2617
{
	const Elf_Shdr *sec;

	if (src->st_shndx == SHN_UNDEF
	    || src->st_shndx >= shnum
	    || !src->st_name)
		return false;

2618 2619 2620 2621 2622
#ifdef CONFIG_KALLSYMS_ALL
	if (src->st_shndx == pcpundx)
		return true;
#endif

2623 2624 2625 2626 2627 2628 2629 2630 2631 2632 2633
	sec = sechdrs + src->st_shndx;
	if (!(sec->sh_flags & SHF_ALLOC)
#ifndef CONFIG_KALLSYMS_ALL
	    || !(sec->sh_flags & SHF_EXECINSTR)
#endif
	    || (sec->sh_entsize & INIT_OFFSET_MASK))
		return false;

	return true;
}

2634 2635 2636 2637 2638 2639 2640
/*
 * We only allocate and copy the strings needed by the parts of symtab
 * we keep.  This is simple, but has the effect of making multiple
 * copies of duplicates.  We could be more sophisticated, see
 * linux-kernel thread starting with
 * <73defb5e4bca04a6431392cc341112b1@localhost>.
 */
2641
static void layout_symtab(struct module *mod, struct load_info *info)
2642
{
2643 2644
	Elf_Shdr *symsect = info->sechdrs + info->index.sym;
	Elf_Shdr *strsect = info->sechdrs + info->index.str;
2645
	const Elf_Sym *src;
2646
	unsigned int i, nsrc, ndst, strtab_size = 0;
2647 2648 2649

	/* Put symbol section at end of init part of module. */
	symsect->sh_flags |= SHF_ALLOC;
2650
	symsect->sh_entsize = get_offset(mod, &mod->init_layout.size, symsect,
2651
					 info->index.sym) | INIT_OFFSET_MASK;
2652
	pr_debug("\t%s\n", info->secstrings + symsect->sh_name);
2653

2654
	src = (void *)info->hdr + symsect->sh_offset;
2655
	nsrc = symsect->sh_size / sizeof(*src);
2656

2657
	/* Compute total space required for the core symbols' strtab. */
2658
	for (ndst = i = 0; i < nsrc; i++) {
2659
		if (i == 0 || is_livepatch_module(mod) ||
2660 2661
		    is_core_symbol(src+i, info->sechdrs, info->hdr->e_shnum,
				   info->index.pcpu)) {
2662
			strtab_size += strlen(&info->strtab[src[i].st_name])+1;
2663
			ndst++;
2664
		}
2665
	}
2666 2667

	/* Append room for core symbols at end of core part. */
2668 2669 2670 2671
	info->symoffs = ALIGN(mod->core_layout.size, symsect->sh_addralign ?: 1);
	info->stroffs = mod->core_layout.size = info->symoffs + ndst * sizeof(Elf_Sym);
	mod->core_layout.size += strtab_size;
	mod->core_layout.size = debug_align(mod->core_layout.size);
2672

2673 2674
	/* Put string table section at end of init part of module. */
	strsect->sh_flags |= SHF_ALLOC;
2675
	strsect->sh_entsize = get_offset(mod, &mod->init_layout.size, strsect,
2676
					 info->index.str) | INIT_OFFSET_MASK;
2677
	pr_debug("\t%s\n", info->secstrings + strsect->sh_name);
2678 2679 2680 2681 2682 2683 2684

	/* We'll tack temporary mod_kallsyms on the end. */
	mod->init_layout.size = ALIGN(mod->init_layout.size,
				      __alignof__(struct mod_kallsyms));
	info->mod_kallsyms_init_off = mod->init_layout.size;
	mod->init_layout.size += sizeof(struct mod_kallsyms);
	mod->init_layout.size = debug_align(mod->init_layout.size);
2685 2686
}

2687 2688 2689 2690 2691
/*
 * We use the full symtab and strtab which layout_symtab arranged to
 * be appended to the init section.  Later we switch to the cut-down
 * core-only ones.
 */
2692
static void add_kallsyms(struct module *mod, const struct load_info *info)
L
Linus Torvalds 已提交
2693
{
2694 2695 2696
	unsigned int i, ndst;
	const Elf_Sym *src;
	Elf_Sym *dst;
2697
	char *s;
2698
	Elf_Shdr *symsec = &info->sechdrs[info->index.sym];
L
Linus Torvalds 已提交
2699

2700 2701 2702 2703 2704
	/* Set up to point into init section. */
	mod->kallsyms = mod->init_layout.base + info->mod_kallsyms_init_off;

	mod->kallsyms->symtab = (void *)symsec->sh_addr;
	mod->kallsyms->num_symtab = symsec->sh_size / sizeof(Elf_Sym);
2705
	/* Make sure we get permanent strtab: don't use info->strtab. */
2706
	mod->kallsyms->strtab = (void *)info->sechdrs[info->index.str].sh_addr;
L
Linus Torvalds 已提交
2707 2708

	/* Set types up while we still have access to sections. */
2709 2710 2711 2712 2713 2714 2715 2716 2717
	for (i = 0; i < mod->kallsyms->num_symtab; i++)
		mod->kallsyms->symtab[i].st_info
			= elf_type(&mod->kallsyms->symtab[i], info);

	/* Now populate the cut down core kallsyms for after init. */
	mod->core_kallsyms.symtab = dst = mod->core_layout.base + info->symoffs;
	mod->core_kallsyms.strtab = s = mod->core_layout.base + info->stroffs;
	src = mod->kallsyms->symtab;
	for (ndst = i = 0; i < mod->kallsyms->num_symtab; i++) {
2718
		if (i == 0 || is_livepatch_module(mod) ||
2719 2720
		    is_core_symbol(src+i, info->sechdrs, info->hdr->e_shnum,
				   info->index.pcpu)) {
2721
			dst[ndst] = src[i];
2722 2723
			dst[ndst++].st_name = s - mod->core_kallsyms.strtab;
			s += strlcpy(s, &mod->kallsyms->strtab[src[i].st_name],
2724 2725
				     KSYM_NAME_LEN) + 1;
		}
2726
	}
2727
	mod->core_kallsyms.num_symtab = ndst;
L
Linus Torvalds 已提交
2728 2729
}
#else
2730
static inline void layout_symtab(struct module *mod, struct load_info *info)
2731 2732
{
}
2733

2734
static void add_kallsyms(struct module *mod, const struct load_info *info)
L
Linus Torvalds 已提交
2735 2736 2737 2738
{
}
#endif /* CONFIG_KALLSYMS */

2739
static void dynamic_debug_setup(struct module *mod, struct _ddebug *debug, unsigned int num)
2740
{
2741 2742
	if (!debug)
		return;
2743
#ifdef CONFIG_DYNAMIC_DEBUG
2744
	if (ddebug_add_module(debug, num, mod->name))
A
Andrew Morton 已提交
2745 2746
		pr_err("dynamic debug error adding module: %s\n",
			debug->modname);
2747
#endif
R
Rusty Russell 已提交
2748
}
2749

2750
static void dynamic_debug_remove(struct module *mod, struct _ddebug *debug)
2751 2752
{
	if (debug)
2753
		ddebug_remove_module(mod->name);
2754 2755
}

2756 2757
void * __weak module_alloc(unsigned long size)
{
R
Rusty Russell 已提交
2758
	return vmalloc_exec(size);
2759 2760
}

C
Catalin Marinas 已提交
2761
#ifdef CONFIG_DEBUG_KMEMLEAK
2762 2763
static void kmemleak_load_module(const struct module *mod,
				 const struct load_info *info)
C
Catalin Marinas 已提交
2764 2765 2766 2767
{
	unsigned int i;

	/* only scan the sections containing data */
2768
	kmemleak_scan_area(mod, sizeof(struct module), GFP_KERNEL);
C
Catalin Marinas 已提交
2769

2770
	for (i = 1; i < info->hdr->e_shnum; i++) {
2771 2772 2773 2774
		/* Scan all writable sections that's not executable */
		if (!(info->sechdrs[i].sh_flags & SHF_ALLOC) ||
		    !(info->sechdrs[i].sh_flags & SHF_WRITE) ||
		    (info->sechdrs[i].sh_flags & SHF_EXECINSTR))
C
Catalin Marinas 已提交
2775 2776
			continue;

2777 2778
		kmemleak_scan_area((void *)info->sechdrs[i].sh_addr,
				   info->sechdrs[i].sh_size, GFP_KERNEL);
C
Catalin Marinas 已提交
2779 2780 2781
	}
}
#else
2782 2783
static inline void kmemleak_load_module(const struct module *mod,
					const struct load_info *info)
C
Catalin Marinas 已提交
2784 2785 2786 2787
{
}
#endif

R
Rusty Russell 已提交
2788
#ifdef CONFIG_MODULE_SIG
2789
static int module_sig_check(struct load_info *info, int flags)
R
Rusty Russell 已提交
2790 2791
{
	int err = -ENOKEY;
2792 2793
	const unsigned long markerlen = sizeof(MODULE_SIG_STRING) - 1;
	const void *mod = info->hdr;
2794

2795 2796 2797 2798 2799 2800
	/*
	 * Require flags == 0, as a module with version information
	 * removed is no longer the module that was signed
	 */
	if (flags == 0 &&
	    info->len > markerlen &&
2801
	    memcmp(mod + info->len - markerlen, MODULE_SIG_STRING, markerlen) == 0) {
2802
		/* We truncate the module to discard the signature */
2803
		info->len -= markerlen;
2804
		err = mod_verify_sig(mod, info);
R
Rusty Russell 已提交
2805 2806 2807 2808 2809 2810 2811 2812
	}

	if (!err) {
		info->sig_ok = true;
		return 0;
	}

	/* Not having a signature is only an error if we're strict. */
2813
	if (err == -ENOKEY && !is_module_sig_enforced())
R
Rusty Russell 已提交
2814 2815 2816 2817 2818
		err = 0;

	return err;
}
#else /* !CONFIG_MODULE_SIG */
2819
static int module_sig_check(struct load_info *info, int flags)
R
Rusty Russell 已提交
2820 2821 2822 2823 2824
{
	return 0;
}
#endif /* !CONFIG_MODULE_SIG */

2825 2826
/* Sanity checks against invalid binaries, wrong arch, weird elf version. */
static int elf_header_check(struct load_info *info)
2827
{
2828 2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840
	if (info->len < sizeof(*(info->hdr)))
		return -ENOEXEC;

	if (memcmp(info->hdr->e_ident, ELFMAG, SELFMAG) != 0
	    || info->hdr->e_type != ET_REL
	    || !elf_check_arch(info->hdr)
	    || info->hdr->e_shentsize != sizeof(Elf_Shdr))
		return -ENOEXEC;

	if (info->hdr->e_shoff >= info->len
	    || (info->hdr->e_shnum * sizeof(Elf_Shdr) >
		info->len - info->hdr->e_shoff))
		return -ENOEXEC;
2841

2842 2843 2844
	return 0;
}

2845 2846 2847 2848 2849 2850 2851 2852 2853 2854 2855 2856 2857 2858 2859 2860 2861
#define COPY_CHUNK_SIZE (16*PAGE_SIZE)

static int copy_chunked_from_user(void *dst, const void __user *usrc, unsigned long len)
{
	do {
		unsigned long n = min(len, COPY_CHUNK_SIZE);

		if (copy_from_user(dst, usrc, n) != 0)
			return -EFAULT;
		cond_resched();
		dst += n;
		usrc += n;
		len -= n;
	} while (len);
	return 0;
}

2862
#ifdef CONFIG_LIVEPATCH
2863
static int check_modinfo_livepatch(struct module *mod, struct load_info *info)
2864
{
2865 2866 2867
	if (get_modinfo(info, "livepatch")) {
		mod->klp = true;
		add_taint_module(mod, TAINT_LIVEPATCH, LOCKDEP_STILL_OK);
2868 2869
		pr_notice_once("%s: tainting kernel with TAINT_LIVEPATCH\n",
			       mod->name);
2870
	}
2871 2872 2873 2874

	return 0;
}
#else /* !CONFIG_LIVEPATCH */
2875
static int check_modinfo_livepatch(struct module *mod, struct load_info *info)
2876 2877 2878 2879 2880 2881 2882 2883 2884 2885 2886
{
	if (get_modinfo(info, "livepatch")) {
		pr_err("%s: module is marked as livepatch module, but livepatch support is disabled",
		       mod->name);
		return -ENOEXEC;
	}

	return 0;
}
#endif /* CONFIG_LIVEPATCH */

2887 2888 2889 2890 2891 2892 2893 2894 2895
static void check_modinfo_retpoline(struct module *mod, struct load_info *info)
{
	if (retpoline_module_ok(get_modinfo(info, "retpoline")))
		return;

	pr_warn("%s: loading module not compiled with retpoline compiler.\n",
		mod->name);
}

2896 2897 2898
/* Sets info->hdr and info->len. */
static int copy_module_from_user(const void __user *umod, unsigned long len,
				  struct load_info *info)
2899 2900 2901
{
	int err;

2902 2903
	info->len = len;
	if (info->len < sizeof(*(info->hdr)))
2904 2905
		return -ENOEXEC;

2906
	err = security_kernel_load_data(LOADING_MODULE);
2907 2908 2909
	if (err)
		return err;

2910
	/* Suck in entire file: we'll want most of it. */
2911
	info->hdr = __vmalloc(info->len,
2912
			GFP_KERNEL | __GFP_NOWARN, PAGE_KERNEL);
2913
	if (!info->hdr)
2914 2915
		return -ENOMEM;

2916
	if (copy_chunked_from_user(info->hdr, umod, info->len) != 0) {
2917 2918
		vfree(info->hdr);
		return -EFAULT;
2919 2920
	}

2921 2922 2923
	return 0;
}

R
Rusty Russell 已提交
2924 2925 2926 2927 2928
static void free_copy(struct load_info *info)
{
	vfree(info->hdr);
}

2929
static int rewrite_section_headers(struct load_info *info, int flags)
2930 2931 2932 2933 2934 2935 2936 2937 2938 2939
{
	unsigned int i;

	/* This should always be true, but let's be sure. */
	info->sechdrs[0].sh_addr = 0;

	for (i = 1; i < info->hdr->e_shnum; i++) {
		Elf_Shdr *shdr = &info->sechdrs[i];
		if (shdr->sh_type != SHT_NOBITS
		    && info->len < shdr->sh_offset + shdr->sh_size) {
A
Andrew Morton 已提交
2940
			pr_err("Module len %lu truncated\n", info->len);
2941 2942 2943 2944 2945 2946 2947 2948 2949 2950 2951 2952 2953
			return -ENOEXEC;
		}

		/* Mark all sections sh_addr with their address in the
		   temporary image. */
		shdr->sh_addr = (size_t)info->hdr + shdr->sh_offset;

#ifndef CONFIG_MODULE_UNLOAD
		/* Don't load .exit sections */
		if (strstarts(info->secstrings+shdr->sh_name, ".exit"))
			shdr->sh_flags &= ~(unsigned long)SHF_ALLOC;
#endif
	}
2954 2955

	/* Track but don't keep modinfo and version sections. */
K
Kees Cook 已提交
2956
	info->sechdrs[info->index.vers].sh_flags &= ~(unsigned long)SHF_ALLOC;
2957
	info->sechdrs[info->index.info].sh_flags &= ~(unsigned long)SHF_ALLOC;
K
Kees Cook 已提交
2958

2959 2960 2961
	return 0;
}

L
Linus Torvalds 已提交
2962 2963 2964 2965 2966
/*
 * Set up our basic convenience variables (pointers to section headers,
 * search for module section index etc), and do some basic section
 * verification.
 *
2967 2968
 * Set info->mod to the temporary copy of the module in info->hdr. The final one
 * will be allocated in move_module().
L
Linus Torvalds 已提交
2969
 */
2970
static int setup_load_info(struct load_info *info, int flags)
L
Linus Torvalds 已提交
2971 2972 2973 2974 2975
{
	unsigned int i;

	/* Set up the convenience variables */
	info->sechdrs = (void *)info->hdr + info->hdr->e_shoff;
2976 2977
	info->secstrings = (void *)info->hdr
		+ info->sechdrs[info->hdr->e_shstrndx].sh_offset;
L
Linus Torvalds 已提交
2978

2979 2980 2981 2982 2983 2984
	/* Try to find a name early so we can log errors with a module name */
	info->index.info = find_sec(info, ".modinfo");
	if (!info->index.info)
		info->name = "(missing .modinfo section)";
	else
		info->name = get_modinfo(info, "name");
L
Linus Torvalds 已提交
2985

2986 2987
	/* Find internal symbols and strings. */
	for (i = 1; i < info->hdr->e_shnum; i++) {
L
Linus Torvalds 已提交
2988 2989 2990
		if (info->sechdrs[i].sh_type == SHT_SYMTAB) {
			info->index.sym = i;
			info->index.str = info->sechdrs[i].sh_link;
2991 2992 2993
			info->strtab = (char *)info->hdr
				+ info->sechdrs[info->index.str].sh_offset;
			break;
L
Linus Torvalds 已提交
2994 2995 2996
		}
	}

2997 2998 2999 3000 3001
	if (info->index.sym == 0) {
		pr_warn("%s: module has no symbols (stripped?)\n", info->name);
		return -ENOEXEC;
	}

3002
	info->index.mod = find_sec(info, ".gnu.linkonce.this_module");
L
Linus Torvalds 已提交
3003
	if (!info->index.mod) {
K
Kees Cook 已提交
3004 3005
		pr_warn("%s: No module found in object\n",
			info->name ?: "(missing .modinfo name field)");
3006
		return -ENOEXEC;
L
Linus Torvalds 已提交
3007 3008
	}
	/* This is temporary: point mod into copy of data. */
3009
	info->mod = (void *)info->hdr + info->sechdrs[info->index.mod].sh_offset;
L
Linus Torvalds 已提交
3010

K
Kees Cook 已提交
3011
	/*
3012
	 * If we didn't load the .modinfo 'name' field earlier, fall back to
K
Kees Cook 已提交
3013 3014 3015
	 * on-disk struct mod 'name' field.
	 */
	if (!info->name)
3016
		info->name = info->mod->name;
K
Kees Cook 已提交
3017

3018 3019 3020 3021
	if (flags & MODULE_INIT_IGNORE_MODVERSIONS)
		info->index.vers = 0; /* Pretend no __versions section! */
	else
		info->index.vers = find_sec(info, "__versions");
L
Linus Torvalds 已提交
3022

3023
	info->index.pcpu = find_pcpusec(info);
L
Linus Torvalds 已提交
3024

3025
	return 0;
L
Linus Torvalds 已提交
3026 3027
}

3028
static int check_modinfo(struct module *mod, struct load_info *info, int flags)
3029
{
3030
	const char *modmagic = get_modinfo(info, "vermagic");
3031 3032
	int err;

3033 3034 3035
	if (flags & MODULE_INIT_IGNORE_VERMAGIC)
		modmagic = NULL;

3036 3037 3038 3039 3040
	/* This is allowed: modprobe --force will invalidate it. */
	if (!modmagic) {
		err = try_to_force_load(mod, "bad vermagic");
		if (err)
			return err;
3041
	} else if (!same_magic(modmagic, vermagic, info->index.vers)) {
A
Andrew Morton 已提交
3042
		pr_err("%s: version magic '%s' should be '%s'\n",
K
Kees Cook 已提交
3043
		       info->name, modmagic, vermagic);
3044 3045 3046
		return -ENOEXEC;
	}

3047 3048 3049 3050
	if (!get_modinfo(info, "intree")) {
		if (!test_taint(TAINT_OOT_MODULE))
			pr_warn("%s: loading out-of-tree module taints kernel.\n",
				mod->name);
3051
		add_taint_module(mod, TAINT_OOT_MODULE, LOCKDEP_STILL_OK);
3052
	}
3053

3054 3055
	check_modinfo_retpoline(mod, info);

3056
	if (get_modinfo(info, "staging")) {
3057
		add_taint_module(mod, TAINT_CRAP, LOCKDEP_STILL_OK);
A
Andrew Morton 已提交
3058 3059
		pr_warn("%s: module is from the staging directory, the quality "
			"is unknown, you have been warned.\n", mod->name);
3060
	}
3061

3062
	err = check_modinfo_livepatch(mod, info);
3063 3064 3065
	if (err)
		return err;

3066
	/* Set up license info based on the info section */
3067
	set_license(mod, get_modinfo(info, "license"));
3068

3069 3070 3071
	return 0;
}

3072
static int find_module_sections(struct module *mod, struct load_info *info)
L
Linus Torvalds 已提交
3073
{
3074
	mod->kp = section_objs(info, "__param",
L
Linus Torvalds 已提交
3075
			       sizeof(*mod->kp), &mod->num_kp);
3076
	mod->syms = section_objs(info, "__ksymtab",
L
Linus Torvalds 已提交
3077
				 sizeof(*mod->syms), &mod->num_syms);
3078 3079
	mod->crcs = section_addr(info, "__kcrctab");
	mod->gpl_syms = section_objs(info, "__ksymtab_gpl",
L
Linus Torvalds 已提交
3080 3081
				     sizeof(*mod->gpl_syms),
				     &mod->num_gpl_syms);
3082 3083
	mod->gpl_crcs = section_addr(info, "__kcrctab_gpl");
	mod->gpl_future_syms = section_objs(info,
L
Linus Torvalds 已提交
3084 3085 3086
					    "__ksymtab_gpl_future",
					    sizeof(*mod->gpl_future_syms),
					    &mod->num_gpl_future_syms);
3087
	mod->gpl_future_crcs = section_addr(info, "__kcrctab_gpl_future");
L
Linus Torvalds 已提交
3088 3089

#ifdef CONFIG_UNUSED_SYMBOLS
3090
	mod->unused_syms = section_objs(info, "__ksymtab_unused",
L
Linus Torvalds 已提交
3091 3092
					sizeof(*mod->unused_syms),
					&mod->num_unused_syms);
3093 3094
	mod->unused_crcs = section_addr(info, "__kcrctab_unused");
	mod->unused_gpl_syms = section_objs(info, "__ksymtab_unused_gpl",
L
Linus Torvalds 已提交
3095 3096
					    sizeof(*mod->unused_gpl_syms),
					    &mod->num_unused_gpl_syms);
3097
	mod->unused_gpl_crcs = section_addr(info, "__kcrctab_unused_gpl");
L
Linus Torvalds 已提交
3098 3099
#endif
#ifdef CONFIG_CONSTRUCTORS
3100
	mod->ctors = section_objs(info, ".ctors",
L
Linus Torvalds 已提交
3101
				  sizeof(*mod->ctors), &mod->num_ctors);
3102 3103 3104 3105 3106 3107 3108 3109
	if (!mod->ctors)
		mod->ctors = section_objs(info, ".init_array",
				sizeof(*mod->ctors), &mod->num_ctors);
	else if (find_sec(info, ".init_array")) {
		/*
		 * This shouldn't happen with same compiler and binutils
		 * building all parts of the module.
		 */
3110
		pr_warn("%s: has both .ctors and .init_array.\n",
3111 3112 3113
		       mod->name);
		return -EINVAL;
	}
L
Linus Torvalds 已提交
3114 3115 3116
#endif

#ifdef CONFIG_TRACEPOINTS
3117 3118 3119
	mod->tracepoints_ptrs = section_objs(info, "__tracepoints_ptrs",
					     sizeof(*mod->tracepoints_ptrs),
					     &mod->num_tracepoints);
L
Linus Torvalds 已提交
3120
#endif
3121
#ifdef CONFIG_JUMP_LABEL
3122 3123 3124 3125
	mod->jump_entries = section_objs(info, "__jump_table",
					sizeof(*mod->jump_entries),
					&mod->num_jump_entries);
#endif
L
Linus Torvalds 已提交
3126
#ifdef CONFIG_EVENT_TRACING
3127
	mod->trace_events = section_objs(info, "_ftrace_events",
L
Linus Torvalds 已提交
3128 3129
					 sizeof(*mod->trace_events),
					 &mod->num_trace_events);
3130 3131 3132
	mod->trace_evals = section_objs(info, "_ftrace_eval_map",
					sizeof(*mod->trace_evals),
					&mod->num_trace_evals);
L
Linus Torvalds 已提交
3133
#endif
3134 3135 3136 3137 3138
#ifdef CONFIG_TRACING
	mod->trace_bprintk_fmt_start = section_objs(info, "__trace_printk_fmt",
					 sizeof(*mod->trace_bprintk_fmt_start),
					 &mod->num_trace_bprintk_fmt);
#endif
L
Linus Torvalds 已提交
3139 3140
#ifdef CONFIG_FTRACE_MCOUNT_RECORD
	/* sechdrs[0].sh_size is always zero */
3141
	mod->ftrace_callsites = section_objs(info, FTRACE_CALLSITE_SECTION,
L
Linus Torvalds 已提交
3142 3143 3144
					     sizeof(*mod->ftrace_callsites),
					     &mod->num_ftrace_callsites);
#endif
3145 3146 3147 3148
#ifdef CONFIG_FUNCTION_ERROR_INJECTION
	mod->ei_funcs = section_objs(info, "_error_injection_whitelist",
					    sizeof(*mod->ei_funcs),
					    &mod->num_ei_funcs);
3149
#endif
3150 3151 3152
	mod->extable = section_objs(info, "__ex_table",
				    sizeof(*mod->extable), &mod->num_exentries);

3153
	if (section_addr(info, "__obsparm"))
A
Andrew Morton 已提交
3154
		pr_warn("%s: Ignoring obsolete parameters\n", mod->name);
3155 3156 3157

	info->debug = section_objs(info, "__verbose",
				   sizeof(*info->debug), &info->num_debug);
3158 3159

	return 0;
L
Linus Torvalds 已提交
3160 3161
}

3162
static int move_module(struct module *mod, struct load_info *info)
3163 3164 3165 3166 3167
{
	int i;
	void *ptr;

	/* Do the allocs. */
3168
	ptr = module_alloc(mod->core_layout.size);
3169 3170 3171 3172 3173 3174 3175
	/*
	 * The pointer to this block is stored in the module structure
	 * which is inside the block. Just mark it as not being a
	 * leak.
	 */
	kmemleak_not_leak(ptr);
	if (!ptr)
R
Rusty Russell 已提交
3176
		return -ENOMEM;
3177

3178 3179
	memset(ptr, 0, mod->core_layout.size);
	mod->core_layout.base = ptr;
3180

3181 3182
	if (mod->init_layout.size) {
		ptr = module_alloc(mod->init_layout.size);
R
Rusty Russell 已提交
3183 3184 3185 3186 3187 3188 3189 3190
		/*
		 * The pointer to this block is stored in the module structure
		 * which is inside the block. This block doesn't need to be
		 * scanned as it contains data and code that will be freed
		 * after the module is initialized.
		 */
		kmemleak_ignore(ptr);
		if (!ptr) {
3191
			module_memfree(mod->core_layout.base);
R
Rusty Russell 已提交
3192 3193
			return -ENOMEM;
		}
3194 3195
		memset(ptr, 0, mod->init_layout.size);
		mod->init_layout.base = ptr;
R
Rusty Russell 已提交
3196
	} else
3197
		mod->init_layout.base = NULL;
3198 3199

	/* Transfer each section which specifies SHF_ALLOC */
3200
	pr_debug("final section addresses:\n");
3201
	for (i = 0; i < info->hdr->e_shnum; i++) {
3202
		void *dest;
3203
		Elf_Shdr *shdr = &info->sechdrs[i];
3204

3205
		if (!(shdr->sh_flags & SHF_ALLOC))
3206 3207
			continue;

3208
		if (shdr->sh_entsize & INIT_OFFSET_MASK)
3209
			dest = mod->init_layout.base
3210
				+ (shdr->sh_entsize & ~INIT_OFFSET_MASK);
3211
		else
3212
			dest = mod->core_layout.base + shdr->sh_entsize;
3213

3214 3215
		if (shdr->sh_type != SHT_NOBITS)
			memcpy(dest, (void *)shdr->sh_addr, shdr->sh_size);
3216
		/* Update sh_addr to point to copy in image. */
3217
		shdr->sh_addr = (unsigned long)dest;
3218 3219
		pr_debug("\t0x%lx %s\n",
			 (long)shdr->sh_addr, info->secstrings + shdr->sh_name);
3220
	}
R
Rusty Russell 已提交
3221 3222

	return 0;
3223 3224
}

3225
static int check_module_license_and_versions(struct module *mod)
3226
{
3227 3228
	int prev_taint = test_taint(TAINT_PROPRIETARY_MODULE);

3229 3230 3231 3232 3233 3234
	/*
	 * ndiswrapper is under GPL by itself, but loads proprietary modules.
	 * Don't use add_taint_module(), as it would prevent ndiswrapper from
	 * using GPL-only symbols it needs.
	 */
	if (strcmp(mod->name, "ndiswrapper") == 0)
3235
		add_taint(TAINT_PROPRIETARY_MODULE, LOCKDEP_NOW_UNRELIABLE);
3236 3237 3238

	/* driverloader was caught wrongly pretending to be under GPL */
	if (strcmp(mod->name, "driverloader") == 0)
3239 3240
		add_taint_module(mod, TAINT_PROPRIETARY_MODULE,
				 LOCKDEP_NOW_UNRELIABLE);
3241

3242 3243
	/* lve claims to be GPL but upstream won't provide source */
	if (strcmp(mod->name, "lve") == 0)
3244 3245
		add_taint_module(mod, TAINT_PROPRIETARY_MODULE,
				 LOCKDEP_NOW_UNRELIABLE);
3246

3247 3248 3249
	if (!prev_taint && test_taint(TAINT_PROPRIETARY_MODULE))
		pr_warn("%s: module license taints kernel.\n", mod->name);

3250 3251 3252 3253 3254 3255 3256 3257 3258 3259 3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275 3276 3277 3278
#ifdef CONFIG_MODVERSIONS
	if ((mod->num_syms && !mod->crcs)
	    || (mod->num_gpl_syms && !mod->gpl_crcs)
	    || (mod->num_gpl_future_syms && !mod->gpl_future_crcs)
#ifdef CONFIG_UNUSED_SYMBOLS
	    || (mod->num_unused_syms && !mod->unused_crcs)
	    || (mod->num_unused_gpl_syms && !mod->unused_gpl_crcs)
#endif
		) {
		return try_to_force_load(mod,
					 "no versions for exported symbols");
	}
#endif
	return 0;
}

static void flush_module_icache(const struct module *mod)
{
	mm_segment_t old_fs;

	/* flush the icache in correct context */
	old_fs = get_fs();
	set_fs(KERNEL_DS);

	/*
	 * Flush the instruction cache, since we've played with text.
	 * Do it before processing of module parameters, so the module
	 * can provide parameter accessor functions of its own.
	 */
3279 3280 3281 3282 3283 3284
	if (mod->init_layout.base)
		flush_icache_range((unsigned long)mod->init_layout.base,
				   (unsigned long)mod->init_layout.base
				   + mod->init_layout.size);
	flush_icache_range((unsigned long)mod->core_layout.base,
			   (unsigned long)mod->core_layout.base + mod->core_layout.size);
3285 3286 3287 3288

	set_fs(old_fs);
}

3289 3290 3291 3292 3293 3294 3295 3296
int __weak module_frob_arch_sections(Elf_Ehdr *hdr,
				     Elf_Shdr *sechdrs,
				     char *secstrings,
				     struct module *mod)
{
	return 0;
}

3297 3298
/* module_blacklist is a comma-separated list of module names */
static char *module_blacklist;
3299
static bool blacklisted(const char *module_name)
3300 3301 3302 3303 3304 3305 3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317
{
	const char *p;
	size_t len;

	if (!module_blacklist)
		return false;

	for (p = module_blacklist; *p; p += len) {
		len = strcspn(p, ",");
		if (strlen(module_name) == len && !memcmp(module_name, p, len))
			return true;
		if (p[len] == ',')
			len++;
	}
	return false;
}
core_param(module_blacklist, module_blacklist, charp, 0400);

3318
static struct module *layout_and_allocate(struct load_info *info, int flags)
L
Linus Torvalds 已提交
3319 3320
{
	struct module *mod;
J
Jessica Yu 已提交
3321
	unsigned int ndx;
R
Rusty Russell 已提交
3322
	int err;
3323

3324
	err = check_modinfo(info->mod, info, flags);
3325 3326
	if (err)
		return ERR_PTR(err);
L
Linus Torvalds 已提交
3327 3328

	/* Allow arches to frob section contents and sizes.  */
3329
	err = module_frob_arch_sections(info->hdr, info->sechdrs,
3330
					info->secstrings, info->mod);
L
Linus Torvalds 已提交
3331
	if (err < 0)
3332
		return ERR_PTR(err);
L
Linus Torvalds 已提交
3333

3334 3335
	/* We will do a special allocation for per-cpu sections later. */
	info->sechdrs[info->index.pcpu].sh_flags &= ~(unsigned long)SHF_ALLOC;
L
Linus Torvalds 已提交
3336

J
Jessica Yu 已提交
3337 3338 3339 3340 3341 3342 3343 3344 3345
	/*
	 * Mark ro_after_init section with SHF_RO_AFTER_INIT so that
	 * layout_sections() can put it in the right place.
	 * Note: ro_after_init sections also have SHF_{WRITE,ALLOC} set.
	 */
	ndx = find_sec(info, ".data..ro_after_init");
	if (ndx)
		info->sechdrs[ndx].sh_flags |= SHF_RO_AFTER_INIT;

L
Linus Torvalds 已提交
3346 3347 3348
	/* Determine total sizes, and put offsets in sh_entsize.  For now
	   this is done generically; there doesn't appear to be any
	   special cases for the architectures. */
3349 3350
	layout_sections(info->mod, info);
	layout_symtab(info->mod, info);
L
Linus Torvalds 已提交
3351

3352
	/* Allocate and move to the final place */
3353
	err = move_module(info->mod, info);
R
Rusty Russell 已提交
3354
	if (err)
3355
		return ERR_PTR(err);
R
Rusty Russell 已提交
3356 3357 3358

	/* Module has been copied to its final place now: return it. */
	mod = (void *)info->sechdrs[info->index.mod].sh_addr;
3359
	kmemleak_load_module(mod, info);
R
Rusty Russell 已提交
3360 3361 3362 3363 3364 3365 3366
	return mod;
}

/* mod is no longer valid after this! */
static void module_deallocate(struct module *mod, struct load_info *info)
{
	percpu_modfree(mod);
3367
	module_arch_freeing_init(mod);
3368 3369
	module_memfree(mod->init_layout.base);
	module_memfree(mod->core_layout.base);
R
Rusty Russell 已提交
3370 3371
}

3372 3373 3374 3375 3376 3377 3378
int __weak module_finalize(const Elf_Ehdr *hdr,
			   const Elf_Shdr *sechdrs,
			   struct module *me)
{
	return 0;
}

3379 3380
static int post_relocation(struct module *mod, const struct load_info *info)
{
3381
	/* Sort exception table now relocations are done. */
3382 3383 3384 3385 3386 3387
	sort_extable(mod->extable, mod->extable + mod->num_exentries);

	/* Copy relocated percpu area over. */
	percpu_modcopy(mod, (void *)info->sechdrs[info->index.pcpu].sh_addr,
		       info->sechdrs[info->index.pcpu].sh_size);

3388
	/* Setup kallsyms-specific fields. */
3389 3390 3391 3392 3393 3394
	add_kallsyms(mod, info);

	/* Arch-specific module finalizing. */
	return module_finalize(info->hdr, info->sechdrs, mod);
}

3395 3396 3397 3398 3399 3400
/* Is this module of this name done loading?  No locks held. */
static bool finished_loading(const char *name)
{
	struct module *mod;
	bool ret;

3401 3402 3403 3404 3405 3406
	/*
	 * The module_mutex should not be a heavily contended lock;
	 * if we get the occasional sleep here, we'll go an extra iteration
	 * in the wait_event_interruptible(), which is harmless.
	 */
	sched_annotate_sleep();
3407
	mutex_lock(&module_mutex);
3408
	mod = find_module_all(name, strlen(name), true);
3409
	ret = !mod || mod->state == MODULE_STATE_LIVE;
3410 3411 3412 3413 3414
	mutex_unlock(&module_mutex);

	return ret;
}

3415 3416 3417 3418 3419 3420 3421 3422 3423 3424 3425
/* Call module constructors. */
static void do_mod_ctors(struct module *mod)
{
#ifdef CONFIG_CONSTRUCTORS
	unsigned long i;

	for (i = 0; i < mod->num_ctors; i++)
		mod->ctors[i]();
#endif
}

3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438
/* For freeing module_init on success, in case kallsyms traversing */
struct mod_initfree {
	struct rcu_head rcu;
	void *module_init;
};

static void do_free_init(struct rcu_head *head)
{
	struct mod_initfree *m = container_of(head, struct mod_initfree, rcu);
	module_memfree(m->module_init);
	kfree(m);
}

3439 3440 3441 3442 3443 3444 3445
/*
 * This is where the real work happens.
 *
 * Keep it uninlined to provide a reliable breakpoint target, e.g. for the gdb
 * helper command 'lx-symbols'.
 */
static noinline int do_init_module(struct module *mod)
3446 3447
{
	int ret = 0;
3448 3449 3450 3451 3452 3453 3454
	struct mod_initfree *freeinit;

	freeinit = kmalloc(sizeof(*freeinit), GFP_KERNEL);
	if (!freeinit) {
		ret = -ENOMEM;
		goto fail;
	}
3455
	freeinit->module_init = mod->init_layout.base;
3456

3457 3458 3459 3460 3461 3462
	/*
	 * We want to find out whether @mod uses async during init.  Clear
	 * PF_USED_ASYNC.  async_schedule*() will set it.
	 */
	current->flags &= ~PF_USED_ASYNC;

3463 3464 3465 3466 3467
	do_mod_ctors(mod);
	/* Start the module */
	if (mod->init != NULL)
		ret = do_one_initcall(mod->init);
	if (ret < 0) {
3468
		goto fail_free_freeinit;
3469 3470
	}
	if (ret > 0) {
A
Andrew Morton 已提交
3471 3472 3473 3474
		pr_warn("%s: '%s'->init suspiciously returned %d, it should "
			"follow 0/-E convention\n"
			"%s: loading module anyway...\n",
			__func__, mod->name, ret, __func__);
3475 3476 3477 3478 3479 3480 3481 3482
		dump_stack();
	}

	/* Now it's a first class citizen! */
	mod->state = MODULE_STATE_LIVE;
	blocking_notifier_call_chain(&module_notify_list,
				     MODULE_STATE_LIVE, mod);

3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499
	/*
	 * We need to finish all async code before the module init sequence
	 * is done.  This has potential to deadlock.  For example, a newly
	 * detected block device can trigger request_module() of the
	 * default iosched from async probing task.  Once userland helper
	 * reaches here, async_synchronize_full() will wait on the async
	 * task waiting on request_module() and deadlock.
	 *
	 * This deadlock is avoided by perfomring async_synchronize_full()
	 * iff module init queued any async jobs.  This isn't a full
	 * solution as it will deadlock the same if module loading from
	 * async jobs nests more than once; however, due to the various
	 * constraints, this hack seems to be the best option for now.
	 * Please refer to the following thread for details.
	 *
	 * http://thread.gmane.org/gmane.linux.kernel/1420814
	 */
3500
	if (!mod->async_probe_requested && (current->flags & PF_USED_ASYNC))
3501
		async_synchronize_full();
3502

3503
	ftrace_free_mem(mod, mod->init_layout.base, mod->init_layout.base +
3504
			mod->init_layout.size);
3505 3506 3507 3508 3509
	mutex_lock(&module_mutex);
	/* Drop initial reference. */
	module_put(mod);
	trim_init_extable(mod);
#ifdef CONFIG_KALLSYMS
3510 3511
	/* Switch to core kallsyms now init is done: kallsyms may be walking! */
	rcu_assign_pointer(mod->kallsyms, &mod->core_kallsyms);
3512
#endif
J
Jessica Yu 已提交
3513
	module_enable_ro(mod, true);
3514
	mod_tree_remove_init(mod);
R
Rusty Russell 已提交
3515
	disable_ro_nx(&mod->init_layout);
3516
	module_arch_freeing_init(mod);
3517 3518 3519
	mod->init_layout.base = NULL;
	mod->init_layout.size = 0;
	mod->init_layout.ro_size = 0;
J
Jessica Yu 已提交
3520
	mod->init_layout.ro_after_init_size = 0;
3521
	mod->init_layout.text_size = 0;
3522 3523
	/*
	 * We want to free module_init, but be aware that kallsyms may be
3524 3525 3526
	 * walking this with preempt disabled.  In all the failure paths, we
	 * call synchronize_sched(), but we don't want to slow down the success
	 * path, so use actual RCU here.
3527 3528 3529 3530 3531
	 * Note that module_alloc() on most architectures creates W+X page
	 * mappings which won't be cleaned up until do_free_init() runs.  Any
	 * code such as mark_rodata_ro() which depends on those mappings to
	 * be cleaned up needs to sync with the queued work - ie
	 * rcu_barrier_sched()
3532
	 */
3533
	call_rcu_sched(&freeinit->rcu, do_free_init);
3534 3535 3536 3537
	mutex_unlock(&module_mutex);
	wake_up_all(&module_wq);

	return 0;
3538 3539 3540 3541 3542 3543 3544 3545 3546 3547

fail_free_freeinit:
	kfree(freeinit);
fail:
	/* Try to protect us from buggy refcounters. */
	mod->state = MODULE_STATE_GOING;
	synchronize_sched();
	module_put(mod);
	blocking_notifier_call_chain(&module_notify_list,
				     MODULE_STATE_GOING, mod);
3548
	klp_module_going(mod);
3549
	ftrace_release_mod(mod);
3550 3551 3552
	free_module(mod);
	wake_up_all(&module_wq);
	return ret;
3553 3554 3555 3556 3557 3558 3559 3560 3561 3562
}

static int may_init_module(void)
{
	if (!capable(CAP_SYS_MODULE) || modules_disabled)
		return -EPERM;

	return 0;
}

3563 3564 3565 3566 3567 3568 3569 3570 3571 3572 3573 3574 3575 3576
/*
 * We try to place it in the list now to make sure it's unique before
 * we dedicate too many resources.  In particular, temporary percpu
 * memory exhaustion.
 */
static int add_unformed_module(struct module *mod)
{
	int err;
	struct module *old;

	mod->state = MODULE_STATE_UNFORMED;

again:
	mutex_lock(&module_mutex);
3577 3578
	old = find_module_all(mod->name, strlen(mod->name), true);
	if (old != NULL) {
3579
		if (old->state != MODULE_STATE_LIVE) {
3580 3581
			/* Wait in case it fails to load. */
			mutex_unlock(&module_mutex);
3582 3583
			err = wait_event_interruptible(module_wq,
					       finished_loading(mod->name));
3584 3585 3586 3587 3588 3589 3590
			if (err)
				goto out_unlocked;
			goto again;
		}
		err = -EEXIST;
		goto out;
	}
3591
	mod_update_bounds(mod);
3592
	list_add_rcu(&mod->list, &modules);
3593
	mod_tree_insert(mod);
3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615
	err = 0;

out:
	mutex_unlock(&module_mutex);
out_unlocked:
	return err;
}

static int complete_formation(struct module *mod, struct load_info *info)
{
	int err;

	mutex_lock(&module_mutex);

	/* Find duplicate symbols (must be called under lock). */
	err = verify_export_symbols(mod);
	if (err < 0)
		goto out;

	/* This relies on module_mutex for list integrity. */
	module_bug_finalize(info->hdr, info->sechdrs, mod);

J
Jessica Yu 已提交
3616
	module_enable_ro(mod, false);
R
Rusty Russell 已提交
3617
	module_enable_nx(mod);
3618
	module_enable_x(mod);
3619

3620 3621 3622
	/* Mark state as coming so strong_try_module_get() ignores us,
	 * but kallsyms etc. can see us. */
	mod->state = MODULE_STATE_COMING;
3623 3624 3625
	mutex_unlock(&module_mutex);

	return 0;
3626 3627 3628 3629 3630 3631

out:
	mutex_unlock(&module_mutex);
	return err;
}

3632 3633
static int prepare_coming_module(struct module *mod)
{
3634 3635
	int err;

3636
	ftrace_module_enable(mod);
3637 3638 3639 3640
	err = klp_module_coming(mod);
	if (err)
		return err;

3641 3642 3643 3644 3645
	blocking_notifier_call_chain(&module_notify_list,
				     MODULE_STATE_COMING, mod);
	return 0;
}

3646 3647
static int unknown_module_param_cb(char *param, char *val, const char *modname,
				   void *arg)
3648
{
3649 3650 3651 3652 3653 3654 3655 3656
	struct module *mod = arg;
	int ret;

	if (strcmp(param, "async_probe") == 0) {
		mod->async_probe_requested = true;
		return 0;
	}

3657
	/* Check for magic 'dyndbg' arg */
3658
	ret = ddebug_dyndbg_module_param_cb(param, val, modname);
A
Andrew Morton 已提交
3659 3660
	if (ret != 0)
		pr_warn("%s: unknown parameter '%s' ignored\n", modname, param);
3661 3662 3663
	return 0;
}

R
Rusty Russell 已提交
3664 3665
/* Allocate and load the module: note that size of section 0 is always
   zero, and we rely on this for optional sections. */
3666 3667
static int load_module(struct load_info *info, const char __user *uargs,
		       int flags)
R
Rusty Russell 已提交
3668
{
3669
	struct module *mod;
3670
	long err = 0;
3671
	char *after_dashes;
R
Rusty Russell 已提交
3672

3673 3674 3675 3676 3677 3678 3679 3680 3681 3682 3683 3684 3685
	err = elf_header_check(info);
	if (err)
		goto free_copy;

	err = setup_load_info(info, flags);
	if (err)
		goto free_copy;

	if (blacklisted(info->name)) {
		err = -EPERM;
		goto free_copy;
	}

3686
	err = module_sig_check(info, flags);
3687 3688
	if (err)
		goto free_copy;
R
Rusty Russell 已提交
3689

3690
	err = rewrite_section_headers(info, flags);
R
Rusty Russell 已提交
3691
	if (err)
3692
		goto free_copy;
R
Rusty Russell 已提交
3693

3694 3695 3696 3697 3698 3699
	/* Check module struct version now, before we try to use module. */
	if (!check_modstruct_version(info, info->mod)) {
		err = -ENOEXEC;
		goto free_copy;
	}

R
Rusty Russell 已提交
3700
	/* Figure out module layout, and allocate all the memory. */
3701
	mod = layout_and_allocate(info, flags);
3702 3703
	if (IS_ERR(mod)) {
		err = PTR_ERR(mod);
R
Rusty Russell 已提交
3704
		goto free_copy;
L
Linus Torvalds 已提交
3705 3706
	}

3707 3708
	audit_log_kern_module(mod->name);

3709 3710 3711
	/* Reserve our place in the list. */
	err = add_unformed_module(mod);
	if (err)
3712 3713
		goto free_module;

R
Rusty Russell 已提交
3714
#ifdef CONFIG_MODULE_SIG
3715
	mod->sig_ok = info->sig_ok;
3716
	if (!mod->sig_ok) {
A
Andrew Morton 已提交
3717
		pr_notice_once("%s: module verification failed: signature "
3718
			       "and/or required key missing - tainting "
A
Andrew Morton 已提交
3719
			       "kernel\n", mod->name);
3720
		add_taint_module(mod, TAINT_UNSIGNED_MODULE, LOCKDEP_STILL_OK);
3721
	}
R
Rusty Russell 已提交
3722 3723
#endif

3724
	/* To avoid stressing percpu allocator, do this once we're unique. */
R
Rusty Russell 已提交
3725
	err = percpu_modalloc(mod, info);
3726 3727 3728
	if (err)
		goto unlink_mod;

3729
	/* Now module is in final location, initialize linked lists, etc. */
3730 3731
	err = module_unload_init(mod);
	if (err)
3732
		goto unlink_mod;
L
Linus Torvalds 已提交
3733

3734
	init_param_lock(mod);
3735

3736 3737
	/* Now we've got everything in the final locations, we can
	 * find optional sections. */
3738 3739 3740
	err = find_module_sections(mod, info);
	if (err)
		goto free_unload;
3741

3742
	err = check_module_license_and_versions(mod);
3743 3744
	if (err)
		goto free_unload;
3745

3746
	/* Set up MODINFO_ATTR fields */
3747
	setup_modinfo(mod, info);
3748

L
Linus Torvalds 已提交
3749
	/* Fix up syms, so that st_value is a pointer to location. */
3750
	err = simplify_symbols(mod, info);
L
Linus Torvalds 已提交
3751
	if (err < 0)
R
Rusty Russell 已提交
3752
		goto free_modinfo;
L
Linus Torvalds 已提交
3753

3754
	err = apply_relocations(mod, info);
3755
	if (err < 0)
R
Rusty Russell 已提交
3756
		goto free_modinfo;
L
Linus Torvalds 已提交
3757

3758
	err = post_relocation(mod, info);
L
Linus Torvalds 已提交
3759
	if (err < 0)
R
Rusty Russell 已提交
3760
		goto free_modinfo;
L
Linus Torvalds 已提交
3761

3762
	flush_module_icache(mod);
3763

3764 3765 3766 3767 3768 3769
	/* Now copy in args */
	mod->args = strndup_user(uargs, ~0UL >> 1);
	if (IS_ERR(mod->args)) {
		err = PTR_ERR(mod->args);
		goto free_arch_cleanup;
	}
R
Rusty Russell 已提交
3770

3771
	dynamic_debug_setup(mod, info->debug, info->num_debug);
3772

3773 3774 3775
	/* Ftrace init must be called in the MODULE_STATE_UNFORMED state */
	ftrace_module_init(mod);

3776 3777 3778
	/* Finally it's fully formed, ready to start executing. */
	err = complete_formation(mod, info);
	if (err)
3779
		goto ddebug_cleanup;
3780

3781 3782 3783 3784
	err = prepare_coming_module(mod);
	if (err)
		goto bug_cleanup;

3785
	/* Module is ready to execute: parsing args may do that. */
3786
	after_dashes = parse_args(mod->name, mod->args, mod->kp, mod->num_kp,
3787
				  -32768, 32767, mod,
3788
				  unknown_module_param_cb);
3789 3790
	if (IS_ERR(after_dashes)) {
		err = PTR_ERR(after_dashes);
3791
		goto coming_cleanup;
3792 3793 3794 3795
	} else if (after_dashes) {
		pr_warn("%s: parameters '%s' after `--' ignored\n",
		       mod->name, after_dashes);
	}
L
Linus Torvalds 已提交
3796

3797
	/* Link in to sysfs. */
3798
	err = mod_sysfs_setup(mod, info, mod->kp, mod->num_kp);
L
Linus Torvalds 已提交
3799
	if (err < 0)
3800
		goto coming_cleanup;
3801

3802 3803 3804 3805 3806 3807
	if (is_livepatch_module(mod)) {
		err = copy_module_elf(mod, info);
		if (err < 0)
			goto sysfs_cleanup;
	}

3808
	/* Get rid of temporary copy. */
3809
	free_copy(info);
L
Linus Torvalds 已提交
3810 3811

	/* Done! */
3812
	trace_module_load(mod);
3813 3814

	return do_init_module(mod);
L
Linus Torvalds 已提交
3815

3816 3817
 sysfs_cleanup:
	mod_sysfs_teardown(mod);
3818
 coming_cleanup:
3819
	mod->state = MODULE_STATE_GOING;
3820
	destroy_params(mod->kp, mod->num_kp);
3821 3822
	blocking_notifier_call_chain(&module_notify_list,
				     MODULE_STATE_GOING, mod);
3823
	klp_module_going(mod);
3824 3825
 bug_cleanup:
	/* module_bug_cleanup needs module_mutex protection */
3826
	mutex_lock(&module_mutex);
3827
	module_bug_cleanup(mod);
3828
	mutex_unlock(&module_mutex);
3829 3830

	/* we can't deallocate the module until we clear memory protection */
R
Rusty Russell 已提交
3831 3832
	module_disable_ro(mod);
	module_disable_nx(mod);
3833

3834
 ddebug_cleanup:
3835
	ftrace_release_mod(mod);
3836
	dynamic_debug_remove(mod, info->debug);
3837
	synchronize_sched();
3838 3839
	kfree(mod->args);
 free_arch_cleanup:
L
Linus Torvalds 已提交
3840
	module_arch_cleanup(mod);
R
Rusty Russell 已提交
3841
 free_modinfo:
3842
	free_modinfo(mod);
3843
 free_unload:
L
Linus Torvalds 已提交
3844
	module_unload_free(mod);
3845 3846 3847 3848
 unlink_mod:
	mutex_lock(&module_mutex);
	/* Unlink carefully: kallsyms could be walking list. */
	list_del_rcu(&mod->list);
3849
	mod_tree_remove(mod);
3850
	wake_up_all(&module_wq);
3851 3852
	/* Wait for RCU-sched synchronizing before releasing mod->list. */
	synchronize_sched();
3853
	mutex_unlock(&module_mutex);
R
Rusty Russell 已提交
3854
 free_module:
3855
	/* Free lock-classes; relies on the preceding sync_rcu() */
3856
	lockdep_free_key_range(mod->core_layout.base, mod->core_layout.size);
3857

3858
	module_deallocate(mod, info);
R
Rusty Russell 已提交
3859
 free_copy:
3860 3861
	free_copy(info);
	return err;
3862 3863
}

3864 3865
SYSCALL_DEFINE3(init_module, void __user *, umod,
		unsigned long, len, const char __user *, uargs)
L
Linus Torvalds 已提交
3866
{
3867 3868
	int err;
	struct load_info info = { };
L
Linus Torvalds 已提交
3869

3870 3871 3872
	err = may_init_module();
	if (err)
		return err;
L
Linus Torvalds 已提交
3873

3874 3875
	pr_debug("init_module: umod=%p, len=%lu, uargs=%p\n",
	       umod, len, uargs);
L
Linus Torvalds 已提交
3876

3877 3878 3879
	err = copy_module_from_user(umod, len, &info);
	if (err)
		return err;
L
Linus Torvalds 已提交
3880

3881
	return load_module(&info, uargs, 0);
3882
}
3883

3884
SYSCALL_DEFINE3(finit_module, int, fd, const char __user *, uargs, int, flags)
3885 3886
{
	struct load_info info = { };
3887 3888 3889
	loff_t size;
	void *hdr;
	int err;
3890

3891 3892 3893
	err = may_init_module();
	if (err)
		return err;
L
Linus Torvalds 已提交
3894

3895
	pr_debug("finit_module: fd=%d, uargs=%p, flags=%i\n", fd, uargs, flags);
3896

3897 3898 3899
	if (flags & ~(MODULE_INIT_IGNORE_MODVERSIONS
		      |MODULE_INIT_IGNORE_VERMAGIC))
		return -EINVAL;
3900

3901 3902
	err = kernel_read_file_from_fd(fd, &hdr, &size, INT_MAX,
				       READING_MODULE);
3903 3904
	if (err)
		return err;
3905 3906
	info.hdr = hdr;
	info.len = size;
L
Linus Torvalds 已提交
3907

3908
	return load_module(&info, uargs, flags);
L
Linus Torvalds 已提交
3909 3910 3911 3912 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922
}

static inline int within(unsigned long addr, void *start, unsigned long size)
{
	return ((void *)addr >= start && (void *)addr < start + size);
}

#ifdef CONFIG_KALLSYMS
/*
 * This ignores the intensely annoying "mapping symbols" found
 * in ARM ELF files: $a, $t and $d.
 */
static inline int is_arm_mapping_symbol(const char *str)
{
3923 3924
	if (str[0] == '.' && str[1] == 'L')
		return true;
K
Kyle McMartin 已提交
3925
	return str[0] == '$' && strchr("axtd", str[1])
L
Linus Torvalds 已提交
3926 3927 3928
	       && (str[2] == '\0' || str[2] == '.');
}

3929
static const char *symname(struct mod_kallsyms *kallsyms, unsigned int symnum)
R
Rusty Russell 已提交
3930
{
3931
	return kallsyms->strtab + kallsyms->symtab[symnum].st_name;
R
Rusty Russell 已提交
3932 3933
}

L
Linus Torvalds 已提交
3934 3935 3936 3937 3938 3939 3940
static const char *get_ksymbol(struct module *mod,
			       unsigned long addr,
			       unsigned long *size,
			       unsigned long *offset)
{
	unsigned int i, best = 0;
	unsigned long nextval;
3941
	struct mod_kallsyms *kallsyms = rcu_dereference_sched(mod->kallsyms);
L
Linus Torvalds 已提交
3942 3943

	/* At worse, next value is at end of module */
3944
	if (within_module_init(addr, mod))
3945
		nextval = (unsigned long)mod->init_layout.base+mod->init_layout.text_size;
D
Daniel Walker 已提交
3946
	else
3947
		nextval = (unsigned long)mod->core_layout.base+mod->core_layout.text_size;
L
Linus Torvalds 已提交
3948

L
Lucas De Marchi 已提交
3949
	/* Scan for closest preceding symbol, and next symbol. (ELF
D
Daniel Walker 已提交
3950
	   starts real symbols at 1). */
3951 3952
	for (i = 1; i < kallsyms->num_symtab; i++) {
		if (kallsyms->symtab[i].st_shndx == SHN_UNDEF)
L
Linus Torvalds 已提交
3953 3954 3955 3956
			continue;

		/* We ignore unnamed symbols: they're uninformative
		 * and inserted at a whim. */
3957 3958
		if (*symname(kallsyms, i) == '\0'
		    || is_arm_mapping_symbol(symname(kallsyms, i)))
R
Rusty Russell 已提交
3959 3960
			continue;

3961 3962
		if (kallsyms->symtab[i].st_value <= addr
		    && kallsyms->symtab[i].st_value > kallsyms->symtab[best].st_value)
L
Linus Torvalds 已提交
3963
			best = i;
3964 3965 3966
		if (kallsyms->symtab[i].st_value > addr
		    && kallsyms->symtab[i].st_value < nextval)
			nextval = kallsyms->symtab[i].st_value;
L
Linus Torvalds 已提交
3967 3968 3969 3970 3971
	}

	if (!best)
		return NULL;

A
Alexey Dobriyan 已提交
3972
	if (size)
3973
		*size = nextval - kallsyms->symtab[best].st_value;
A
Alexey Dobriyan 已提交
3974
	if (offset)
3975 3976
		*offset = addr - kallsyms->symtab[best].st_value;
	return symname(kallsyms, best);
L
Linus Torvalds 已提交
3977 3978
}

3979 3980 3981 3982 3983 3984
void * __weak dereference_module_function_descriptor(struct module *mod,
						     void *ptr)
{
	return ptr;
}

3985 3986
/* For kallsyms to ask for address resolution.  NULL means not found.  Careful
 * not to lock to avoid deadlock on oopses, simply disable preemption. */
3987
const char *module_address_lookup(unsigned long addr,
3988 3989 3990 3991
			    unsigned long *size,
			    unsigned long *offset,
			    char **modname,
			    char *namebuf)
L
Linus Torvalds 已提交
3992
{
3993
	const char *ret = NULL;
3994
	struct module *mod;
L
Linus Torvalds 已提交
3995

3996
	preempt_disable();
3997 3998 3999 4000 4001
	mod = __module_address(addr);
	if (mod) {
		if (modname)
			*modname = mod->name;
		ret = get_ksymbol(mod, addr, size, offset);
L
Linus Torvalds 已提交
4002
	}
4003 4004 4005 4006 4007
	/* Make a copy in here where it's safe */
	if (ret) {
		strncpy(namebuf, ret, KSYM_NAME_LEN - 1);
		ret = namebuf;
	}
4008
	preempt_enable();
4009

4010
	return ret;
L
Linus Torvalds 已提交
4011 4012
}

4013 4014 4015 4016
int lookup_module_symbol_name(unsigned long addr, char *symname)
{
	struct module *mod;

4017
	preempt_disable();
4018
	list_for_each_entry_rcu(mod, &modules, list) {
4019 4020
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;
4021
		if (within_module(addr, mod)) {
4022 4023 4024 4025 4026
			const char *sym;

			sym = get_ksymbol(mod, addr, NULL, NULL);
			if (!sym)
				goto out;
4027
			strlcpy(symname, sym, KSYM_NAME_LEN);
4028
			preempt_enable();
4029 4030 4031 4032
			return 0;
		}
	}
out:
4033
	preempt_enable();
4034 4035 4036
	return -ERANGE;
}

4037 4038 4039 4040 4041
int lookup_module_symbol_attrs(unsigned long addr, unsigned long *size,
			unsigned long *offset, char *modname, char *name)
{
	struct module *mod;

4042
	preempt_disable();
4043
	list_for_each_entry_rcu(mod, &modules, list) {
4044 4045
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;
4046
		if (within_module(addr, mod)) {
4047 4048 4049 4050 4051 4052
			const char *sym;

			sym = get_ksymbol(mod, addr, size, offset);
			if (!sym)
				goto out;
			if (modname)
4053
				strlcpy(modname, mod->name, MODULE_NAME_LEN);
4054
			if (name)
4055
				strlcpy(name, sym, KSYM_NAME_LEN);
4056
			preempt_enable();
4057 4058 4059 4060
			return 0;
		}
	}
out:
4061
	preempt_enable();
4062 4063 4064
	return -ERANGE;
}

4065 4066
int module_get_kallsym(unsigned int symnum, unsigned long *value, char *type,
			char *name, char *module_name, int *exported)
L
Linus Torvalds 已提交
4067 4068 4069
{
	struct module *mod;

4070
	preempt_disable();
4071
	list_for_each_entry_rcu(mod, &modules, list) {
4072 4073
		struct mod_kallsyms *kallsyms;

4074 4075
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;
4076 4077 4078 4079 4080
		kallsyms = rcu_dereference_sched(mod->kallsyms);
		if (symnum < kallsyms->num_symtab) {
			*value = kallsyms->symtab[symnum].st_value;
			*type = kallsyms->symtab[symnum].st_info;
			strlcpy(name, symname(kallsyms, symnum), KSYM_NAME_LEN);
4081
			strlcpy(module_name, mod->name, MODULE_NAME_LEN);
4082
			*exported = is_exported(name, *value, mod);
4083
			preempt_enable();
4084
			return 0;
L
Linus Torvalds 已提交
4085
		}
4086
		symnum -= kallsyms->num_symtab;
L
Linus Torvalds 已提交
4087
	}
4088
	preempt_enable();
4089
	return -ERANGE;
L
Linus Torvalds 已提交
4090 4091 4092 4093 4094
}

static unsigned long mod_find_symname(struct module *mod, const char *name)
{
	unsigned int i;
4095
	struct mod_kallsyms *kallsyms = rcu_dereference_sched(mod->kallsyms);
L
Linus Torvalds 已提交
4096

4097 4098
	for (i = 0; i < kallsyms->num_symtab; i++)
		if (strcmp(name, symname(kallsyms, i)) == 0 &&
4099
		    kallsyms->symtab[i].st_shndx != SHN_UNDEF)
4100
			return kallsyms->symtab[i].st_value;
L
Linus Torvalds 已提交
4101 4102 4103 4104 4105 4106 4107 4108 4109 4110 4111
	return 0;
}

/* Look for this name: can be of form module:name. */
unsigned long module_kallsyms_lookup_name(const char *name)
{
	struct module *mod;
	char *colon;
	unsigned long ret = 0;

	/* Don't lock: we're in enough trouble already. */
4112
	preempt_disable();
4113
	if ((colon = strnchr(name, MODULE_NAME_LEN, ':')) != NULL) {
4114
		if ((mod = find_module_all(name, colon - name, false)) != NULL)
L
Linus Torvalds 已提交
4115 4116
			ret = mod_find_symname(mod, colon+1);
	} else {
4117 4118 4119
		list_for_each_entry_rcu(mod, &modules, list) {
			if (mod->state == MODULE_STATE_UNFORMED)
				continue;
L
Linus Torvalds 已提交
4120 4121
			if ((ret = mod_find_symname(mod, name)) != 0)
				break;
4122
		}
L
Linus Torvalds 已提交
4123
	}
4124
	preempt_enable();
L
Linus Torvalds 已提交
4125 4126
	return ret;
}
4127 4128 4129 4130 4131 4132 4133 4134 4135

int module_kallsyms_on_each_symbol(int (*fn)(void *, const char *,
					     struct module *, unsigned long),
				   void *data)
{
	struct module *mod;
	unsigned int i;
	int ret;

4136 4137
	module_assert_mutex();

4138
	list_for_each_entry(mod, &modules, list) {
4139 4140 4141
		/* We hold module_mutex: no need for rcu_dereference_sched */
		struct mod_kallsyms *kallsyms = mod->kallsyms;

4142 4143
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;
4144
		for (i = 0; i < kallsyms->num_symtab; i++) {
4145 4146 4147 4148

			if (kallsyms->symtab[i].st_shndx == SHN_UNDEF)
				continue;

4149 4150
			ret = fn(data, symname(kallsyms, i),
				 mod, kallsyms->symtab[i].st_value);
4151 4152 4153 4154 4155 4156
			if (ret != 0)
				return ret;
		}
	}
	return 0;
}
L
Linus Torvalds 已提交
4157 4158
#endif /* CONFIG_KALLSYMS */

4159 4160 4161 4162
/* Maximum number of characters written by module_flags() */
#define MODULE_FLAGS_BUF_SIZE (TAINT_FLAGS_COUNT + 4)

/* Keep in sync with MODULE_FLAGS_BUF_SIZE !!! */
4163
static char *module_flags(struct module *mod, char *buf)
4164 4165 4166
{
	int bx = 0;

4167
	BUG_ON(mod->state == MODULE_STATE_UNFORMED);
4168 4169 4170
	if (mod->taints ||
	    mod->state == MODULE_STATE_GOING ||
	    mod->state == MODULE_STATE_COMING) {
4171
		buf[bx++] = '(';
4172
		bx += module_flags_taint(mod, buf + bx);
4173 4174 4175 4176 4177 4178
		/* Show a - for module-is-being-unloaded */
		if (mod->state == MODULE_STATE_GOING)
			buf[bx++] = '-';
		/* Show a + for module-is-being-loaded */
		if (mod->state == MODULE_STATE_COMING)
			buf[bx++] = '+';
4179 4180 4181 4182 4183 4184 4185
		buf[bx++] = ')';
	}
	buf[bx] = '\0';

	return buf;
}

4186 4187 4188 4189 4190 4191 4192 4193 4194 4195 4196 4197 4198 4199 4200 4201 4202 4203
#ifdef CONFIG_PROC_FS
/* Called by the /proc file system to return a list of modules. */
static void *m_start(struct seq_file *m, loff_t *pos)
{
	mutex_lock(&module_mutex);
	return seq_list_start(&modules, *pos);
}

static void *m_next(struct seq_file *m, void *p, loff_t *pos)
{
	return seq_list_next(p, &modules, pos);
}

static void m_stop(struct seq_file *m, void *p)
{
	mutex_unlock(&module_mutex);
}

L
Linus Torvalds 已提交
4204 4205 4206
static int m_show(struct seq_file *m, void *p)
{
	struct module *mod = list_entry(p, struct module, list);
4207
	char buf[MODULE_FLAGS_BUF_SIZE];
4208
	void *value;
4209

4210 4211 4212 4213
	/* We always ignore unformed modules. */
	if (mod->state == MODULE_STATE_UNFORMED)
		return 0;

4214
	seq_printf(m, "%s %u",
4215
		   mod->name, mod->init_layout.size + mod->core_layout.size);
L
Linus Torvalds 已提交
4216 4217 4218 4219
	print_unload_info(m, mod);

	/* Informative for users. */
	seq_printf(m, " %s",
4220 4221
		   mod->state == MODULE_STATE_GOING ? "Unloading" :
		   mod->state == MODULE_STATE_COMING ? "Loading" :
L
Linus Torvalds 已提交
4222 4223
		   "Live");
	/* Used by oprofile and other similar tools. */
4224 4225
	value = m->private ? NULL : mod->core_layout.base;
	seq_printf(m, " 0x%px", value);
L
Linus Torvalds 已提交
4226

4227 4228
	/* Taints info */
	if (mod->taints)
4229
		seq_printf(m, " %s", module_flags(mod, buf));
4230

4231
	seq_puts(m, "\n");
L
Linus Torvalds 已提交
4232 4233 4234 4235 4236 4237 4238 4239
	return 0;
}

/* Format: modulename size refcount deps address

   Where refcount is a number or -, and deps is a comma-separated list
   of depends or -.
*/
4240
static const struct seq_operations modules_op = {
L
Linus Torvalds 已提交
4241 4242 4243 4244 4245 4246
	.start	= m_start,
	.next	= m_next,
	.stop	= m_stop,
	.show	= m_show
};

4247 4248 4249 4250 4251 4252 4253
/*
 * This also sets the "private" pointer to non-NULL if the
 * kernel pointers should be hidden (so you can just test
 * "m->private" to see if you should keep the values private).
 *
 * We use the same logic as for /proc/kallsyms.
 */
4254 4255
static int modules_open(struct inode *inode, struct file *file)
{
4256 4257 4258 4259 4260 4261 4262
	int err = seq_open(file, &modules_op);

	if (!err) {
		struct seq_file *m = file->private_data;
		m->private = kallsyms_show_value() ? NULL : (void *)8ul;
	}

4263
	return err;
4264 4265 4266 4267 4268 4269 4270 4271 4272 4273 4274 4275 4276 4277 4278 4279 4280
}

static const struct file_operations proc_modules_operations = {
	.open		= modules_open,
	.read		= seq_read,
	.llseek		= seq_lseek,
	.release	= seq_release,
};

static int __init proc_modules_init(void)
{
	proc_create("modules", 0, NULL, &proc_modules_operations);
	return 0;
}
module_init(proc_modules_init);
#endif

L
Linus Torvalds 已提交
4281 4282 4283 4284 4285 4286
/* Given an address, look for it in the module exception tables. */
const struct exception_table_entry *search_module_extables(unsigned long addr)
{
	const struct exception_table_entry *e = NULL;
	struct module *mod;

R
Rusty Russell 已提交
4287
	preempt_disable();
4288 4289 4290
	mod = __module_address(addr);
	if (!mod)
		goto out;
D
Daniel Walker 已提交
4291

4292 4293 4294 4295
	if (!mod->num_exentries)
		goto out;

	e = search_extable(mod->extable,
4296
			   mod->num_exentries,
4297 4298
			   addr);
out:
R
Rusty Russell 已提交
4299
	preempt_enable();
L
Linus Torvalds 已提交
4300

4301 4302 4303 4304
	/*
	 * Now, if we found one, we are running inside it now, hence
	 * we cannot unload the module, hence no refcnt needed.
	 */
L
Linus Torvalds 已提交
4305 4306 4307
	return e;
}

4308
/*
R
Rusty Russell 已提交
4309 4310 4311 4312 4313
 * is_module_address - is this address inside a module?
 * @addr: the address to check.
 *
 * See is_module_text_address() if you simply want to see if the address
 * is code (not data).
4314
 */
R
Rusty Russell 已提交
4315
bool is_module_address(unsigned long addr)
4316
{
R
Rusty Russell 已提交
4317
	bool ret;
4318

R
Rusty Russell 已提交
4319
	preempt_disable();
R
Rusty Russell 已提交
4320
	ret = __module_address(addr) != NULL;
R
Rusty Russell 已提交
4321
	preempt_enable();
4322

R
Rusty Russell 已提交
4323
	return ret;
4324 4325
}

R
Rusty Russell 已提交
4326 4327 4328 4329 4330 4331 4332
/*
 * __module_address - get the module which contains an address.
 * @addr: the address.
 *
 * Must be called with preempt disabled or module mutex held so that
 * module doesn't get freed during this.
 */
4333
struct module *__module_address(unsigned long addr)
L
Linus Torvalds 已提交
4334 4335 4336
{
	struct module *mod;

4337 4338 4339
	if (addr < module_addr_min || addr > module_addr_max)
		return NULL;

4340 4341
	module_assert_mutex_or_preempt();

4342
	mod = mod_find(addr);
4343 4344
	if (mod) {
		BUG_ON(!within_module(addr, mod));
4345
		if (mod->state == MODULE_STATE_UNFORMED)
4346
			mod = NULL;
4347
	}
4348
	return mod;
L
Linus Torvalds 已提交
4349
}
4350
EXPORT_SYMBOL_GPL(__module_address);
L
Linus Torvalds 已提交
4351

R
Rusty Russell 已提交
4352 4353 4354 4355 4356 4357 4358 4359 4360 4361 4362 4363 4364 4365 4366 4367 4368 4369 4370 4371 4372 4373 4374 4375 4376 4377 4378 4379 4380 4381 4382
/*
 * is_module_text_address - is this address inside module code?
 * @addr: the address to check.
 *
 * See is_module_address() if you simply want to see if the address is
 * anywhere in a module.  See kernel_text_address() for testing if an
 * address corresponds to kernel or module code.
 */
bool is_module_text_address(unsigned long addr)
{
	bool ret;

	preempt_disable();
	ret = __module_text_address(addr) != NULL;
	preempt_enable();

	return ret;
}

/*
 * __module_text_address - get the module whose code contains an address.
 * @addr: the address.
 *
 * Must be called with preempt disabled or module mutex held so that
 * module doesn't get freed during this.
 */
struct module *__module_text_address(unsigned long addr)
{
	struct module *mod = __module_address(addr);
	if (mod) {
		/* Make sure it's within the text section. */
4383 4384
		if (!within(addr, mod->init_layout.base, mod->init_layout.text_size)
		    && !within(addr, mod->core_layout.base, mod->core_layout.text_size))
R
Rusty Russell 已提交
4385 4386 4387 4388
			mod = NULL;
	}
	return mod;
}
4389
EXPORT_SYMBOL_GPL(__module_text_address);
R
Rusty Russell 已提交
4390

L
Linus Torvalds 已提交
4391 4392 4393 4394
/* Don't grab lock, we're oopsing. */
void print_modules(void)
{
	struct module *mod;
4395
	char buf[MODULE_FLAGS_BUF_SIZE];
L
Linus Torvalds 已提交
4396

4397
	printk(KERN_DEFAULT "Modules linked in:");
4398 4399
	/* Most callers should already have preempt disabled, but make sure */
	preempt_disable();
4400 4401 4402
	list_for_each_entry_rcu(mod, &modules, list) {
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;
J
Jiri Slaby 已提交
4403
		pr_cont(" %s%s", mod->name, module_flags(mod, buf));
4404
	}
4405
	preempt_enable();
4406
	if (last_unloaded_module[0])
J
Jiri Slaby 已提交
4407 4408
		pr_cont(" [last unloaded: %s]", last_unloaded_module);
	pr_cont("\n");
L
Linus Torvalds 已提交
4409 4410 4411
}

#ifdef CONFIG_MODVERSIONS
4412 4413 4414 4415 4416 4417
/* Generate the signature for all relevant module structures here.
 * If these change, we don't want to try to parse the module. */
void module_layout(struct module *mod,
		   struct modversion_info *ver,
		   struct kernel_param *kp,
		   struct kernel_symbol *ks,
4418
		   struct tracepoint * const *tp)
4419 4420 4421
{
}
EXPORT_SYMBOL(module_layout);
L
Linus Torvalds 已提交
4422
#endif