module.c 96.2 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 46
#include <linux/stop_machine.h>
#include <linux/device.h>
47
#include <linux/string.h>
48
#include <linux/mutex.h>
49
#include <linux/rculist.h>
Linus Torvalds's avatar
Linus Torvalds committed
50 51
#include <asm/uaccess.h>
#include <asm/cacheflush.h>
52
#include <asm/mmu_context.h>
53
#include <linux/license.h>
54
#include <asm/sections.h>
55
#include <linux/tracepoint.h>
56
#include <linux/ftrace.h>
57
#include <linux/async.h>
58
#include <linux/percpu.h>
59
#include <linux/kmemleak.h>
60
#include <linux/jump_label.h>
61
#include <linux/pfn.h>
62
#include <linux/bsearch.h>
David Howells's avatar
David Howells committed
63
#include <linux/fips.h>
64
#include <uapi/linux/module.h>
65
#include "module-internal.h"
Linus Torvalds's avatar
Linus Torvalds committed
66

67 68 69
#define CREATE_TRACE_POINTS
#include <trace/events/module.h>

Linus Torvalds's avatar
Linus Torvalds committed
70 71 72 73
#ifndef ARCH_SHF_SMALL
#define ARCH_SHF_SMALL 0
#endif

74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93
/*
 * 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
94 95 96
/* If this is set, the section belongs in the init part of the module */
#define INIT_OFFSET_MASK (1UL << (BITS_PER_LONG-1))

97 98 99 100 101
/*
 * Mutex protects:
 * 1) List of modules (also safely readable with preempt_disable),
 * 2) module_use links,
 * 3) module_addr_min/module_addr_max.
102
 * (delete uses stop_machine/add uses RCU list operations). */
