module.c 102 KB
Newer Older
1
/*
Linus Torvalds's avatar
Linus Torvalds committed
2
   Copyright (C) 2002 Richard Henderson
3
   Copyright (C) 2001 Rusty Russell, 2002, 2010 Rusty Russell IBM.
Linus Torvalds's avatar
Linus Torvalds committed
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>
Linus Torvalds's avatar
Linus Torvalds committed
20
#include <linux/moduleloader.h>
21
#include <linux/ftrace_event.h>
Linus Torvalds's avatar
Linus Torvalds committed
22
#include <linux/init.h>
23
#include <linux/kallsyms.h>
24
#include <linux/file.h>
25
#include <linux/fs.h>
Roland McGrath's avatar
Roland McGrath committed
26
#include <linux/sysfs.h>
27
#include <linux/kernel.h>
Linus Torvalds's avatar
Linus Torvalds committed
28 29 30
#include <linux/slab.h>
#include <linux/vmalloc.h>
#include <linux/elf.h>
31
#include <linux/proc_fs.h>
32
#include <linux/security.h>
Linus Torvalds's avatar
Linus Torvalds committed
33 34 35 36
#include <linux/seq_file.h>
#include <linux/syscalls.h>
#include <linux/fcntl.h>
#include <linux/rcupdate.h>
37
#include <linux/capability.h>
Linus Torvalds's avatar
Linus Torvalds committed
38 39 40 41 42 43
#include <linux/cpu.h>
#include <linux/moduleparam.h>
#include <linux/errno.h>
#include <linux/err.h>
#include <linux/vermagic.h>
#include <linux/notifier.h>
Al Viro's avatar
Al Viro committed
44
#include <linux/sched.h>
Linus Torvalds's avatar
Linus Torvalds committed
45
#include <linux/device.h>
46
#include <linux/string.h>
47
#include <linux/mutex.h>
48
#include <linux/rculist.h>
Linus Torvalds's avatar
Linus Torvalds committed
49 50
#include <asm/uaccess.h>
#include <asm/cacheflush.h>
51
#include <asm/mmu_context.h>
52
#include <linux/license.h>
53
#include <asm/sections.h>
54
#include <linux/tracepoint.h>
55
#include <linux/ftrace.h>
56
#include <linux/async.h>
57
#include <linux/percpu.h>
58
#include <linux/kmemleak.h>
59
#include <linux/jump_label.h>
60
#include <linux/pfn.h>
61
#include <linux/bsearch.h>
62
#include <uapi/linux/module.h>
63
#include "module-internal.h"
Linus Torvalds's avatar
Linus Torvalds committed
64

65 66 67
#define CREATE_TRACE_POINTS
#include <trace/events/module.h>

Linus Torvalds's avatar
Linus Torvalds committed
68 69 70 71
#ifndef ARCH_SHF_SMALL
#define ARCH_SHF_SMALL 0
#endif

72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91
/*
 * Modules' sections will be aligned on page boundaries
 * to ensure complete separation of code and data, but
 * only when CONFIG_DEBUG_SET_MODULE_RONX=y
 */
#ifdef CONFIG_DEBUG_SET_MODULE_RONX
# define debug_align(X) ALIGN(X, PAGE_SIZE)
#else
# define debug_align(X) (X)
#endif

/*
 * Given BASE and SIZE this macro calculates the number of pages the
 * memory regions occupies
 */
#define MOD_NUMBER_OF_PAGES(BASE, SIZE) (((SIZE) > 0) ?		\
		(PFN_DOWN((unsigned long)(BASE) + (SIZE) - 1) -	\
			 PFN_DOWN((unsigned long)BASE) + 1)	\
		: (0UL))

Linus Torvalds's avatar
Linus Torvalds committed
92 93 94
/* If this is set, the section belongs in the init part of the module */
#define INIT_OFFSET_MASK (1UL << (BITS_PER_LONG-1))

95 96 97 98 99
/*
 * Mutex protects:
 * 1) List of modules (also safely readable with preempt_disable),
 * 2) module_use links,
 * 3) module_addr_min/module_addr_max.
100
 * (delete and add uses RCU list operations). */
101 102
DEFINE_MUTEX(module_mutex);
EXPORT_SYMBOL_GPL(module_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
103
static LIST_HEAD(modules);
104

105 106
#ifdef CONFIG_MODULES_TREE_LOOKUP

107 108 109 110 111 112 113 114 115 116
/*
 * Use a latched RB-tree for __module_address(); this allows us to use
 * RCU-sched lookups of the address from any context.
 *
 * Because modules have two address ranges: init and core, we need two
 * latch_tree_nodes entries. Therefore we need the back-pointer from
 * mod_tree_node.
 *
 * Because init ranges are short lived we mark them unlikely and have placed
 * them outside the critical cacheline in struct module.
117 118 119 120
 *
 * 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.
121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172
 */

static __always_inline unsigned long __mod_tree_val(struct latch_tree_node *n)
{
	struct mod_tree_node *mtn = container_of(n, struct mod_tree_node, node);
	struct module *mod = mtn->mod;

	if (unlikely(mtn == &mod->mtn_init))
		return (unsigned long)mod->module_init;

	return (unsigned long)mod->module_core;
}

static __always_inline unsigned long __mod_tree_size(struct latch_tree_node *n)
{
	struct mod_tree_node *mtn = container_of(n, struct mod_tree_node, node);
	struct module *mod = mtn->mod;

	if (unlikely(mtn == &mod->mtn_init))
		return (unsigned long)mod->init_size;

	return (unsigned long)mod->core_size;
}

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;

	return 0;
}

