Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* 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 Weisbecker | 8b96f01 | 2008-12-06 03:40:00 +0100 | [diff] [blame] | 18 | #include <linux/ftrace.h> |
Dmitri Vorobiev | f80d2d7 | 2009-03-22 19:11:10 +0200 | [diff] [blame] | 19 | #include <linux/memory.h> |
Paul Gortmaker | 8a293be | 2016-07-23 14:01:45 -0400 | [diff] [blame] | 20 | #include <linux/extable.h> |
Ingo Molnar | 505f2b9 | 2009-03-20 11:05:04 +0100 | [diff] [blame] | 21 | #include <linux/module.h> |
| 22 | #include <linux/mutex.h> |
| 23 | #include <linux/init.h> |
Masami Hiramatsu | 5b48562 | 2017-01-08 23:58:09 +0900 | [diff] [blame] | 24 | #include <linux/kprobes.h> |
Daniel Borkmann | 74451e66 | 2017-02-16 22:24:50 +0100 | [diff] [blame] | 25 | #include <linux/filter.h> |
Ingo Molnar | 505f2b9 | 2009-03-20 11:05:04 +0100 | [diff] [blame] | 26 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 27 | #include <asm/sections.h> |
Linus Torvalds | 7c0f6ba | 2016-12-24 11:46:01 -0800 | [diff] [blame] | 28 | #include <linux/uaccess.h> |
Ingo Molnar | 505f2b9 | 2009-03-20 11:05:04 +0100 | [diff] [blame] | 29 | |
| 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 | */ |
| 36 | DEFINE_MUTEX(text_mutex); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 37 | |
| 38 | extern struct exception_table_entry __start___ex_table[]; |
| 39 | extern struct exception_table_entry __stop___ex_table[]; |
| 40 | |
David Daney | d219e2e | 2012-04-19 14:59:56 -0700 | [diff] [blame] | 41 | /* Cleared by build time tools if the table is already sorted. */ |
Andi Kleen | 00b7103 | 2014-02-08 08:52:04 +0100 | [diff] [blame] | 42 | u32 __initdata __visible main_extable_sort_needed = 1; |
David Daney | d219e2e | 2012-04-19 14:59:56 -0700 | [diff] [blame] | 43 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 44 | /* Sort the kernel's built-in exception table */ |
| 45 | void __init sort_main_extable(void) |
| 46 | { |
Uwe Kleine-König | e656a63 | 2013-09-11 14:23:27 -0700 | [diff] [blame] | 47 | if (main_extable_sort_needed && __stop___ex_table > __start___ex_table) { |
Borislav Petkov | bec1b9e | 2013-04-15 12:51:49 +0200 | [diff] [blame] | 48 | pr_notice("Sorting __ex_table...\n"); |
David Daney | d219e2e | 2012-04-19 14:59:56 -0700 | [diff] [blame] | 49 | sort_extable(__start___ex_table, __stop___ex_table); |
Borislav Petkov | bec1b9e | 2013-04-15 12:51:49 +0200 | [diff] [blame] | 50 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 51 | } |
| 52 | |
| 53 | /* Given an address, look for it in the exception tables. */ |
| 54 | const struct exception_table_entry *search_exception_tables(unsigned long addr) |
| 55 | { |
| 56 | const struct exception_table_entry *e; |
| 57 | |
| 58 | e = search_extable(__start___ex_table, __stop___ex_table-1, addr); |
| 59 | if (!e) |
| 60 | e = search_module_extables(addr); |
| 61 | return e; |
| 62 | } |
| 63 | |
Ingo Molnar | 4a44bac | 2009-03-19 13:21:44 +0100 | [diff] [blame] | 64 | static inline int init_kernel_text(unsigned long addr) |
| 65 | { |
| 66 | if (addr >= (unsigned long)_sinittext && |
Helge Deller | 5ecbe3c | 2013-11-28 09:16:33 +0100 | [diff] [blame] | 67 | addr < (unsigned long)_einittext) |
Ingo Molnar | 4a44bac | 2009-03-19 13:21:44 +0100 | [diff] [blame] | 68 | return 1; |
| 69 | return 0; |
| 70 | } |
| 71 | |
Frederic Weisbecker | 3861a17 | 2009-02-08 00:04:02 +0100 | [diff] [blame] | 72 | int core_kernel_text(unsigned long addr) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 73 | { |
| 74 | if (addr >= (unsigned long)_stext && |
Helge Deller | 5ecbe3c | 2013-11-28 09:16:33 +0100 | [diff] [blame] | 75 | addr < (unsigned long)_etext) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 76 | return 1; |
| 77 | |
Rusty Russell | a2da405 | 2008-01-29 17:13:17 -0500 | [diff] [blame] | 78 | if (system_state == SYSTEM_BOOTING && |
Ingo Molnar | 4a44bac | 2009-03-19 13:21:44 +0100 | [diff] [blame] | 79 | init_kernel_text(addr)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 80 | return 1; |
| 81 | return 0; |
| 82 | } |
| 83 | |
Steven Rostedt | a2d063a | 2011-05-19 21:34:58 -0400 | [diff] [blame] | 84 | /** |
| 85 | * core_kernel_data - tell if addr points to kernel data |
| 86 | * @addr: address to test |
| 87 | * |
| 88 | * Returns true if @addr passed in is from the core kernel data |
| 89 | * section. |
| 90 | * |
| 91 | * Note: On some archs it may return true for core RODATA, and false |
| 92 | * for others. But will always be true for core RW data. |
| 93 | */ |
Steven Rostedt | cdbe61b | 2011-05-05 21:14:55 -0400 | [diff] [blame] | 94 | int core_kernel_data(unsigned long addr) |
| 95 | { |
Steven Rostedt | a2d063a | 2011-05-19 21:34:58 -0400 | [diff] [blame] | 96 | if (addr >= (unsigned long)_sdata && |
Steven Rostedt | cdbe61b | 2011-05-05 21:14:55 -0400 | [diff] [blame] | 97 | addr < (unsigned long)_edata) |
| 98 | return 1; |
| 99 | return 0; |
| 100 | } |
| 101 | |
Frederic Weisbecker | 3861a17 | 2009-02-08 00:04:02 +0100 | [diff] [blame] | 102 | int __kernel_text_address(unsigned long addr) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 103 | { |
| 104 | if (core_kernel_text(addr)) |
| 105 | return 1; |
Linus Torvalds | cab4e4c | 2009-04-05 10:30:21 -0700 | [diff] [blame] | 106 | if (is_module_text_address(addr)) |
Ingo Molnar | 4a44bac | 2009-03-19 13:21:44 +0100 | [diff] [blame] | 107 | return 1; |
Steven Rostedt (Red Hat) | aec0be2 | 2014-11-18 21:14:11 -0500 | [diff] [blame] | 108 | if (is_ftrace_trampoline(addr)) |
| 109 | return 1; |
Masami Hiramatsu | 5b48562 | 2017-01-08 23:58:09 +0900 | [diff] [blame] | 110 | if (is_kprobe_optinsn_slot(addr) || is_kprobe_insn_slot(addr)) |
| 111 | return 1; |
Daniel Borkmann | 74451e66 | 2017-02-16 22:24:50 +0100 | [diff] [blame] | 112 | if (is_bpf_text_address(addr)) |
| 113 | return 1; |
Ingo Molnar | 4a44bac | 2009-03-19 13:21:44 +0100 | [diff] [blame] | 114 | /* |
| 115 | * There might be init symbols in saved stacktraces. |
| 116 | * Give those symbols a chance to be printed in |
| 117 | * backtraces (such as lockdep traces). |
| 118 | * |
| 119 | * Since we are after the module-symbols check, there's |
| 120 | * no danger of address overlap: |
| 121 | */ |
| 122 | if (init_kernel_text(addr)) |
| 123 | return 1; |
| 124 | return 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 125 | } |
| 126 | |
| 127 | int kernel_text_address(unsigned long addr) |
| 128 | { |
| 129 | if (core_kernel_text(addr)) |
| 130 | return 1; |
Steven Rostedt (Red Hat) | aec0be2 | 2014-11-18 21:14:11 -0500 | [diff] [blame] | 131 | if (is_module_text_address(addr)) |
| 132 | return 1; |
Masami Hiramatsu | 5b48562 | 2017-01-08 23:58:09 +0900 | [diff] [blame] | 133 | if (is_ftrace_trampoline(addr)) |
| 134 | return 1; |
| 135 | if (is_kprobe_optinsn_slot(addr) || is_kprobe_insn_slot(addr)) |
| 136 | return 1; |
Daniel Borkmann | 74451e66 | 2017-02-16 22:24:50 +0100 | [diff] [blame] | 137 | if (is_bpf_text_address(addr)) |
| 138 | return 1; |
Masami Hiramatsu | 5b48562 | 2017-01-08 23:58:09 +0900 | [diff] [blame] | 139 | return 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 140 | } |
Arjan van de Ven | ab7476c | 2008-08-15 15:29:38 -0700 | [diff] [blame] | 141 | |
| 142 | /* |
| 143 | * On some architectures (PPC64, IA64) function pointers |
| 144 | * are actually only tokens to some data that then holds the |
| 145 | * real function address. As a result, to find if a function |
| 146 | * pointer is part of the kernel text, we need to do some |
| 147 | * special dereferencing first. |
| 148 | */ |
| 149 | int func_ptr_is_kernel_text(void *ptr) |
| 150 | { |
| 151 | unsigned long addr; |
| 152 | addr = (unsigned long) dereference_function_descriptor(ptr); |
| 153 | if (core_kernel_text(addr)) |
| 154 | return 1; |
Rusty Russell | a6e6abd | 2009-03-31 13:05:31 -0600 | [diff] [blame] | 155 | return is_module_text_address(addr); |
Arjan van de Ven | ab7476c | 2008-08-15 15:29:38 -0700 | [diff] [blame] | 156 | } |