103 104
DEFINE_MUTEX(module_mutex);
EXPORT_SYMBOL_GPL(module_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
105
static LIST_HEAD(modules);
106 107 108 109
#ifdef CONFIG_KGDB_KDB
struct list_head *kdb_modules = &modules; /* kdb needs the list of modules */
#endif /* CONFIG_KGDB_KDB */

110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138
#ifdef CONFIG_MODULE_SIG
#ifdef CONFIG_MODULE_SIG_FORCE
static bool sig_enforce = true;
#else
static bool sig_enforce = false;

static int param_set_bool_enable_only(const char *val,
				      const struct kernel_param *kp)
{
	int err;
	bool test;
	struct kernel_param dummy_kp = *kp;

	dummy_kp.arg = &test;

	err = param_set_bool(val, &dummy_kp);
	if (err)
		return err;

	/* Don't let them unset it once it's set! */
	if (!test && sig_enforce)
		return -EROFS;

	if (test)
		sig_enforce = true;
	return 0;
}

static const struct kernel_param_ops param_ops_bool_enable_only = {
139
	.flags = KERNEL_PARAM_FL_NOARG,
140 141 142 143 144 145 146 147
	.set = param_set_bool_enable_only,
	.get = param_get_bool,
};
#define param_check_bool_enable_only param_check_bool

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

149 150
/* Block module loading/unloading? */
int modules_disabled = 0;
151
core_param(nomodule, modules_disabled, bint, 0);
152

153 154 155
/* Waiting for a module to finish initializing? */
static DECLARE_WAIT_QUEUE_HEAD(module_wq);

156
static BLOCKING_NOTIFIER_HEAD(module_notify_list);
Linus Torvalds's avatar
Linus Torvalds committed
157

158 159
/* Bounds of module allocation, for speeding __module_address.
 * Protected by module_mutex. */
160 161
static unsigned long module_addr_min = -1UL, module_addr_max = 0;

Linus Torvalds's avatar
Linus Torvalds committed
162 163
int register_module_notifier(struct notifier_block * nb)
{
164
	return blocking_notifier_chain_register(&module_notify_list, nb);
Linus Torvalds's avatar
Linus Torvalds committed
165 166 167 168 169
}
EXPORT_SYMBOL(register_module_notifier);

int unregister_module_notifier(struct notifier_block * nb)
{
170
	return blocking_notifier_chain_unregister(&module_notify_list, nb);
Linus Torvalds's avatar
Linus Torvalds committed
171 172 173
}
EXPORT_SYMBOL(unregister_module_notifier);

174 175 176 177
struct load_info {
	Elf_Ehdr *hdr;
	unsigned long len;
	Elf_Shdr *sechdrs;
178
	char *secstrings, *strtab;
Rusty Russell's avatar
Rusty Russell committed
179
	unsigned long symoffs, stroffs;
180 181
	struct _ddebug *debug;
	unsigned int num_debug;
182
	bool sig_ok;
183 184 185 186 187
	struct {
		unsigned int sym, str, mod, vers, info, pcpu;
	} index;
};

188 189
/* 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
190 191
static inline int strong_try_module_get(struct module *mod)
{
192
	BUG_ON(mod && mod->state == MODULE_STATE_UNFORMED);
Linus Torvalds's avatar
Linus Torvalds committed
193
	if (mod && mod->state == MODULE_STATE_COMING)
194 195
		return -EBUSY;
	if (try_module_get(mod))
Linus Torvalds's avatar
Linus Torvalds committed
196
		return 0;
197 198
	else
		return -ENOENT;
Linus Torvalds's avatar
Linus Torvalds committed
199 200
}

201 202
static inline void add_taint_module(struct module *mod, unsigned flag,
				    enum lockdep_ok lockdep_ok)
203
{
204
	add_taint(flag, lockdep_ok);
Andi Kleen's avatar
Andi Kleen committed
205
	mod->taints |= (1U << flag);
206 207
}

208 209 210
/*
 * 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
211 212 213 214 215 216 217
 */
void __module_put_and_exit(struct module *mod, long code)
{
	module_put(mod);
	do_exit(code);
}
EXPORT_SYMBOL(__module_put_and_exit);
218

Linus Torvalds's avatar
Linus Torvalds committed
219
/* Find a module section: 0 means not found. */
220
static unsigned int find_sec(const struct load_info *info, const char *name)
Linus Torvalds's avatar
Linus Torvalds committed
221 222 223
{
	unsigned int i;

224 225
	for (i = 1; i < info->hdr->e_shnum; i++) {
		Elf_Shdr *shdr = &info->sechdrs[i];
Linus Torvalds's avatar
Linus Torvalds committed
226
		/* Alloc bit cleared means "ignore it." */
227 228
		if ((shdr->sh_flags & SHF_ALLOC)
		    && strcmp(info->secstrings + shdr->sh_name, name) == 0)
Linus Torvalds's avatar
Linus Torvalds committed
229
			return i;
230
	}
Linus Torvalds's avatar
Linus Torvalds committed
231 232 233
	return 0;
}

234
/* Find a module section, or NULL. */
235
static void *section_addr(const struct load_info *info, const char *name)
236 237
{
	/* Section 0 has sh_addr 0. */
238
	return (void *)info->sechdrs[find_sec(info, name)].sh_addr;
239 240 241
}

/* Find a module section, or NULL.  Fill in number of "objects" in section. */
242
static void *section_objs(const struct load_info *info,
243 244 245 246
			  const char *name,
			  size_t object_size,
			  unsigned int *num)
{
247
	unsigned int sec = find_sec(info, name);
248 249

	/* Section 0 has sh_addr 0 and sh_size 0. */
250 251
	*num = info->sechdrs[sec].sh_size / object_size;
	return (void *)info->sechdrs[sec].sh_addr;
252 253
}

Linus Torvalds's avatar
Linus Torvalds committed
254 255 256 257 258
/* 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[];
259 260
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
261 262
extern const unsigned long __start___kcrctab[];
extern const unsigned long __start___kcrctab_gpl[];
263
extern const unsigned long __start___kcrctab_gpl_future[];
264 265 266 267 268
#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[];
269 270
extern const unsigned long __start___kcrctab_unused[];
extern const unsigned long __start___kcrctab_unused_gpl[];
271
#endif
Linus Torvalds's avatar
Linus Torvalds committed
272 273 274 275

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

279 280 281 282 283
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,
284
					      void *data),
285
				   void *data)
286
{
287
	unsigned int j;
288

289
	for (j = 0; j < arrsize; j++) {
290 291
		if (fn(&arr[j], owner, data))
			return true;
292
	}
293 294

	return false;
295 296
}

297
/* Returns true as soon as fn returns true, otherwise false. */
298 299 300 301
bool each_symbol_section(bool (*fn)(const struct symsearch *arr,
				    struct module *owner,
				    void *data),
			 void *data)
302 303
{
	struct module *mod;
304
	static const struct symsearch arr[] = {
305
		{ __start___ksymtab, __stop___ksymtab, __start___kcrctab,
306
		  NOT_GPL_ONLY, false },
307
		{ __start___ksymtab_gpl, __stop___ksymtab_gpl,
308 309
		  __start___kcrctab_gpl,
		  GPL_ONLY, false },
310
		{ __start___ksymtab_gpl_future, __stop___ksymtab_gpl_future,
311 312
		  __start___kcrctab_gpl_future,
		  WILL_BE_GPL_ONLY, false },
313
#ifdef CONFIG_UNUSED_SYMBOLS
314
		{ __start___ksymtab_unused, __stop___ksymtab_unused,
315 316
		  __start___kcrctab_unused,
		  NOT_GPL_ONLY, true },
317
		{ __start___ksymtab_unused_gpl, __stop___ksymtab_unused_gpl,
318 319
		  __start___kcrctab_unused_gpl,
		  GPL_ONLY, true },
320
#endif
321
	};
322

323 324
	if (each_symbol_in_section(arr, ARRAY_SIZE(arr), NULL, fn, data))
		return true;
325

326
	list_for_each_entry_rcu(mod, &modules, list) {
327 328
		struct symsearch arr[] = {
			{ mod->syms, mod->syms + mod->num_syms, mod->crcs,
329
			  NOT_GPL_ONLY, false },
330
			{ mod->gpl_syms, mod->gpl_syms + mod->num_gpl_syms,
331 332
			  mod->gpl_crcs,
			  GPL_ONLY, false },
333 334
			{ mod->gpl_future_syms,
			  mod->gpl_future_syms + mod->num_gpl_future_syms,
335 336
			  mod->gpl_future_crcs,
			  WILL_BE_GPL_ONLY, false },
337
#ifdef CONFIG_UNUSED_SYMBOLS
338 339
			{ mod->unused_syms,
			  mod->unused_syms + mod->num_unused_syms,
340 341
			  mod->unused_crcs,
			  NOT_GPL_ONLY, true },
342 343
			{ mod->unused_gpl_syms,
			  mod->unused_gpl_syms + mod->num_unused_gpl_syms,
344 345
			  mod->unused_gpl_crcs,
			  GPL_ONLY, true },
346
#endif
347 348
		};

349 350 351
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;

352 353 354 355 356
		if (each_symbol_in_section(arr, ARRAY_SIZE(arr), mod, fn, data))
			return true;
	}
	return false;
}
357
EXPORT_SYMBOL_GPL(each_symbol_section);
358 359 360 361 362 363 364 365 366 367

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

	/* Output */
	struct module *owner;
	const unsigned long *crc;
368
	const struct kernel_symbol *sym;
369 370
};