static const struct latch_tree_ops mod_tree_ops = {
	.less = mod_tree_less,
	.comp = mod_tree_comp,
};

173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192
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,
};

#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);
}
193 194 195 196 197 198 199 200 201 202

/*
 * These modifications: insert, remove_init and remove; are serialized by the
 * module_mutex.
 */
static void mod_tree_insert(struct module *mod)
{
	mod->mtn_core.mod = mod;
	mod->mtn_init.mod = mod;

203
	__mod_tree_insert(&mod->mtn_core);
204
	if (mod->init_size)
205
		__mod_tree_insert(&mod->mtn_init);
206 207 208 209 210
}

static void mod_tree_remove_init(struct module *mod)
{
	if (mod->init_size)
211
		__mod_tree_remove(&mod->mtn_init);
212 213 214 215
}

static void mod_tree_remove(struct module *mod)
{
216
	__mod_tree_remove(&mod->mtn_core);
217 218 219
	mod_tree_remove_init(mod);
}

220
static struct module *mod_find(unsigned long addr)
221 222 223
{
	struct latch_tree_node *ltn;

224
	ltn = latch_tree_find((void *)addr, &mod_tree.root, &mod_tree_ops);
225 226 227 228 229 230
	if (!ltn)
		return NULL;

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

231 232
#else /* MODULES_TREE_LOOKUP */

233 234
static unsigned long module_addr_min = -1UL, module_addr_max = 0;

235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252
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 */

253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274
/*
 * 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)
{
	__mod_update_bounds(mod->module_core, mod->core_size);
	if (mod->init_size)
		__mod_update_bounds(mod->module_init, mod->init_size);
}

275 276 277 278
#ifdef CONFIG_KGDB_KDB
struct list_head *kdb_modules = &modules; /* kdb needs the list of modules */
#endif /* CONFIG_KGDB_KDB */

279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294
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;

	WARN_ON(!rcu_read_lock_sched_held() &&
		!lockdep_is_held(&module_mutex));
#endif
}

295 296 297 298 299 300 301 302 303
#ifdef CONFIG_MODULE_SIG
#ifdef CONFIG_MODULE_SIG_FORCE
static bool sig_enforce = true;
#else
static bool sig_enforce = false;

module_param(sig_enforce, bool_enable_only, 0644);
#endif /* !CONFIG_MODULE_SIG_FORCE */
#endif /* CONFIG_MODULE_SIG */
Linus Torvalds's avatar
Linus Torvalds committed
304

305 306
/* Block module loading/unloading? */
int modules_disabled = 0;
307
core_param(nomodule, modules_disabled, bint, 0);
308

309 310 311
/* Waiting for a module to finish initializing? */
static DECLARE_WAIT_QUEUE_HEAD(module_wq);

312
static BLOCKING_NOTIFIER_HEAD(module_notify_list);
Linus Torvalds's avatar
Linus Torvalds committed
313

314
int register_module_notifier(struct notifier_block *nb)
Linus Torvalds's avatar
Linus Torvalds committed
315
{
316
	return blocking_notifier_chain_register(&module_notify_list, nb);
Linus Torvalds's avatar
Linus Torvalds committed
317 318 319
}
EXPORT_SYMBOL(register_module_notifier);

320
int unregister_module_notifier(struct notifier_block *nb)
Linus Torvalds's avatar
Linus Torvalds committed
321
{
322
	return blocking_notifier_chain_unregister(&module_notify_list, nb);
Linus Torvalds's avatar
Linus Torvalds committed
323 324 325
}
EXPORT_SYMBOL(unregister_module_notifier);

326 327 328 329
struct load_info {
	Elf_Ehdr *hdr;
	unsigned long len;
	Elf_Shdr *sechdrs;
330
	char *secstrings, *strtab;
Rusty Russell's avatar
Rusty Russell committed
331
	unsigned long symoffs, stroffs;
332 333
	struct _ddebug *debug;
	unsigned int num_debug;
334
	bool sig_ok;
335 336 337 338 339
	struct {
		unsigned int sym, str, mod, vers, info, pcpu;
	} index;
};

340 341
/* We require a truly strong try_module_get(): 0 means failure due to
   ongoing or failed initialization etc. */
