blob: 38c2412401a1b118d53d3cff92eba24753134aed [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/* Rewritten by Rusty Russell, on the backs of many others...
2 Copyright (C) 2001 Rusty Russell, 2002 Rusty Russell IBM.
3
4 This program is free software; you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation; either version 2 of the License, or
7 (at your option) any later version.
8
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
13
14 You should have received a copy of the GNU General Public License
15 along with this program; if not, write to the Free Software
16 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
17*/
Frederic Weisbecker8b96f012008-12-06 03:40:00 +010018#include <linux/ftrace.h>
Dmitri Vorobievf80d2d72009-03-22 19:11:10 +020019#include <linux/memory.h>
Paul Gortmaker8a293be2016-07-23 14:01:45 -040020#include <linux/extable.h>
Ingo Molnar505f2b92009-03-20 11:05:04 +010021#include <linux/module.h>
22#include <linux/mutex.h>
23#include <linux/init.h>
Masami Hiramatsu5b485622017-01-08 23:58:09 +090024#include <linux/kprobes.h>
Daniel Borkmann74451e662017-02-16 22:24:50 +010025#include <linux/filter.h>
Ingo Molnar505f2b92009-03-20 11:05:04 +010026
Linus Torvalds1da177e2005-04-16 15:20:36 -070027#include <asm/sections.h>
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080028#include <linux/uaccess.h>
Ingo Molnar505f2b92009-03-20 11:05:04 +010029
30/*
31 * mutex protecting text section modification (dynamic code patching).
32 * some users need to sleep (allocating memory...) while they hold this lock.
33 *
34 * NOT exported to modules - patching kernel text is a really delicate matter.
35 */
36DEFINE_MUTEX(text_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -070037
38extern struct exception_table_entry __start___ex_table[];
39extern struct exception_table_entry __stop___ex_table[];
40
David Daneyd219e2e2012-04-19 14:59:56 -070041/* Cleared by build time tools if the table is already sorted. */
Andi Kleen00b71032014-02-08 08:52:04 +010042u32 __initdata __visible main_extable_sort_needed = 1;
David Daneyd219e2e2012-04-19 14:59:56 -070043
Linus Torvalds1da177e2005-04-16 15:20:36 -070044/* Sort the kernel's built-in exception table */
45void __init sort_main_extable(void)
46{
Uwe Kleine-Könige656a632013-09-11 14:23:27 -070047 if (main_extable_sort_needed && __stop___ex_table > __start___ex_table) {
Borislav Petkovbec1b9e2013-04-15 12:51:49 +020048 pr_notice("Sorting __ex_table...\n");
David Daneyd219e2e2012-04-19 14:59:56 -070049 sort_extable(__start___ex_table, __stop___ex_table);
Borislav Petkovbec1b9e2013-04-15 12:51:49 +020050 }
Linus Torvalds1da177e2005-04-16 15:20:36 -070051}
52
53/* Given an address, look for it in the exception tables. */
54const struct exception_table_entry *search_exception_tables(unsigned long addr)
55{
56 const struct exception_table_entry *e;
57
Thomas Meyera94c33d2017-07-10 15:51:58 -070058 e = search_extable(__start___ex_table,
59 __stop___ex_table - __start___ex_table, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -070060 if (!e)
61 e = search_module_extables(addr);
62 return e;
63}
64
Ingo Molnar4a44bac2009-03-19 13:21:44 +010065static inline int init_kernel_text(unsigned long addr)
66{
67 if (addr >= (unsigned long)_sinittext &&
Helge Deller5ecbe3c2013-11-28 09:16:33 +010068 addr < (unsigned long)_einittext)
Ingo Molnar4a44bac2009-03-19 13:21:44 +010069 return 1;
70 return 0;
71}
72
Marcin Nowakowskic0d80dd2017-07-06 15:35:31 -070073int notrace core_kernel_text(unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -070074{
75 if (addr >= (unsigned long)_stext &&
Helge Deller5ecbe3c2013-11-28 09:16:33 +010076 addr < (unsigned long)_etext)
Linus Torvalds1da177e2005-04-16 15:20:36 -070077 return 1;
78
Thomas Gleixner05947292017-05-16 20:42:44 +020079 if (system_state < SYSTEM_RUNNING &&
Ingo Molnar4a44bac2009-03-19 13:21:44 +010080 init_kernel_text(addr))
Linus Torvalds1da177e2005-04-16 15:20:36 -070081 return 1;
82 return 0;
83}
84
Steven Rostedta2d063a2011-05-19 21:34:58 -040085/**
86 * core_kernel_data - tell if addr points to kernel data
87 * @addr: address to test
88 *
89 * Returns true if @addr passed in is from the core kernel data
90 * section.
91 *
92 * Note: On some archs it may return true for core RODATA, and false
93 * for others. But will always be true for core RW data.
94 */
Steven Rostedtcdbe61b2011-05-05 21:14:55 -040095int core_kernel_data(unsigned long addr)
96{
Steven Rostedta2d063a2011-05-19 21:34:58 -040097 if (addr >= (unsigned long)_sdata &&
Steven Rostedtcdbe61b2011-05-05 21:14:55 -040098 addr < (unsigned long)_edata)
99 return 1;
100 return 0;
101}
102
Frederic Weisbecker3861a172009-02-08 00:04:02 +0100103int __kernel_text_address(unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700104{
105 if (core_kernel_text(addr))
106 return 1;
Linus Torvaldscab4e4c2009-04-05 10:30:21 -0700107 if (is_module_text_address(addr))
Ingo Molnar4a44bac2009-03-19 13:21:44 +0100108 return 1;
Steven Rostedt (Red Hat)aec0be22014-11-18 21:14:11 -0500109 if (is_ftrace_trampoline(addr))
110 return 1;
Masami Hiramatsu5b485622017-01-08 23:58:09 +0900111 if (is_kprobe_optinsn_slot(addr) || is_kprobe_insn_slot(addr))
112 return 1;
Daniel Borkmann74451e662017-02-16 22:24:50 +0100113 if (is_bpf_text_address(addr))
114 return 1;
Ingo Molnar4a44bac2009-03-19 13:21:44 +0100115 /*
116 * There might be init symbols in saved stacktraces.
117 * Give those symbols a chance to be printed in
118 * backtraces (such as lockdep traces).
119 *
120 * Since we are after the module-symbols check, there's
121 * no danger of address overlap:
122 */
123 if (init_kernel_text(addr))
124 return 1;
125 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126}
127
128int kernel_text_address(unsigned long addr)
129{
130 if (core_kernel_text(addr))
131 return 1;
Steven Rostedt (Red Hat)aec0be22014-11-18 21:14:11 -0500132 if (is_module_text_address(addr))
133 return 1;
Masami Hiramatsu5b485622017-01-08 23:58:09 +0900134 if (is_ftrace_trampoline(addr))
135 return 1;
136 if (is_kprobe_optinsn_slot(addr) || is_kprobe_insn_slot(addr))
137 return 1;
Daniel Borkmann74451e662017-02-16 22:24:50 +0100138 if (is_bpf_text_address(addr))
139 return 1;
Masami Hiramatsu5b485622017-01-08 23:58:09 +0900140 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700141}
Arjan van de Venab7476c2008-08-15 15:29:38 -0700142
143/*
144 * On some architectures (PPC64, IA64) function pointers
145 * are actually only tokens to some data that then holds the
146 * real function address. As a result, to find if a function
147 * pointer is part of the kernel text, we need to do some
148 * special dereferencing first.
149 */
150int func_ptr_is_kernel_text(void *ptr)
151{
152 unsigned long addr;
153 addr = (unsigned long) dereference_function_descriptor(ptr);
154 if (core_kernel_text(addr))
155 return 1;
Rusty Russella6e6abd2009-03-31 13:05:31 -0600156 return is_module_text_address(addr);
Arjan van de Venab7476c2008-08-15 15:29:38 -0700157}