371 372 373
static bool check_symbol(const struct symsearch *syms,
				 struct module *owner,
				 unsigned int symnum, void *data)
374 375 376 377 378 379 380
{
	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) {
381 382 383
			pr_warn("Symbol %s is being used by a non-GPL module, "
				"which will not be allowed in the future\n",
				fsa->name);
384
		}
Linus Torvalds's avatar
Linus Torvalds committed
385
	}
386

387
#ifdef CONFIG_UNUSED_SYMBOLS
388
	if (syms->unused && fsa->warn) {
389 390 391 392 393 394 395
		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");
		pr_warn("Please evalute if this is the right api to use and if "
			"it really is, submit a report the linux kernel "
			"mailinglist together with submitting your code for "
			"inclusion.\n");
396
	}
397
#endif
398 399 400

	fsa->owner = owner;
	fsa->crc = symversion(syms->crcs, symnum);
401
	fsa->sym = &syms->start[symnum];
402 403 404
	return true;
}

405 406 407 408 409 410 411 412
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);
}

413 414 415 416 417
static bool find_symbol_in_section(const struct symsearch *syms,
				   struct module *owner,
				   void *data)
{
	struct find_symbol_arg *fsa = data;
418 419 420 421 422 423 424
	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;
425 426 427 428

	return false;
}

429
/* Find a symbol and return it, along with, (optional) crc and
430
 * (optional) module which owns it.  Needs preempt disabled or module_mutex. */
431 432 433 434 435
const struct kernel_symbol *find_symbol(const char *name,
					struct module **owner,
					const unsigned long **crc,
					bool gplok,
					bool warn)
436 437 438 439 440 441 442
{
	struct find_symbol_arg fsa;

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

443
	if (each_symbol_section(find_symbol_in_section, &fsa)) {
444 445 446 447
		if (owner)
			*owner = fsa.owner;
		if (crc)
			*crc = fsa.crc;
448
		return fsa.sym;
449 450
	}

451
	pr_debug("Failed to find symbol %s\n", name);
452
	return NULL;
Linus Torvalds's avatar
Linus Torvalds committed
453
}
454
EXPORT_SYMBOL_GPL(find_symbol);
Linus Torvalds's avatar
Linus Torvalds committed
455 456

/* Search for module by name: must hold module_mutex. */
457
static struct module *find_module_all(const char *name, size_t len,
458
				      bool even_unformed)
Linus Torvalds's avatar
Linus Torvalds committed
459 460 461 462
{
	struct module *mod;

	list_for_each_entry(mod, &modules, list) {
463 464
		if (!even_unformed && mod->state == MODULE_STATE_UNFORMED)
			continue;
465
		if (strlen(mod->name) == len && !memcmp(mod->name, name, len))
Linus Torvalds's avatar
Linus Torvalds committed
466 467 468 469
			return mod;
	}
	return NULL;
}
470 471 472