Linus Torvalds's avatar
Linus Torvalds committed
342 343
static inline int strong_try_module_get(struct module *mod)
{
344
	BUG_ON(mod && mod->state == MODULE_STATE_UNFORMED);
Linus Torvalds's avatar
Linus Torvalds committed
345
	if (mod && mod->state == MODULE_STATE_COMING)
346 347
		return -EBUSY;
	if (try_module_get(mod))
Linus Torvalds's avatar
Linus Torvalds committed
348
		return 0;
349 350
	else
		return -ENOENT;
Linus Torvalds's avatar
Linus Torvalds committed
351 352
}

353 354
static inline void add_taint_module(struct module *mod, unsigned flag,
				    enum lockdep_ok lockdep_ok)
355
{
356
	add_taint(flag, lockdep_ok);
Andi Kleen's avatar
Andi Kleen committed
357
	mod->taints |= (1U << flag);
358 359
}

360 361 362
/*
 * 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.
Linus Torvalds's avatar
Linus Torvalds committed
363 364 365 366 367 368 369
 */
void __module_put_and_exit(struct module *mod, long code)
{
	module_put(mod);
	do_exit(code);
}
EXPORT_SYMBOL(__module_put_and_exit);
370

Linus Torvalds's avatar
Linus Torvalds committed
371
/* Find a module section: 0 means not found. */
372
static unsigned int find_sec(const struct load_info *info, const char *name)
Linus Torvalds's avatar
Linus Torvalds committed
373 374 375
{
	unsigned int i;

376 377
	for (i = 1; i < info->hdr->e_shnum; i++) {
		Elf_Shdr *shdr = &info->sechdrs[i];
Linus Torvalds's avatar
Linus Torvalds committed
378
		/* Alloc bit cleared means "ignore it." */
379 380
		if ((shdr->sh_flags & SHF_ALLOC)
		    && strcmp(info->secstrings + shdr->sh_name, name) == 0)
Linus Torvalds's avatar
Linus Torvalds committed
381
			return i;
382
	}
Linus Torvalds's avatar
Linus Torvalds committed
383 384 385
	return 0;
}

386
/* Find a module section, or NULL. */
387
static void *section_addr(const struct load_info *info, const char *name)
388 389
{
	/* Section 0 has sh_addr 0. */
390
	return (void *)info->sechdrs[find_sec(info, name)].sh_addr;
391 392 393
}

/* Find a module section, or NULL.  Fill in number of "objects" in section. */
394
static void *section_objs(const struct load_info *info,
395 396 397 398
			  const char *name,
			  size_t object_size,
			  unsigned int *num)
{
399
	unsigned int sec = find_sec(info, name);
400 401

	/* Section 0 has sh_addr 0 and sh_size 0. */
402 403
	*num = info->sechdrs[sec].sh_size / object_size;
	return (void *)info->sechdrs[sec].sh_addr;
404 405
}

Linus Torvalds's avatar
Linus Torvalds committed
406 407 408 409 410
/* 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[];
411 412
extern const struct kernel_symbol __start___ksymtab_gpl_future[];
extern const struct kernel_symbol __stop___ksymtab_gpl_future[];
Linus Torvalds's avatar
Linus Torvalds committed
413 414
extern const unsigned long __start___kcrctab[];
extern const unsigned long __start___kcrctab_gpl[];
415
extern const unsigned long __start___kcrctab_gpl_future[];
416 417 418 419 420
#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[];
421 422
extern const unsigned long __start___kcrctab_unused[];
extern const unsigned long __start___kcrctab_unused_gpl[];
423
#endif
Linus Torvalds's avatar
Linus Torvalds committed
424 425 426 427

#ifndef CONFIG_MODVERSIONS
#define symversion(base, idx) NULL
#else
428
#define symversion(base, idx) ((base != NULL) ? ((base) + (idx)) : NULL)
Linus Torvalds's avatar
Linus Torvalds committed
429 430
#endif

431 432 433 434 435
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,
436
					      void *data),
437
				   void *data)
438
{
439
	unsigned int j;
440

441
	for (j = 0; j < arrsize; j++) {
442 443
		if (fn(&arr[j], owner, data))
			return true;
444
	}
445 446

	return false;
447 448
}

449
/* Returns true as soon as fn returns true, otherwise false. */
450 451 452 453
bool each_symbol_section(bool (*fn)(const struct symsearch *arr,
				    struct module *owner,
				    void *data),
			 void *data)
454 455
{
	struct module *mod;
456
	static const struct symsearch arr[] = {
457
		{ __start___ksymtab, __stop___ksymtab, __start___kcrctab,
458
		  NOT_GPL_ONLY, false },
459
		{ __start___ksymtab_gpl, __stop___ksymtab_gpl,
460 461
		  __start___kcrctab_gpl,
		  GPL_ONLY, false },
462
		{ __start___ksymtab_gpl_future, __stop___ksymtab_gpl_future,
463 464
		  __start___kcrctab_gpl_future,
		  WILL_BE_GPL_ONLY, false },
465
#ifdef CONFIG_UNUSED_SYMBOLS
466
		{ __start___ksymtab_unused, __stop___ksymtab_unused,
467 468
		  __start___kcrctab_unused,
		  NOT_GPL_ONLY, true },
469
		{ __start___ksymtab_unused_gpl, __stop___ksymtab_unused_gpl,
470 471
		  __start___kcrctab_unused_gpl,
		  GPL_ONLY, true },
472
#endif
473
	};
474

475 476
	module_assert_mutex_or_preempt();

477 478
	if (each_symbol_in_section(arr, ARRAY_SIZE(arr), NULL, fn, data))
		return true;
479

480
	list_for_each_entry_rcu(mod, &modules, list) {
481 482
		struct symsearch arr[] = {
			{ mod->syms, mod->syms + mod->num_syms, mod->crcs,
483
			  NOT_GPL_ONLY, false },
484
			{ mod->gpl_syms, mod->gpl_syms + mod->num_gpl_syms,
485 486
			  mod->gpl_crcs,
			  GPL_ONLY, false },
487 488
			{ mod->gpl_future_syms,
			  mod->gpl_future_syms + mod->num_gpl_future_syms,
489 490
			  mod->gpl_future_crcs,
			  WILL_BE_GPL_ONLY, false },
491
#ifdef CONFIG_UNUSED_SYMBOLS
492 493
			{ mod->unused_syms,
			  mod->unused_syms + mod->num_unused_syms,
494 495
			  mod->unused_crcs,
			  NOT_GPL_ONLY, true },
496 497
			{ mod->unused_gpl_syms,
			  mod->unused_gpl_syms + mod->num_unused_gpl_syms,
498 499
			  mod->unused_gpl_crcs,
			  GPL_ONLY, true },
500
#endif
501 502
		};

503 504 505
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;

506 507 508 509 510
		if (each_symbol_in_section(arr, ARRAY_SIZE(arr), mod, fn, data))
			return true;
	}
	return false;
}
511
EXPORT_SYMBOL_GPL(each_symbol_section);
512 513 514 515 516 517 518 519 520 521

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

	/* Output */
	struct module *owner;
	const unsigned long *crc;
522
	const struct kernel_symbol *sym;
523 524
};

525 526 527
static bool check_symbol(const struct symsearch *syms,
				 struct module *owner,
				 unsigned int symnum, void *data)
528 529 530 531 532 533 534
{
	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) {
535 536 537
			pr_warn("Symbol %s is being used by a non-GPL module, "
				"which will not be allowed in the future\n",
				fsa->name);
538
		}
Linus Torvalds's avatar
Linus Torvalds committed
539
	}
540

541
#ifdef CONFIG_UNUSED_SYMBOLS
542
	if (syms->unused && fsa->warn) {
543 544 545
		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");
546 547 548
		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 "
549
			"inclusion.\n");
550
	}
551
#endif
552 553 554

	fsa->owner = owner;
	fsa->crc = symversion(syms->crcs, symnum);
555
	fsa->sym = &syms->start[symnum];
556 557 558
	return true;
}

559 560 561 562 563 564 565 566
static int cmp_name(const void *va, const void *vb)
{
	const char *a;
	const struct kernel_symbol *b;
	a = va; b = vb;
	return strcmp(a, b->name);
}

567 568 569 570 571
static bool find_symbol_in_section(const struct symsearch *syms,
				   struct module *owner,
				   void *data)
{
	struct find_symbol_arg *fsa = data;
572 573 574 575 576 577 578
	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;
579 580 581 582

	return false;
}

583
/* Find a symbol and return it, along with, (optional) crc and
584
 * (optional) module which owns it.  Needs preempt disabled or module_mutex. */
585 586 587 588 589
const struct kernel_symbol *find_symbol(const char *name,
					struct module **owner,
					const unsigned long **crc,
					bool gplok,
					bool warn)
590 591 592 593 594 595 596
{
	struct find_symbol_arg fsa;

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

597
	if (each_symbol_section(find_symbol_in_section, &fsa)) {
598 599 600 601
		if (owner)
			*owner = fsa.owner;
		if (crc)
			*crc = fsa.crc;
602
		return fsa.sym;
603 604
	}

605
	pr_debug("Failed to find symbol %s\n", name);
606
	return NULL;
Linus Torvalds's avatar
Linus Torvalds committed
607
}
608
EXPORT_SYMBOL_GPL(find_symbol);
Linus Torvalds's avatar
Linus Torvalds committed
609 610

/* Search for module by name: must hold module_mutex. */
611
static struct module *find_module_all(const char *name, size_t len,
612
				      bool even_unformed)