struct module *find_module(const char *name)
{
473
	return find_module_all(name, strlen(name), false);
474
}
475
EXPORT_SYMBOL_GPL(find_module);
Linus Torvalds's avatar
Linus Torvalds committed
476 477

#ifdef CONFIG_SMP
478

479
static inline void __percpu *mod_percpu(struct module *mod)
480
{
481 482
	return mod->percpu;
}
483

Rusty Russell's avatar
Rusty Russell committed
484
static int percpu_modalloc(struct module *mod, struct load_info *info)
485
{
Rusty Russell's avatar
Rusty Russell committed
486 487 488 489 490 491
	Elf_Shdr *pcpusec = &info->sechdrs[info->index.pcpu];
	unsigned long align = pcpusec->sh_addralign;

	if (!pcpusec->sh_size)
		return 0;

492
	if (align > PAGE_SIZE) {
493 494
		pr_warn("%s: per-cpu alignment %li > %li\n",
			mod->name, align, PAGE_SIZE);
495 496 497
		align = PAGE_SIZE;
	}

Rusty Russell's avatar
Rusty Russell committed
498
	mod->percpu = __alloc_reserved_percpu(pcpusec->sh_size, align);
499
	if (!mod->percpu) {
500 501
		pr_warn("%s: Could not allocate %lu bytes percpu data\n",
			mod->name, (unsigned long)pcpusec->sh_size);
502 503
		return -ENOMEM;
	}
Rusty Russell's avatar
Rusty Russell committed
504
	mod->percpu_size = pcpusec->sh_size;
505
	return 0;
506 507
}

508
static void percpu_modfree(struct module *mod)
509
{
510
	free_percpu(mod->percpu);
511 512
}

513
static unsigned int find_pcpusec(struct load_info *info)
514
{
515
	return find_sec(info, ".data..percpu");
516 517
}

518 519
static void percpu_modcopy(struct module *mod,
			   const void *from, unsigned long size)
520 521 522 523
{
	int cpu;

	for_each_possible_cpu(cpu)
524
		memcpy(per_cpu_ptr(mod->percpu, cpu), from, size);
525 526
}

527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543
/**
 * 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) {
544 545
		if (mod->state == MODULE_STATE_UNFORMED)
			continue;
546 547 548 549 550 551 552 553 554 555 556 557 558 559 560
		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;
561 562
}

Linus Torvalds's avatar
Linus Torvalds committed
563
#else /* ... !CONFIG_SMP */
564

565
static inline void __percpu *mod_percpu(struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
566 567 568
{
	return NULL;
}
Rusty Russell's avatar
Rusty Russell committed
569
static int percpu_modalloc(struct module *mod, struct load_info *info)
570
{
Rusty Russell's avatar
Rusty Russell committed
571 572 573 574
	/* 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;
575 576
}
static inline void percpu_modfree(struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
577 578
{
}
579
static unsigned int find_pcpusec(struct load_info *info)
Linus Torvalds's avatar
Linus Torvalds committed
580 581 582
{
	return 0;
}
583 584
static inline void percpu_modcopy(struct module *mod,
				  const void *from, unsigned long size)
Linus Torvalds's avatar
Linus Torvalds committed
585 586 587 588
{
	/* pcpusec should be 0, and size of that section should be 0. */
	BUG_ON(size != 0);
}
589 590 591 592
bool is_module_percpu_address(unsigned long addr)
{
	return false;
}
593

Linus Torvalds's avatar
Linus Torvalds committed
594 595
#endif /* CONFIG_SMP */

596 597 598 599 600 601
#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,   \
602
			struct module_kobject *mk, char *buffer)      \
603
{                                                                     \
604
	return scnprintf(buffer, PAGE_SIZE, "%s\n", mk->mod->field);  \
605 606 607 608 609 610 611
}                                                                     \
static int modinfo_##field##_exists(struct module *mod)               \
{                                                                     \
	return mod->field != NULL;                                    \
}                                                                     \
static void free_modinfo_##field(struct module *mod)                  \
{                                                                     \
612 613
	kfree(mod->field);                                            \
	mod->field = NULL;                                            \
614 615
}                                                                     \
static struct module_attribute modinfo_##field = {                    \
616
	.attr = { .name = __stringify(field), .mode = 0444 },         \
617 618 619 620 621 622 623 624 625
	.show = show_modinfo_##field,                                 \
	.setup = setup_modinfo_##field,                               \
	.test = modinfo_##field##_exists,                             \
	.free = free_modinfo_##field,                                 \
};

MODINFO_ATTR(version);
MODINFO_ATTR(srcversion);

626 627
static char last_unloaded_module[MODULE_NAME_LEN+1];

628
#ifdef CONFIG_MODULE_UNLOAD
629 630 631

EXPORT_TRACEPOINT_SYMBOL(module_get);

Linus Torvalds's avatar
Linus Torvalds committed
632
/* Init the unload section of the module. */
633
static int module_unload_init(struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
634
{
635 636 637 638
	mod->refptr = alloc_percpu(struct module_ref);
	if (!mod->refptr)
		return -ENOMEM;

639 640
	INIT_LIST_HEAD(&mod->source_list);
	INIT_LIST_HEAD(&mod->target_list);
641

Linus Torvalds's avatar
Linus Torvalds committed
642
	/* Hold reference count during initialization. */
643
	__this_cpu_write(mod->refptr->incs, 1);
644 645

	return 0;
Linus Torvalds's avatar
Linus Torvalds committed
646 647 648 649 650 651 652
}

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

653 654
	list_for_each_entry(use, &b->source_list, source_list) {
		if (use->source == a) {
655
			pr_debug("%s uses %s!\n", a->name, b->name);
Linus Torvalds's avatar
Linus Torvalds committed
656 657 658
			return 1;
		}
	}
659
	pr_debug("%s does not use %s!\n", a->name, b->name);
Linus Torvalds's avatar
Linus Torvalds committed
660 661 662
	return 0;
}

663 664 665 666 667 668 669 670 671 672 673
/*
 * 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;

674
	pr_debug("Allocating new usage for %s.\n", a->name);
675 676
	use = kmalloc(sizeof(*use), GFP_ATOMIC);
	if (!use) {
677
		pr_warn("%s: out of memory loading\n", a->name);
678 679 680 681 682 683 684 685 686 687
		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;
}

688
/* Module a uses b: caller needs module_mutex() */
689
int ref_module(struct module *a, struct module *b)
Linus Torvalds's avatar
Linus Torvalds committed
690
{
691
	int err;
Kay Sievers's avatar
Kay Sievers committed
692

693
	if (b == NULL || already_uses(a, b))
694 695
		return 0;

696 697
	/* If module isn't available, we fail. */
	err = strong_try_module_get(b);
698
	if (err)
699
		return err;
Linus Torvalds's avatar
Linus Torvalds committed
700

701 702
	err = add_module_usage(a, b);
	if (err) {
Linus Torvalds's avatar
Linus Torvalds committed
703
		module_put(b);
704
		return err;
Linus Torvalds's avatar
Linus Torvalds committed
705
	}
706
	return 0;
Linus Torvalds's avatar
Linus Torvalds committed
707
}
708
EXPORT_SYMBOL_GPL(ref_module);
Linus Torvalds's avatar
Linus Torvalds committed
709 710 711 712

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

715
	mutex_lock(&module_mutex);
716 717
	list_for_each_entry_safe(use, tmp, &mod->target_list, target_list) {
		struct module *i = use->target;
718
		pr_debug("%s unusing %s\n", mod->name, i->name);
719 720 721 722
		module_put(i);
		list_del(&use->source_list);
		list_del(&use->target_list);
		kfree(use);
Linus Torvalds's avatar
Linus Torvalds committed
723
	}
724
	mutex_unlock(&module_mutex);
725 726

	free_percpu(mod->refptr);
Linus Torvalds's avatar
Linus Torvalds committed
727 728 729
}

#ifdef CONFIG_MODULE_FORCE_UNLOAD
730
static inline int try_force_unload(unsigned int flags)
Linus Torvalds's avatar
Linus Torvalds committed
731 732 733
{
	int ret = (flags & O_TRUNC);
	if (ret)
734
		add_taint(TAINT_FORCED_RMMOD, LOCKDEP_NOW_UNRELIABLE);
Linus Torvalds's avatar
Linus Torvalds committed
735 736 737
	return ret;
}
#else
738
static inline int try_force_unload(unsigned int flags)
Linus Torvalds's avatar
Linus Torvalds committed
739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755
{
	return 0;
}
#endif /* CONFIG_MODULE_FORCE_UNLOAD */

struct stopref
{
	struct module *mod;
	int flags;
	int *forced;
};

/* Whole machine is stopped with interrupts off when this runs. */
static int __try_stop_module(void *_sref)
{
	struct stopref *sref = _sref;

756 757
	/* If it's not unused, quit unless we're forcing. */
	if (module_refcount(sref->mod) != 0) {
758
		if (!(*sref->forced = try_force_unload(sref->flags)))
Linus Torvalds's avatar
Linus Torvalds committed
759 760 761 762 763 764 765 766 767 768
			return -EWOULDBLOCK;
	}

	/* Mark it as dying. */
	sref->mod->state = MODULE_STATE_GOING;
	return 0;
}