Linus Torvalds's avatar
Linus Torvalds committed
613 614 615
{
	struct module *mod;

616 617
	module_assert_mutex();

Linus Torvalds's avatar
Linus Torvalds committed
618
	list_for_each_entry(mod, &modules, list) {
619 620
		if (!even_unformed && mod->state == MODULE_STATE_UNFORMED)
			continue;
621
		if (strlen(mod->name) == len && !memcmp(mod->name, name, len))
Linus Torvalds's avatar
Linus Torvalds committed
622 623 624 625
			return mod;
	}
	return NULL;
}
626 627 628

struct module *find_module(const char *name)
{
629
	return find_module_all(name, strlen(name), false);
630
}
631
EXPORT_SYMBOL_GPL(find_module);
Linus Torvalds's avatar
Linus Torvalds committed
632 633

#ifdef CONFIG_SMP
634

635
static inline void __percpu *mod_percpu(struct module *mod)
636
{
637 638
	return mod->percpu;
}
639

Rusty Russell's avatar
Rusty Russell committed
640
static int percpu_modalloc(struct module *mod, struct load_info *info)
641
{
Rusty Russell's avatar
Rusty Russell committed
642 643 644 645 646 647
	Elf_Shdr *pcpusec = &info->sechdrs[info->index.pcpu];
	unsigned long align = pcpusec->sh_addralign;

	if (!pcpusec->sh_size)
		return 0;

648
	if (align > PAGE_SIZE) {
649 650
		pr_warn("%s: per-cpu alignment %li > %li\n",
			mod->name, align, PAGE_SIZE);
651 652 653
		align = PAGE_SIZE;
	}

Rusty Russell's avatar
Rusty Russell committed
654
	mod->percpu = __alloc_reserved_percpu(pcpusec->sh_size, align);
655
	if (!mod->percpu) {
656 657
		pr_warn("%s: Could not allocate %lu bytes percpu data\n",
			mod->name, (unsigned long)pcpusec->sh_size);
658 659
		return -ENOMEM;
	}
Rusty Russell's avatar
Rusty Russell committed
660
	mod->percpu_size = pcpusec->sh_size;
661
	return 0;
662 663
}

664
static void percpu_modfree(struct module *mod)
665
{
666
	free_percpu(mod->percpu);
667 668
}

669
static unsigned int find_pcpusec(struct load_info *info)
670
{
671
	return find_sec(info, ".data..percpu");
672 673
}

674 675
static void percpu_modcopy(struct module *mod,
			   const void *from, unsigned long size)
676 677 678 679
{
	int cpu;

	for_each_possible_cpu(cpu)
680
		memcpy(per_cpu_ptr(mod->percpu, cpu), from, size);
681 682
}

683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699
/**
 * 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)
{
	struct module *mod;
	unsigned int cpu;

	preempt_disable();

	list_for_each_entry_rcu(mod, &modules, list) {
700 701
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;
702 703 704 705 706 707 708 709 710 711 712 713 714 715 716
		if (!mod->percpu_size)
			continue;
		for_each_possible_cpu(cpu) {
			void *start = per_cpu_ptr(mod->percpu, cpu);

			if ((void *)addr >= start &&
			    (void *)addr < start + mod->percpu_size) {
				preempt_enable();
				return true;
			}
		}
	}

	preempt_enable();
	return false;
717 718
}

Linus Torvalds's avatar
Linus Torvalds committed
719
#else /* ... !CONFIG_SMP */
720

721
static inline void __percpu *mod_percpu(struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
722 723 724
{
	return NULL;
}
Rusty Russell's avatar
Rusty Russell committed
725
static int percpu_modalloc(struct module *mod, struct load_info *info)
726
{
Rusty Russell's avatar
Rusty Russell committed
727 728 729 730
	/* 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;
731 732
}
static inline void percpu_modfree(struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
733 734
{
}
735
static unsigned int find_pcpusec(struct load_info *info)
Linus Torvalds's avatar
Linus Torvalds committed
736 737 738
{
	return 0;
}
739 740
static inline void percpu_modcopy(struct module *mod,
				  const void *from, unsigned long size)
Linus Torvalds's avatar
Linus Torvalds committed
741 742 743 744
{
	/* pcpusec should be 0, and size of that section should be 0. */
	BUG_ON(size != 0);
}
745 746 747 748
bool is_module_percpu_address(unsigned long addr)
{
	return false;
}
749

Linus Torvalds's avatar
Linus Torvalds committed
750 751
#endif /* CONFIG_SMP */

752 753 754 755 756 757
#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,   \
758
			struct module_kobject *mk, char *buffer)      \
759
{                                                                     \
760
	return scnprintf(buffer, PAGE_SIZE, "%s\n", mk->mod->field);  \
761 762 763 764 765 766 767
}                                                                     \
static int modinfo_##field##_exists(struct module *mod)               \
{                                                                     \
	return mod->field != NULL;                                    \
}                                                                     \
static void free_modinfo_##field(struct module *mod)                  \
{                                                                     \
768 769
	kfree(mod->field);                                            \
	mod->field = NULL;                                            \
770 771
}                                                                     \
static struct module_attribute modinfo_##field = {                    \
772
	.attr = { .name = __stringify(field), .mode = 0444 },         \
773 774 775 776 777 778 779 780 781
	.show = show_modinfo_##field,                                 \
	.setup = setup_modinfo_##field,                               \
	.test = modinfo_##field##_exists,                             \
	.free = free_modinfo_##field,                                 \
};

MODINFO_ATTR(version);
MODINFO_ATTR(srcversion);

782 783
static char last_unloaded_module[MODULE_NAME_LEN+1];

784
#ifdef CONFIG_MODULE_UNLOAD
785 786 787

EXPORT_TRACEPOINT_SYMBOL(module_get);

788 789 790
/* MODULE_REF_BASE is the base reference count by kmodule loader. */
#define MODULE_REF_BASE	1

Linus Torvalds's avatar
Linus Torvalds committed
791
/* Init the unload section of the module. */
792
static int module_unload_init(struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
793
{
794 795 796 797 798
	/*
	 * Initialize reference counter to MODULE_REF_BASE.
	 * refcnt == 0 means module is going.
	 */
	atomic_set(&mod->refcnt, MODULE_REF_BASE);
799

800 801
	INIT_LIST_HEAD(&mod->source_list);
	INIT_LIST_HEAD(&mod->target_list);
802

Linus Torvalds's avatar
Linus Torvalds committed
803
	/* Hold reference count during initialization. */
804
	atomic_inc(&mod->refcnt);
805 806

	return 0;
Linus Torvalds's avatar
Linus Torvalds committed
807 808 809 810 811 812 813
}

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

814 815
	list_for_each_entry(use, &b->source_list, source_list) {
		if (use->source == a) {
816
			pr_debug("%s uses %s!\n", a->name, b->name);
Linus Torvalds's avatar
Linus Torvalds committed
817 818 819
			return 1;
		}
	}
820
	pr_debug("%s does not use %s!\n", a->name, b->name);
Linus Torvalds's avatar
Linus Torvalds committed
821 822 823
	return 0;
}

824 825 826 827 828 829 830 831 832 833 834
/*
 * 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;

835
	pr_debug("Allocating new usage for %s.\n", a->name);
836 837
	use = kmalloc(sizeof(*use), GFP_ATOMIC);
	if (!use) {
838
		pr_warn("%s: out of memory loading\n", a->name);
839 840 841 842 843 844 845 846 847 848
		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;
}

849
/* Module a uses b: caller needs module_mutex() */
850
int ref_module(struct module *a, struct module *b)
Linus Torvalds's avatar
Linus Torvalds committed
851
{
852
	int err;
Kay Sievers's avatar
Kay Sievers committed
853

854
	if (b == NULL || already_uses(a, b))
855 856
		return 0;

857 858
	/* If module isn't available, we fail. */
	err = strong_try_module_get(b);
859
	if (err)
860
		return err;
Linus Torvalds's avatar
Linus Torvalds committed
861

862 863
	err = add_module_usage(a, b);
	if (err) {
Linus Torvalds's avatar
Linus Torvalds committed
864
		module_put(b);
865
		return err;
Linus Torvalds's avatar
Linus Torvalds committed
866
	}
867
	return 0;
Linus Torvalds's avatar
Linus Torvalds committed
868
}
869
EXPORT_SYMBOL_GPL(ref_module);
Linus Torvalds's avatar
Linus Torvalds committed
870 871 872 873