static int try_stop_module(struct module *mod, int flags, int *forced)
{
769
	struct stopref sref = { mod, flags, forced };
Linus Torvalds's avatar
Linus Torvalds committed
770

771
	return stop_machine(__try_stop_module, &sref, NULL);
Linus Torvalds's avatar
Linus Torvalds committed
772 773
}

774
unsigned long module_refcount(struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
775
{
776
	unsigned long incs = 0, decs = 0;
777
	int cpu;
Linus Torvalds's avatar
Linus Torvalds committed
778

779
	for_each_possible_cpu(cpu)
780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797
		decs += per_cpu_ptr(mod->refptr, cpu)->decs;
	/*
	 * ensure the incs are added up after the decs.
	 * module_put ensures incs are visible before decs with smp_wmb.
	 *
	 * This 2-count scheme avoids the situation where the refcount
	 * for CPU0 is read, then CPU0 increments the module refcount,
	 * then CPU1 drops that refcount, then the refcount for CPU1 is
	 * read. We would record a decrement but not its corresponding
	 * increment so we would see a low count (disaster).
	 *
	 * Rare situation? But module_refcount can be preempted, and we
	 * might be tallying up 4096+ CPUs. So it is not impossible.
	 */
	smp_rmb();
	for_each_possible_cpu(cpu)
		incs += per_cpu_ptr(mod->refptr, cpu)->incs;
	return incs - decs;
Linus Torvalds's avatar
Linus Torvalds committed
798 799 800 801 802 803
}
EXPORT_SYMBOL(module_refcount);

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

804 805
SYSCALL_DEFINE2(delete_module, const char __user *, name_user,
		unsigned int, flags)
Linus Torvalds's avatar
Linus Torvalds committed
806 807
{
	struct module *mod;
808
	char name[MODULE_NAME_LEN];
Linus Torvalds's avatar
Linus Torvalds committed
809 810
	int ret, forced = 0;

811
	if (!capable(CAP_SYS_MODULE) || modules_disabled)
812 813 814 815 816 817
		return -EPERM;

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

818 819
	if (!(flags & O_NONBLOCK))
		pr_warn("waiting module removal not supported: please upgrade\n");
820

821 822
	if (mutex_lock_interruptible(&module_mutex) != 0)
		return -EINTR;
Linus Torvalds's avatar
Linus Torvalds committed
823 824 825 826 827 828 829

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

830
	if (!list_empty(&mod->source_list)) {
Linus Torvalds's avatar
Linus Torvalds committed
831 832 833 834 835 836 837
		/* 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) {
838
		/* FIXME: if (force), slam module count damn the torpedoes */
839
		pr_debug("%s already dying\n", mod->name);
Linus Torvalds's avatar
Linus Torvalds committed
840 841 842 843 844
		ret = -EBUSY;
		goto out;
	}

	/* If it has an init func, it must have an exit func to unload */
845
	if (mod->init && !mod->exit) {
846
		forced = try_force_unload(flags);
Linus Torvalds's avatar
Linus Torvalds committed
847 848 849 850 851 852 853 854 855 856 857 858
		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;

859
	mutex_unlock(&module_mutex);
Lucas De Marchi's avatar
Lucas De Marchi committed
860
	/* Final destruction now no one is using it. */
861
	if (mod->exit != NULL)
Linus Torvalds's avatar
Linus Torvalds committed
862
		mod->exit();
863 864
	blocking_notifier_call_chain(&module_notify_list,
				     MODULE_STATE_GOING, mod);
865
	async_synchronize_full();
866

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

870 871 872
	free_module(mod);
	return 0;
out:
873
	mutex_unlock(&module_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
874 875 876
	return ret;
}

877
static inline void print_unload_info(struct seq_file *m, struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
878 879 880 881
{
	struct module_use *use;
	int printed_something = 0;

882
	seq_printf(m, " %lu ", module_refcount(mod));
Linus Torvalds's avatar
Linus Torvalds committed
883 884 885

	/* Always include a trailing , so userspace can differentiate
           between this and the old multi-field proc format. */
886
	list_for_each_entry(use, &mod->source_list, source_list) {
Linus Torvalds's avatar
Linus Torvalds committed
887
		printed_something = 1;
888
		seq_printf(m, "%s,", use->source->name);
Linus Torvalds's avatar
Linus Torvalds committed
889 890 891 892 893 894 895 896 897 898 899 900 901 902 903
	}

	if (mod->init != NULL && mod->exit == NULL) {
		printed_something = 1;
		seq_printf(m, "[permanent],");
	}

	if (!printed_something)
		seq_printf(m, "-");
}

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

Rusty Russell's avatar
Rusty Russell committed
904
	preempt_disable();
905
	if (!find_symbol(symbol, &owner, NULL, true, false))
Linus Torvalds's avatar
Linus Torvalds committed
906 907
		BUG();
	module_put(owner);
Rusty Russell's avatar
Rusty Russell committed
908
	preempt_enable();
Linus Torvalds's avatar
Linus Torvalds committed
909 910 911
}
EXPORT_SYMBOL(__symbol_put);

912
/* Note this assumes addr is a function, which it currently always is. */
Linus Torvalds's avatar
Linus Torvalds committed
913 914
void symbol_put_addr(void *addr)
{
915
	struct module *modaddr;
916
	unsigned long a = (unsigned long)dereference_function_descriptor(addr);
Linus Torvalds's avatar
Linus Torvalds committed
917

918
	if (core_kernel_text(a))
919
		return;
Linus Torvalds's avatar
Linus Torvalds committed
920

921 922
	/* module_text_address is safe here: we're supposed to have reference
	 * to module from symbol_get, so it can't go away. */
923
	modaddr = __module_text_address(a);
924
	BUG_ON(!modaddr);
925
	module_put(modaddr);
Linus Torvalds's avatar
Linus Torvalds committed
926 927 928 929
}
EXPORT_SYMBOL_GPL(symbol_put_addr);

static ssize_t show_refcnt(struct module_attribute *mattr,
930
			   struct module_kobject *mk, char *buffer)
Linus Torvalds's avatar
Linus Torvalds committed
931
{
932
	return sprintf(buffer, "%lu\n", module_refcount(mk->mod));
Linus Torvalds's avatar
Linus Torvalds committed
933 934
}

935 936
static struct module_attribute modinfo_refcnt =
	__ATTR(refcnt, 0444, show_refcnt, NULL);
Linus Torvalds's avatar
Linus Torvalds committed
937

938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967
void __module_get(struct module *module)
{
	if (module) {
		preempt_disable();
		__this_cpu_inc(module->refptr->incs);
		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();

		if (likely(module_is_live(module))) {
			__this_cpu_inc(module->refptr->incs);
			trace_module_get(module, _RET_IP_);
		} else
			ret = false;

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

Al Viro's avatar
Al Viro committed
968 969 970
void module_put(struct module *module)
{
	if (module) {
971
		preempt_disable();
972 973
		smp_wmb(); /* see comment in module_refcount */
		__this_cpu_inc(module->refptr->decs);
974

975
		trace_module_put(module, _RET_IP_);
976
		preempt_enable();
Al Viro's avatar
Al Viro committed
977 978 979 980
	}
}
EXPORT_SYMBOL(module_put);

Linus Torvalds's avatar
Linus Torvalds committed
981
#else /* !CONFIG_MODULE_UNLOAD */
982
static inline void print_unload_info(struct seq_file *m, struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
983 984 985 986 987 988 989 990 991
{
	/* We don't know the usage count, or what modules are using. */
	seq_printf(m, " - -");
}

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

992
int ref_module(struct module *a, struct module *b)
Linus Torvalds's avatar
Linus Torvalds committed
993
{
994
	return strong_try_module_get(b);
Linus Torvalds's avatar
Linus Torvalds committed
995
}
996
EXPORT_SYMBOL_GPL(ref_module);
Linus Torvalds's avatar
Linus Torvalds committed
997

998
static inline int module_unload_init(struct module *mod)
Linus Torvalds's avatar
Linus Torvalds committed
999
{
1000
	return 0;
Linus Torvalds's avatar
Linus Torvalds committed
1001 1002 1003
}
#endif /* CONFIG_MODULE_UNLOAD */

1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023
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';
	/*
	 * TAINT_FORCED_RMMOD: could be added.
	 * TAINT_UNSAFE_SMP, TAINT_MACHINE_CHECK, TAINT_BAD_PAGE don't
	 * apply to modules.
	 */
	return l;
}

1024
static ssize_t show_initstate(struct module_attribute *mattr,
1025
			      struct module_kobject *mk, char *buffer)
1026 1027 1028
{
	const char *state = "unknown";

1029
	switch (mk->mod->state) {
1030 1031 1032 1033 1034 1035 1036 1037 1038
	case MODULE_STATE_LIVE:
		state = "live";
		break;
	case MODULE_STATE_COMING:
		state = "coming";
		break;
	case MODULE_STATE_GOING:
		state = "going";
		break;
1039 1040
	default:
		BUG();
1041 1042 1043 1044
	}
	return sprintf(buffer, "%s\n", state);
}

1045 1046
static struct module_attribute modinfo_initstate =
	__ATTR(initstate, 0444, show_initstate, NULL);
1047

1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058
static ssize_t store_uevent(struct module_attribute *mattr,
			    struct module_kobject *mk,
			    const char *buffer, size_t count)
{
	enum kobject_action action;

	if (kobject_action_type(buffer, count, &action) == 0)
		kobject_uevent(&mk->kobj, action);
	return count;
}

1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091
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)
{
	return sprintf(buffer, "%u\n", mk->mod->core_size);
}

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)
{
	return sprintf(buffer, "%u\n", mk->mod->init_size);
}

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);
1092

1093
static struct module_attribute *modinfo_attrs[] = {
1094
	&module_uevent,
1095 1096
	&modinfo_version,
	&modinfo_srcversion,
1097 1098 1099 1100
	&modinfo_initstate,
	&modinfo_coresize,
	&modinfo_initsize,
	&modinfo_taint,
1101
#ifdef CONFIG_MODULE_UNLOAD
1102
	&modinfo_refcnt,
1103 1104 1105 1106
#endif
	NULL,
};

Linus Torvalds's avatar
Linus Torvalds committed
1107 1108
static const char vermagic[] = VERMAGIC_STRING;

1109
static int try_to_force_load(struct module *mod, const char *reason)
1110 1111
{
#ifdef CONFIG_MODULE_FORCE_LOAD
Andi Kleen's avatar
Andi Kleen committed
1112
	if (!test_taint(TAINT_FORCED_MODULE))
1113
		pr_warn("%s: %s: kernel tainted.\n", mod->name, reason);
1114
	add_taint_module(mod, TAINT_FORCED_MODULE, LOCKDEP_NOW_UNRELIABLE);
1115 1116 1117 1118 1119 1120
	return 0;
#else
	return -ENOEXEC;
#endif
}

Linus Torvalds's avatar
Linus Torvalds committed
1121
#ifdef CONFIG_MODVERSIONS
1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132
/* If the arch applies (non-zero) relocations to kernel kcrctab, unapply it. */
static unsigned long maybe_relocated(unsigned long crc,
				     const struct module *crc_owner)
{
#ifdef ARCH_RELOCATES_KCRCTAB
	if (crc_owner == NULL)
		return crc - (unsigned long)reloc_start;
#endif
	return crc;
}

Linus Torvalds's avatar
Linus Torvalds committed
1133 1134 1135 1136
static int check_version(Elf_Shdr *sechdrs,
			 unsigned int versindex,
			 const char *symname,
			 struct module *mod, 
1137 1138
			 const unsigned long *crc,
			 const struct module *crc_owner)
Linus Torvalds's avatar
Linus Torvalds committed
1139 1140 1141 1142 1143 1144 1145 1146
{
	unsigned int i, num_versions;
	struct modversion_info *versions;

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

1147 1148 1149 1150
	/* No versions at all?  modprobe --force does this. */
	if (versindex == 0)
		return try_to_force_load(mod, symname) == 0;

Linus Torvalds's avatar
Linus Torvalds committed
1151 1152 1153 1154 1155 1156 1157 1158
	versions = (void *) sechdrs[versindex].sh_addr;
	num_versions = sechdrs[versindex].sh_size
		/ sizeof(struct modversion_info);

	for (i = 0; i < num_versions; i++) {
		if (strcmp(versions[i].name, symname) != 0)
			continue;

1159
		if (versions[i].crc == maybe_relocated(*crc, crc_owner))
Linus Torvalds's avatar
Linus Torvalds committed
1160
			return 1;
1161
		pr_debug("Found checksum %lX vs module %lX\n",
1162
		       maybe_relocated(*crc, crc_owner), versions[i].crc);
1163
		goto bad_version;
Linus Torvalds's avatar
Linus Torvalds committed
1164
	}
1165

1166
	pr_warn("%s: no symbol version for %s\n", mod->name, symname);
1167
	return 0;
1168 1169 1170 1171 1172

bad_version:
	printk("%s: disagrees about version of symbol %s\n",
	       mod->name, symname);
	return 0;
Linus Torvalds's avatar
Linus Torvalds committed
1173 1174 1175 1176 1177 1178 1179 1180
}

static inline int check_modstruct_version(Elf_Shdr *sechdrs,
					  unsigned int versindex,
					  struct module *mod)
{
	const unsigned long *crc;

1181 1182
	/* Since this should be found in kernel (which can't be removed),
	 * no locking is necessary. */
1183
	if (!find_symbol(VMLINUX_SYMBOL_STR(module_layout), NULL,
1184
			 &crc, true, false))
Linus Torvalds's avatar