/* Clear the unload stuff of the module. */
static void module_unload_free(struct module *mod)
{
874
	struct module_use *use, *tmp;
Linus Torvalds's avatar
Linus Torvalds committed
875

876
	mutex_lock(&module_mutex);
877 878
	list_for_each_entry_safe(use, tmp, &mod->target_list, target_list) {
		struct module *i = use->target;
879
		pr_debug("%s unusing %s\n", mod->name, i->name);
880 881 882 883
		module_put(i);
		list_del(&use->source_list);
		list_del(&use->target_list);
		kfree(use);
Linus Torvalds's avatar
Linus Torvalds committed
884
	}
885
	mutex_unlock(&module_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
886 887 888
}

#ifdef CONFIG_MODULE_FORCE_UNLOAD
889
static inline int try_force_unload(unsigned int flags)
Linus Torvalds's avatar
Linus Torvalds committed
890 891 892
{
	int ret = (flags & O_TRUNC);
	if (ret)
893
		add_taint(TAINT_FORCED_RMMOD, LOCKDEP_NOW_UNRELIABLE);
Linus Torvalds's avatar
Linus Torvalds committed
894 895 896
	return ret;
}
#else
897
static inline int try_force_unload(unsigned int flags)
Linus Torvalds's avatar
Linus Torvalds committed
898 899 900 901 902
{
	return 0;
}
#endif /* CONFIG_MODULE_FORCE_UNLOAD */

903 904
/* Try to release refcount of module, 0 means success. */
static int try_release_module_ref(struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
905
{
906
	int ret;
Linus Torvalds's avatar
Linus Torvalds committed
907

908 909 910 911 912 913
	/* 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);
Linus Torvalds's avatar
Linus Torvalds committed
914

915 916
	return ret;
}
Linus Torvalds's avatar
Linus Torvalds committed
917

918 919
static int try_stop_module(struct module *mod, int flags, int *forced)
{
920
	/* If it's not unused, quit unless we're forcing. */
921 922 923
	if (try_release_module_ref(mod) != 0) {
		*forced = try_force_unload(flags);
		if (!(*forced))
Linus Torvalds's avatar
Linus Torvalds committed
924 925 926 927
			return -EWOULDBLOCK;
	}

	/* Mark it as dying. */
928
	mod->state = MODULE_STATE_GOING;
Linus Torvalds's avatar
Linus Torvalds committed
929

930
	return 0;
Linus Torvalds's avatar
Linus Torvalds committed
931 932
}

933 934 935 936 937 938 939 940 941 942
/**
 * 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)
Linus Torvalds's avatar
Linus Torvalds committed
943
{
944
	return atomic_read(&mod->refcnt) - MODULE_REF_BASE;
Linus Torvalds's avatar
Linus Torvalds committed
945 946 947 948 949 950
}
EXPORT_SYMBOL(module_refcount);

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

951 952
SYSCALL_DEFINE2(delete_module, const char __user *, name_user,
		unsigned int, flags)
Linus Torvalds's avatar
Linus Torvalds committed
953 954
{
	struct module *mod;
955
	char name[MODULE_NAME_LEN];
Linus Torvalds's avatar
Linus Torvalds committed
956 957
	int ret, forced = 0;

958
	if (!capable(CAP_SYS_MODULE) || modules_disabled)
959 960 961 962 963 964
		return -EPERM;

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

965 966
	if (mutex_lock_interruptible(&module_mutex) != 0)
		return -EINTR;
Linus Torvalds's avatar
Linus Torvalds committed
967 968 969 970 971 972 973

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

974
	if (!list_empty(&mod->source_list)) {
Linus Torvalds's avatar
Linus Torvalds committed
975 976 977 978 979 980 981
		/* 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) {
982
		/* FIXME: if (force), slam module count damn the torpedoes */
983
		pr_debug("%s already dying\n", mod->name);
Linus Torvalds's avatar
Linus Torvalds committed
984 985 986 987 988
		ret = -EBUSY;
		goto out;
	}

	/* If it has an init func, it must have an exit func to unload */
989
	if (mod->init && !mod->exit) {
990
		forced = try_force_unload(flags);
Linus Torvalds's avatar
Linus Torvalds committed
991 992 993 994 995 996 997 998 999 1000 1001 1002
		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;

1003
	mutex_unlock(&module_mutex);
Lucas De Marchi's avatar
Lucas De Marchi committed
1004
	/* Final destruction now no one is using it. */
1005
	if (mod->exit != NULL)
Linus Torvalds's avatar
Linus Torvalds committed
1006
		mod->exit();
1007 1008
	blocking_notifier_call_chain(&module_notify_list,
				     MODULE_STATE_GOING, mod);
1009
	async_synchronize_full();
1010

1011
	/* Store the name of the last unloaded module for diagnostic purposes */
1012
	strlcpy(last_unloaded_module, mod->name, sizeof(last_unloaded_module));
Linus Torvalds's avatar
Linus Torvalds committed
1013

1014 1015 1016
	free_module(mod);
	return 0;
out:
1017
	mutex_unlock(&module_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
1018 1019 1020
	return ret;
}

1021
static inline void print_unload_info(struct seq_file *m, struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
1022 1023 1024 1025
{
	struct module_use *use;
	int printed_something = 0;

1026
	seq_printf(m, " %i ", module_refcount(mod));
Linus Torvalds's avatar
Linus Torvalds committed
1027

1028 1029 1030 1031
	/*
	 * Always include a trailing , so userspace can differentiate
	 * between this and the old multi-field proc format.
	 */
1032
	list_for_each_entry(use, &mod->source_list, source_list) {
Linus Torvalds's avatar
Linus Torvalds committed
1033
		printed_something = 1;
1034
		seq_printf(m, "%s,", use->source->name);
Linus Torvalds's avatar
Linus Torvalds committed
1035 1036 1037 1038
	}

	if (mod->init != NULL && mod->exit == NULL) {
		printed_something = 1;
1039
		seq_puts(m, "[permanent],");
Linus Torvalds's avatar
Linus Torvalds committed
1040 1041 1042
	}

	if (!printed_something)
1043
		seq_puts(m, "-");
Linus Torvalds's avatar
Linus Torvalds committed
1044 1045 1046 1047 1048 1049
}

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

Rusty Russell's avatar
Rusty Russell committed
1050
	preempt_disable();
1051
	if (!find_symbol(symbol, &owner, NULL, true, false))
Linus Torvalds's avatar
Linus Torvalds committed
1052 1053
		BUG();
	module_put(owner);
Rusty Russell's avatar
Rusty Russell committed
1054
	preempt_enable();
Linus Torvalds's avatar
Linus Torvalds committed
1055 1056 1057
}
EXPORT_SYMBOL(__symbol_put);

1058
/* Note this assumes addr is a function, which it currently always is. */
Linus Torvalds's avatar
Linus Torvalds committed
1059 1060
void symbol_put_addr(void *addr)
{
1061
	struct module *modaddr;
1062
	unsigned long a = (unsigned long)dereference_function_descriptor(addr);
Linus Torvalds's avatar
Linus Torvalds committed
1063

1064
	if (core_kernel_text(a))
1065
		return;
Linus Torvalds's avatar
Linus Torvalds committed
1066

1067 1068
	/* module_text_address is safe here: we're supposed to have reference
	 * to module from symbol_get, so it can't go away. */
1069
	modaddr = __module_text_address(a);
1070
	BUG_ON(!modaddr);
1071
	module_put(modaddr);
Linus Torvalds's avatar
Linus Torvalds committed
1072 1073 1074 1075
}
EXPORT_SYMBOL_GPL(symbol_put_addr);

static ssize_t show_refcnt(struct module_attribute *mattr,
1076
			   struct module_kobject *mk, char *buffer)
Linus Torvalds's avatar
Linus Torvalds committed
1077
{
1078
	return sprintf(buffer, "%i\n", module_refcount(mk->mod));
Linus Torvalds's avatar
Linus Torvalds committed
1079 1080
}

1081 1082
static struct module_attribute modinfo_refcnt =
	__ATTR(refcnt, 0444, show_refcnt, NULL);
Linus Torvalds's avatar
Linus Torvalds committed
1083

1084 1085 1086 1087
void __module_get(struct module *module)
{
	if (module) {
		preempt_disable();
1088
		atomic_inc(&module->refcnt);
1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100
		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();
1101 1102 1103
		/* Note: here, we can fail to get a reference */
		if (likely(module_is_live(module) &&
			   atomic_inc_not_zero(&module->refcnt) != 0))
1104
			trace_module_get(module, _RET_IP_);
1105
		else
1106 1107 1108 1109 1110 1111 1112 1113
			ret = false;

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

Al Viro's avatar
Al Viro committed
1114 1115
void module_put(struct module *module)
{
1116 1117
	int ret;

Al Viro's avatar
Al Viro committed
1118
	if (module) {
1119
		preempt_disable();
1120 1121
		ret = atomic_dec_if_positive(&module->refcnt);
		WARN_ON(ret < 0);	/* Failed to put refcount */
1122
		trace_module_put(module, _RET_IP_);
1123
		preempt_enable();
Al Viro's avatar
Al Viro committed
1124 1125 1126 1127
	}
}
EXPORT_SYMBOL(module_put);

Linus Torvalds's avatar
Linus Torvalds committed
1128
#else /* !CONFIG_MODULE_UNLOAD */
1129
static inline void print_unload_info(struct seq_file *m, struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
1130 1131
{
	/* We don't know the usage count, or what modules are using. */
1132
	seq_puts(m, " - -");
Linus Torvalds's avatar
Linus Torvalds committed
1133 1134 1135 1136 1137 1138
}

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

1139
int ref_module(struct module *a, struct module *b)
Linus Torvalds's avatar
Linus Torvalds committed
1140
{
1141
	return strong_try_module_get(b);
Linus Torvalds's avatar
Linus Torvalds committed
1142
}
1143
EXPORT_SYMBOL_GPL(ref_module);
Linus Torvalds's avatar
Linus Torvalds committed
1144

1145
static inline int module_unload_init(struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
1146
{
1147
	return 0;
Linus Torvalds's avatar
Linus Torvalds committed
1148 1149 1150
}
#endif /* CONFIG_MODULE_UNLOAD */

1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162
static size_t module_flags_taint(struct module *mod, char *buf)
{
	size_t l = 0;

	if (mod->taints & (1 << TAINT_PROPRIETARY_MODULE))
		buf[l++] = 'P';
	if (mod->taints & (1 << TAINT_OOT_MODULE))
		buf[l++] = 'O';
	if (mod->taints & (1 << TAINT_FORCED_MODULE))
		buf[l++] = 'F';
	if (mod->taints & (1 << TAINT_CRAP))
		buf[l++] = 'C';
1163
	if (mod->taints & (1 << TAINT_UNSIGNED_MODULE))
1164
		buf[l++] = 'E';
1165 1166
	/*
	 * TAINT_FORCED_RMMOD: could be added.
1167
	 * TAINT_CPU_OUT_OF_SPEC, TAINT_MACHINE_CHECK, TAINT_BAD_PAGE don't
1168 1169 1170 1171 1172
	 * apply to modules.
	 */
	return l;
}