blob: 262cd9b003b9f06144a0333e25181b04bd0ccae5 [file] [log] [blame]
Thomas Gleixner1ccea772019-05-19 15:51:43 +02001// SPDX-License-Identifier: GPL-2.0-or-later
Seth Jenningsb700e7f2014-12-16 11:58:19 -06002/*
3 * core.c - Kernel Live Patching Core
4 *
5 * Copyright (C) 2014 Seth Jennings <sjenning@redhat.com>
6 * Copyright (C) 2014 SUSE
Seth Jenningsb700e7f2014-12-16 11:58:19 -06007 */
8
9#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
10
11#include <linux/module.h>
12#include <linux/kernel.h>
13#include <linux/mutex.h>
14#include <linux/slab.h>
Seth Jenningsb700e7f2014-12-16 11:58:19 -060015#include <linux/list.h>
16#include <linux/kallsyms.h>
17#include <linux/livepatch.h>
Jessica Yu425595a2016-03-22 20:03:18 -040018#include <linux/elf.h>
19#include <linux/moduleloader.h>
Josh Poimboeuf3ec24772017-03-06 11:20:29 -060020#include <linux/completion.h>
Josh Poimboeuf9f255b62019-06-13 20:07:22 -050021#include <linux/memory.h>
Christoph Hellwiga0060502021-02-02 13:13:25 +010022#include <linux/rcupdate.h>
Josh Poimboeufb56b36e2015-12-03 16:33:26 -060023#include <asm/cacheflush.h>
Jiri Kosina10517422017-03-08 14:27:05 +010024#include "core.h"
Josh Poimboeufc349cdc2017-02-13 19:42:37 -060025#include "patch.h"
Petr Mladek92c9abf2019-10-30 16:43:11 +010026#include "state.h"
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060027#include "transition.h"
Seth Jenningsb700e7f2014-12-16 11:58:19 -060028
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060029/*
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060030 * klp_mutex is a coarse lock which serializes access to klp data. All
31 * accesses to klp-related variables and structures must have mutex protection,
32 * except within the following functions which carefully avoid the need for it:
33 *
34 * - klp_ftrace_handler()
35 * - klp_update_patch_state()
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060036 */
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060037DEFINE_MUTEX(klp_mutex);
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060038
Petr Mladek958ef1e2019-01-09 13:43:23 +010039/*
40 * Actively used patches: enabled or in transition. Note that replaced
41 * or disabled patches are not listed even though the related kernel
42 * module still can be loaded.
43 */
Petr Mladek68007282019-01-09 13:43:22 +010044LIST_HEAD(klp_patches);
Seth Jenningsb700e7f2014-12-16 11:58:19 -060045
46static struct kobject *klp_root_kobj;
47
48static bool klp_is_module(struct klp_object *obj)
49{
50 return obj->name;
51}
52
Seth Jenningsb700e7f2014-12-16 11:58:19 -060053/* sets obj->mod if object is not vmlinux and module is found */
54static void klp_find_object_module(struct klp_object *obj)
55{
Petr Mladek8cb2c2d2015-03-12 12:55:13 +010056 struct module *mod;
57
Seth Jenningsb700e7f2014-12-16 11:58:19 -060058 if (!klp_is_module(obj))
59 return;
60
Christoph Hellwiga0060502021-02-02 13:13:25 +010061 rcu_read_lock_sched();
Seth Jenningsb700e7f2014-12-16 11:58:19 -060062 /*
Petr Mladek8cb2c2d2015-03-12 12:55:13 +010063 * We do not want to block removal of patched modules and therefore
64 * we do not take a reference here. The patches are removed by
Jessica Yu7e545d62016-03-16 20:55:39 -040065 * klp_module_going() instead.
Seth Jenningsb700e7f2014-12-16 11:58:19 -060066 */
Petr Mladek8cb2c2d2015-03-12 12:55:13 +010067 mod = find_module(obj->name);
68 /*
Jessica Yu7e545d62016-03-16 20:55:39 -040069 * Do not mess work of klp_module_coming() and klp_module_going().
70 * Note that the patch might still be needed before klp_module_going()
Petr Mladek8cb2c2d2015-03-12 12:55:13 +010071 * is called. Module functions can be called even in the GOING state
72 * until mod->exit() finishes. This is especially important for
73 * patches that modify semantic of the functions.
74 */
75 if (mod && mod->klp_alive)
76 obj->mod = mod;
77
Christoph Hellwiga0060502021-02-02 13:13:25 +010078 rcu_read_unlock_sched();
Seth Jenningsb700e7f2014-12-16 11:58:19 -060079}
80
Seth Jenningsb700e7f2014-12-16 11:58:19 -060081static bool klp_initialized(void)
82{
Nicholas Mc Guiree76ff062015-05-11 07:52:29 +020083 return !!klp_root_kobj;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060084}
85
Jason Barone1452b62019-01-09 13:43:25 +010086static struct klp_func *klp_find_func(struct klp_object *obj,
87 struct klp_func *old_func)
88{
89 struct klp_func *func;
90
91 klp_for_each_func(obj, func) {
92 if ((strcmp(old_func->old_name, func->old_name) == 0) &&
93 (old_func->old_sympos == func->old_sympos)) {
94 return func;
95 }
96 }
97
98 return NULL;
99}
100
101static struct klp_object *klp_find_object(struct klp_patch *patch,
102 struct klp_object *old_obj)
103{
104 struct klp_object *obj;
105
106 klp_for_each_object(patch, obj) {
107 if (klp_is_module(old_obj)) {
108 if (klp_is_module(obj) &&
109 strcmp(old_obj->name, obj->name) == 0) {
110 return obj;
111 }
112 } else if (!klp_is_module(obj)) {
113 return obj;
114 }
115 }
116
117 return NULL;
118}
119
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600120struct klp_find_arg {
121 const char *objname;
122 const char *name;
123 unsigned long addr;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600124 unsigned long count;
Chris J Argesb2b018e2015-12-01 20:40:54 -0600125 unsigned long pos;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600126};
127
128static int klp_find_callback(void *data, const char *name,
129 struct module *mod, unsigned long addr)
130{
131 struct klp_find_arg *args = data;
132
133 if ((mod && !args->objname) || (!mod && args->objname))
134 return 0;
135
136 if (strcmp(args->name, name))
137 return 0;
138
139 if (args->objname && strcmp(args->objname, mod->name))
140 return 0;
141
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600142 args->addr = addr;
143 args->count++;
144
Chris J Argesb2b018e2015-12-01 20:40:54 -0600145 /*
146 * Finish the search when the symbol is found for the desired position
147 * or the position is not defined for a non-unique symbol.
148 */
149 if ((args->pos && (args->count == args->pos)) ||
150 (!args->pos && (args->count > 1)))
151 return 1;
152
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600153 return 0;
154}
155
156static int klp_find_object_symbol(const char *objname, const char *name,
Chris J Argesb2b018e2015-12-01 20:40:54 -0600157 unsigned long sympos, unsigned long *addr)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600158{
159 struct klp_find_arg args = {
160 .objname = objname,
161 .name = name,
162 .addr = 0,
Chris J Argesb2b018e2015-12-01 20:40:54 -0600163 .count = 0,
164 .pos = sympos,
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600165 };
166
Miroslav Benes9a1bd632015-06-01 17:48:37 +0200167 mutex_lock(&module_mutex);
Zhou Chengming72f04b52017-03-28 21:10:35 +0800168 if (objname)
169 module_kallsyms_on_each_symbol(klp_find_callback, &args);
170 else
171 kallsyms_on_each_symbol(klp_find_callback, &args);
Miroslav Benes9a1bd632015-06-01 17:48:37 +0200172 mutex_unlock(&module_mutex);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600173
Chris J Argesb2b018e2015-12-01 20:40:54 -0600174 /*
175 * Ensure an address was found. If sympos is 0, ensure symbol is unique;
176 * otherwise ensure the symbol position count matches sympos.
177 */
178 if (args.addr == 0)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600179 pr_err("symbol '%s' not found in symbol table\n", name);
Chris J Argesb2b018e2015-12-01 20:40:54 -0600180 else if (args.count > 1 && sympos == 0) {
Petr Mladekf995b5f2016-03-09 15:20:59 +0100181 pr_err("unresolvable ambiguity for symbol '%s' in object '%s'\n",
182 name, objname);
Chris J Argesb2b018e2015-12-01 20:40:54 -0600183 } else if (sympos != args.count && sympos > 0) {
184 pr_err("symbol position %lu for symbol '%s' in object '%s' not found\n",
185 sympos, name, objname ? objname : "vmlinux");
186 } else {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600187 *addr = args.addr;
188 return 0;
189 }
190
191 *addr = 0;
192 return -EINVAL;
193}
194
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500195static int klp_resolve_symbols(Elf64_Shdr *sechdrs, const char *strtab,
Josh Poimboeufca376a92020-04-29 10:24:46 -0500196 unsigned int symndx, Elf_Shdr *relasec,
197 const char *sec_objname)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600198{
Josh Poimboeufca376a92020-04-29 10:24:46 -0500199 int i, cnt, ret;
200 char sym_objname[MODULE_NAME_LEN];
201 char sym_name[KSYM_NAME_LEN];
Jessica Yu425595a2016-03-22 20:03:18 -0400202 Elf_Rela *relas;
203 Elf_Sym *sym;
204 unsigned long sympos, addr;
Josh Poimboeufca376a92020-04-29 10:24:46 -0500205 bool sym_vmlinux;
206 bool sec_vmlinux = !strcmp(sec_objname, "vmlinux");
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600207
Chris J Argesb2b018e2015-12-01 20:40:54 -0600208 /*
Josh Poimboeufca376a92020-04-29 10:24:46 -0500209 * Since the field widths for sym_objname and sym_name in the sscanf()
Jessica Yu425595a2016-03-22 20:03:18 -0400210 * call are hard-coded and correspond to MODULE_NAME_LEN and
211 * KSYM_NAME_LEN respectively, we must make sure that MODULE_NAME_LEN
212 * and KSYM_NAME_LEN have the values we expect them to have.
213 *
214 * Because the value of MODULE_NAME_LEN can differ among architectures,
215 * we use the smallest/strictest upper bound possible (56, based on
216 * the current definition of MODULE_NAME_LEN) to prevent overflows.
Chris J Argesb2b018e2015-12-01 20:40:54 -0600217 */
Jessica Yu425595a2016-03-22 20:03:18 -0400218 BUILD_BUG_ON(MODULE_NAME_LEN < 56 || KSYM_NAME_LEN != 128);
219
220 relas = (Elf_Rela *) relasec->sh_addr;
221 /* For each rela in this klp relocation section */
222 for (i = 0; i < relasec->sh_size / sizeof(Elf_Rela); i++) {
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500223 sym = (Elf64_Sym *)sechdrs[symndx].sh_addr + ELF_R_SYM(relas[i].r_info);
Jessica Yu425595a2016-03-22 20:03:18 -0400224 if (sym->st_shndx != SHN_LIVEPATCH) {
Josh Poimboeuf77f8f392017-04-13 17:59:15 -0500225 pr_err("symbol %s is not marked as a livepatch symbol\n",
Jessica Yu425595a2016-03-22 20:03:18 -0400226 strtab + sym->st_name);
227 return -EINVAL;
228 }
229
Josh Poimboeufca376a92020-04-29 10:24:46 -0500230 /* Format: .klp.sym.sym_objname.sym_name,sympos */
Jessica Yu425595a2016-03-22 20:03:18 -0400231 cnt = sscanf(strtab + sym->st_name,
232 ".klp.sym.%55[^.].%127[^,],%lu",
Josh Poimboeufca376a92020-04-29 10:24:46 -0500233 sym_objname, sym_name, &sympos);
Jessica Yu425595a2016-03-22 20:03:18 -0400234 if (cnt != 3) {
Josh Poimboeuf77f8f392017-04-13 17:59:15 -0500235 pr_err("symbol %s has an incorrectly formatted name\n",
Jessica Yu425595a2016-03-22 20:03:18 -0400236 strtab + sym->st_name);
237 return -EINVAL;
238 }
239
Josh Poimboeufca376a92020-04-29 10:24:46 -0500240 sym_vmlinux = !strcmp(sym_objname, "vmlinux");
241
242 /*
243 * Prevent module-specific KLP rela sections from referencing
244 * vmlinux symbols. This helps prevent ordering issues with
245 * module special section initializations. Presumably such
246 * symbols are exported and normal relas can be used instead.
247 */
248 if (!sec_vmlinux && sym_vmlinux) {
249 pr_err("invalid access to vmlinux symbol '%s' from module-specific livepatch relocation section",
250 sym_name);
251 return -EINVAL;
252 }
253
Jessica Yu425595a2016-03-22 20:03:18 -0400254 /* klp_find_object_symbol() treats a NULL objname as vmlinux */
Josh Poimboeufca376a92020-04-29 10:24:46 -0500255 ret = klp_find_object_symbol(sym_vmlinux ? NULL : sym_objname,
256 sym_name, sympos, &addr);
Jessica Yu425595a2016-03-22 20:03:18 -0400257 if (ret)
258 return ret;
259
260 sym->st_value = addr;
261 }
262
263 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600264}
265
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500266/*
267 * At a high-level, there are two types of klp relocation sections: those which
268 * reference symbols which live in vmlinux; and those which reference symbols
269 * which live in other modules. This function is called for both types:
270 *
271 * 1) When a klp module itself loads, the module code calls this function to
272 * write vmlinux-specific klp relocations (.klp.rela.vmlinux.* sections).
273 * These relocations are written to the klp module text to allow the patched
274 * code/data to reference unexported vmlinux symbols. They're written as
275 * early as possible to ensure that other module init code (.e.g.,
276 * jump_label_apply_nops) can access any unexported vmlinux symbols which
277 * might be referenced by the klp module's special sections.
278 *
279 * 2) When a to-be-patched module loads -- or is already loaded when a
280 * corresponding klp module loads -- klp code calls this function to write
281 * module-specific klp relocations (.klp.rela.{module}.* sections). These
282 * are written to the klp module text to allow the patched code/data to
283 * reference symbols which live in the to-be-patched module or one of its
284 * module dependencies. Exported symbols are supported, in addition to
285 * unexported symbols, in order to enable late module patching, which allows
286 * the to-be-patched module to be loaded and patched sometime *after* the
287 * klp module is loaded.
288 */
289int klp_apply_section_relocs(struct module *pmod, Elf_Shdr *sechdrs,
290 const char *shstrtab, const char *strtab,
291 unsigned int symndx, unsigned int secndx,
292 const char *objname)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600293{
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500294 int cnt, ret;
Jessica Yu425595a2016-03-22 20:03:18 -0400295 char sec_objname[MODULE_NAME_LEN];
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500296 Elf_Shdr *sec = sechdrs + secndx;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600297
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500298 /*
299 * Format: .klp.rela.sec_objname.section_name
300 * See comment in klp_resolve_symbols() for an explanation
301 * of the selected field width value.
302 */
303 cnt = sscanf(shstrtab + sec->sh_name, ".klp.rela.%55[^.]",
304 sec_objname);
305 if (cnt != 1) {
306 pr_err("section %s has an incorrectly formatted name\n",
307 shstrtab + sec->sh_name);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600308 return -EINVAL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600309 }
310
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500311 if (strcmp(objname ? objname : "vmlinux", sec_objname))
312 return 0;
313
Josh Poimboeufca376a92020-04-29 10:24:46 -0500314 ret = klp_resolve_symbols(sechdrs, strtab, symndx, sec, sec_objname);
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500315 if (ret)
316 return ret;
317
318 return apply_relocate_add(sechdrs, strtab, symndx, secndx, pmod);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600319}
320
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600321/*
322 * Sysfs Interface
323 *
324 * /sys/kernel/livepatch
325 * /sys/kernel/livepatch/<patch>
326 * /sys/kernel/livepatch/<patch>/enabled
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600327 * /sys/kernel/livepatch/<patch>/transition
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100328 * /sys/kernel/livepatch/<patch>/force
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600329 * /sys/kernel/livepatch/<patch>/<object>
Chris J Arges444f9e92015-12-01 20:40:56 -0600330 * /sys/kernel/livepatch/<patch>/<object>/<function,sympos>
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600331 */
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100332static int __klp_disable_patch(struct klp_patch *patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600333
334static ssize_t enabled_store(struct kobject *kobj, struct kobj_attribute *attr,
335 const char *buf, size_t count)
336{
337 struct klp_patch *patch;
338 int ret;
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600339 bool enabled;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600340
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600341 ret = kstrtobool(buf, &enabled);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600342 if (ret)
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600343 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600344
345 patch = container_of(kobj, struct klp_patch, kobj);
346
347 mutex_lock(&klp_mutex);
348
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600349 if (patch->enabled == enabled) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600350 /* already in requested state */
351 ret = -EINVAL;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100352 goto out;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600353 }
354
Petr Mladek958ef1e2019-01-09 13:43:23 +0100355 /*
356 * Allow to reverse a pending transition in both ways. It might be
357 * necessary to complete the transition without forcing and breaking
358 * the system integrity.
359 *
360 * Do not allow to re-enable a disabled patch.
361 */
362 if (patch == klp_transition_patch)
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600363 klp_reverse_transition();
Petr Mladek958ef1e2019-01-09 13:43:23 +0100364 else if (!enabled)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600365 ret = __klp_disable_patch(patch);
Petr Mladek958ef1e2019-01-09 13:43:23 +0100366 else
367 ret = -EINVAL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600368
Petr Mladek958ef1e2019-01-09 13:43:23 +0100369out:
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600370 mutex_unlock(&klp_mutex);
371
Petr Mladek958ef1e2019-01-09 13:43:23 +0100372 if (ret)
373 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600374 return count;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600375}
376
377static ssize_t enabled_show(struct kobject *kobj,
378 struct kobj_attribute *attr, char *buf)
379{
380 struct klp_patch *patch;
381
382 patch = container_of(kobj, struct klp_patch, kobj);
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600383 return snprintf(buf, PAGE_SIZE-1, "%d\n", patch->enabled);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600384}
385
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600386static ssize_t transition_show(struct kobject *kobj,
387 struct kobj_attribute *attr, char *buf)
388{
389 struct klp_patch *patch;
390
391 patch = container_of(kobj, struct klp_patch, kobj);
392 return snprintf(buf, PAGE_SIZE-1, "%d\n",
393 patch == klp_transition_patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600394}
395
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100396static ssize_t force_store(struct kobject *kobj, struct kobj_attribute *attr,
397 const char *buf, size_t count)
398{
399 struct klp_patch *patch;
400 int ret;
401 bool val;
402
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100403 ret = kstrtobool(buf, &val);
404 if (ret)
405 return ret;
406
Miroslav Benes88690162017-12-21 14:40:43 +0100407 if (!val)
408 return count;
409
410 mutex_lock(&klp_mutex);
411
412 patch = container_of(kobj, struct klp_patch, kobj);
413 if (patch != klp_transition_patch) {
414 mutex_unlock(&klp_mutex);
415 return -EINVAL;
416 }
417
418 klp_force_transition();
419
420 mutex_unlock(&klp_mutex);
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100421
422 return count;
423}
424
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600425static struct kobj_attribute enabled_kobj_attr = __ATTR_RW(enabled);
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600426static struct kobj_attribute transition_kobj_attr = __ATTR_RO(transition);
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100427static struct kobj_attribute force_kobj_attr = __ATTR_WO(force);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600428static struct attribute *klp_patch_attrs[] = {
429 &enabled_kobj_attr.attr,
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600430 &transition_kobj_attr.attr,
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100431 &force_kobj_attr.attr,
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600432 NULL
433};
Kimberly Brown70283452019-04-01 22:51:58 -0400434ATTRIBUTE_GROUPS(klp_patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600435
Jason Barone1452b62019-01-09 13:43:25 +0100436static void klp_free_object_dynamic(struct klp_object *obj)
437{
438 kfree(obj->name);
439 kfree(obj);
440}
441
Petr Mladekf68d67c2019-05-03 15:26:25 +0200442static void klp_init_func_early(struct klp_object *obj,
443 struct klp_func *func);
444static void klp_init_object_early(struct klp_patch *patch,
445 struct klp_object *obj);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200446
Petr Mladekf68d67c2019-05-03 15:26:25 +0200447static struct klp_object *klp_alloc_object_dynamic(const char *name,
448 struct klp_patch *patch)
Jason Barone1452b62019-01-09 13:43:25 +0100449{
450 struct klp_object *obj;
451
452 obj = kzalloc(sizeof(*obj), GFP_KERNEL);
453 if (!obj)
454 return NULL;
455
456 if (name) {
457 obj->name = kstrdup(name, GFP_KERNEL);
458 if (!obj->name) {
459 kfree(obj);
460 return NULL;
461 }
462 }
463
Petr Mladekf68d67c2019-05-03 15:26:25 +0200464 klp_init_object_early(patch, obj);
Jason Barone1452b62019-01-09 13:43:25 +0100465 obj->dynamic = true;
466
467 return obj;
468}
469
470static void klp_free_func_nop(struct klp_func *func)
471{
472 kfree(func->old_name);
473 kfree(func);
474}
475
476static struct klp_func *klp_alloc_func_nop(struct klp_func *old_func,
477 struct klp_object *obj)
478{
479 struct klp_func *func;
480
481 func = kzalloc(sizeof(*func), GFP_KERNEL);
482 if (!func)
483 return NULL;
484
485 if (old_func->old_name) {
486 func->old_name = kstrdup(old_func->old_name, GFP_KERNEL);
487 if (!func->old_name) {
488 kfree(func);
489 return NULL;
490 }
491 }
492
Petr Mladekf68d67c2019-05-03 15:26:25 +0200493 klp_init_func_early(obj, func);
Jason Barone1452b62019-01-09 13:43:25 +0100494 /*
495 * func->new_func is same as func->old_func. These addresses are
496 * set when the object is loaded, see klp_init_object_loaded().
497 */
498 func->old_sympos = old_func->old_sympos;
499 func->nop = true;
500
501 return func;
502}
503
504static int klp_add_object_nops(struct klp_patch *patch,
505 struct klp_object *old_obj)
506{
507 struct klp_object *obj;
508 struct klp_func *func, *old_func;
509
510 obj = klp_find_object(patch, old_obj);
511
512 if (!obj) {
Petr Mladekf68d67c2019-05-03 15:26:25 +0200513 obj = klp_alloc_object_dynamic(old_obj->name, patch);
Jason Barone1452b62019-01-09 13:43:25 +0100514 if (!obj)
515 return -ENOMEM;
Jason Barone1452b62019-01-09 13:43:25 +0100516 }
517
518 klp_for_each_func(old_obj, old_func) {
519 func = klp_find_func(obj, old_func);
520 if (func)
521 continue;
522
523 func = klp_alloc_func_nop(old_func, obj);
524 if (!func)
525 return -ENOMEM;
Jason Barone1452b62019-01-09 13:43:25 +0100526 }
527
528 return 0;
529}
530
531/*
532 * Add 'nop' functions which simply return to the caller to run
533 * the original function. The 'nop' functions are added to a
534 * patch to facilitate a 'replace' mode.
535 */
536static int klp_add_nops(struct klp_patch *patch)
537{
538 struct klp_patch *old_patch;
539 struct klp_object *old_obj;
540
Petr Mladekecba29f2019-02-04 14:56:50 +0100541 klp_for_each_patch(old_patch) {
Jason Barone1452b62019-01-09 13:43:25 +0100542 klp_for_each_object(old_patch, old_obj) {
543 int err;
544
545 err = klp_add_object_nops(patch, old_obj);
546 if (err)
547 return err;
548 }
549 }
550
551 return 0;
552}
553
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600554static void klp_kobj_release_patch(struct kobject *kobj)
555{
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600556 struct klp_patch *patch;
557
558 patch = container_of(kobj, struct klp_patch, kobj);
559 complete(&patch->finish);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600560}
561
562static struct kobj_type klp_ktype_patch = {
563 .release = klp_kobj_release_patch,
564 .sysfs_ops = &kobj_sysfs_ops,
Kimberly Brown70283452019-04-01 22:51:58 -0400565 .default_groups = klp_patch_groups,
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600566};
567
Miroslav Benescad706d2015-05-19 12:01:18 +0200568static void klp_kobj_release_object(struct kobject *kobj)
569{
Jason Barone1452b62019-01-09 13:43:25 +0100570 struct klp_object *obj;
571
572 obj = container_of(kobj, struct klp_object, kobj);
573
574 if (obj->dynamic)
575 klp_free_object_dynamic(obj);
Miroslav Benescad706d2015-05-19 12:01:18 +0200576}
577
578static struct kobj_type klp_ktype_object = {
579 .release = klp_kobj_release_object,
580 .sysfs_ops = &kobj_sysfs_ops,
581};
582
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600583static void klp_kobj_release_func(struct kobject *kobj)
584{
Jason Barone1452b62019-01-09 13:43:25 +0100585 struct klp_func *func;
586
587 func = container_of(kobj, struct klp_func, kobj);
588
589 if (func->nop)
590 klp_free_func_nop(func);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600591}
592
593static struct kobj_type klp_ktype_func = {
594 .release = klp_kobj_release_func,
595 .sysfs_ops = &kobj_sysfs_ops,
596};
597
Petr Mladekd697bad2019-01-09 13:43:26 +0100598static void __klp_free_funcs(struct klp_object *obj, bool nops_only)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600599{
Jason Barone1452b62019-01-09 13:43:25 +0100600 struct klp_func *func, *tmp_func;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600601
Jason Barone1452b62019-01-09 13:43:25 +0100602 klp_for_each_func_safe(obj, func, tmp_func) {
Petr Mladekd697bad2019-01-09 13:43:26 +0100603 if (nops_only && !func->nop)
604 continue;
605
606 list_del(&func->node);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200607 kobject_put(&func->kobj);
Petr Mladek0430f782019-01-09 13:43:21 +0100608 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600609}
610
611/* Clean up when a patched object is unloaded */
612static void klp_free_object_loaded(struct klp_object *obj)
613{
614 struct klp_func *func;
615
616 obj->mod = NULL;
617
Jason Barone1452b62019-01-09 13:43:25 +0100618 klp_for_each_func(obj, func) {
Petr Mladek19514912019-01-09 13:43:19 +0100619 func->old_func = NULL;
Jason Barone1452b62019-01-09 13:43:25 +0100620
621 if (func->nop)
622 func->new_func = NULL;
623 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600624}
625
Petr Mladekd697bad2019-01-09 13:43:26 +0100626static void __klp_free_objects(struct klp_patch *patch, bool nops_only)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600627{
Jason Barone1452b62019-01-09 13:43:25 +0100628 struct klp_object *obj, *tmp_obj;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600629
Jason Barone1452b62019-01-09 13:43:25 +0100630 klp_for_each_object_safe(patch, obj, tmp_obj) {
Petr Mladekd697bad2019-01-09 13:43:26 +0100631 __klp_free_funcs(obj, nops_only);
632
633 if (nops_only && !obj->dynamic)
634 continue;
635
636 list_del(&obj->node);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200637 kobject_put(&obj->kobj);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600638 }
639}
640
Petr Mladekd697bad2019-01-09 13:43:26 +0100641static void klp_free_objects(struct klp_patch *patch)
642{
643 __klp_free_objects(patch, false);
644}
645
646static void klp_free_objects_dynamic(struct klp_patch *patch)
647{
648 __klp_free_objects(patch, true);
649}
650
Petr Mladek0430f782019-01-09 13:43:21 +0100651/*
652 * This function implements the free operations that can be called safely
653 * under klp_mutex.
654 *
655 * The operation must be completed by calling klp_free_patch_finish()
656 * outside klp_mutex.
657 */
Petr Mladek7e35e4e2019-10-30 16:43:09 +0100658static void klp_free_patch_start(struct klp_patch *patch)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600659{
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600660 if (!list_empty(&patch->list))
661 list_del(&patch->list);
Petr Mladek0430f782019-01-09 13:43:21 +0100662
663 klp_free_objects(patch);
664}
665
666/*
667 * This function implements the free part that must be called outside
668 * klp_mutex.
669 *
670 * It must be called after klp_free_patch_start(). And it has to be
671 * the last function accessing the livepatch structures when the patch
672 * gets disabled.
673 */
674static void klp_free_patch_finish(struct klp_patch *patch)
675{
676 /*
677 * Avoid deadlock with enabled_store() sysfs callback by
678 * calling this outside klp_mutex. It is safe because
679 * this is called when the patch gets disabled and it
680 * cannot get enabled again.
681 */
Petr Mladek4d141ab2019-05-03 15:26:24 +0200682 kobject_put(&patch->kobj);
683 wait_for_completion(&patch->finish);
Petr Mladek958ef1e2019-01-09 13:43:23 +0100684
685 /* Put the module after the last access to struct klp_patch. */
686 if (!patch->forced)
687 module_put(patch->mod);
688}
689
690/*
691 * The livepatch might be freed from sysfs interface created by the patch.
692 * This work allows to wait until the interface is destroyed in a separate
693 * context.
694 */
695static void klp_free_patch_work_fn(struct work_struct *work)
696{
697 struct klp_patch *patch =
698 container_of(work, struct klp_patch, free_work);
699
700 klp_free_patch_finish(patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600701}
702
Petr Mladek7e35e4e2019-10-30 16:43:09 +0100703void klp_free_patch_async(struct klp_patch *patch)
704{
705 klp_free_patch_start(patch);
706 schedule_work(&patch->free_work);
707}
708
709void klp_free_replaced_patches_async(struct klp_patch *new_patch)
710{
711 struct klp_patch *old_patch, *tmp_patch;
712
713 klp_for_each_patch_safe(old_patch, tmp_patch) {
714 if (old_patch == new_patch)
715 return;
716 klp_free_patch_async(old_patch);
717 }
718}
719
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600720static int klp_init_func(struct klp_object *obj, struct klp_func *func)
721{
Jason Barone1452b62019-01-09 13:43:25 +0100722 if (!func->old_name)
723 return -EINVAL;
724
725 /*
726 * NOPs get the address later. The patched module must be loaded,
727 * see klp_init_object_loaded().
728 */
729 if (!func->new_func && !func->nop)
Miroslav Benesf09d9082016-04-28 16:34:08 +0200730 return -EINVAL;
731
Kamalesh Babulal6e9df952018-07-20 15:16:42 +0530732 if (strlen(func->old_name) >= KSYM_NAME_LEN)
733 return -EINVAL;
734
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -0600735 INIT_LIST_HEAD(&func->stack_node);
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600736 func->patched = false;
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600737 func->transition = false;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600738
Chris J Arges444f9e92015-12-01 20:40:56 -0600739 /* The format for the sysfs directory is <function,sympos> where sympos
740 * is the nth occurrence of this symbol in kallsyms for the patched
741 * object. If the user selects 0 for old_sympos, then 1 will be used
742 * since a unique symbol will be the first occurrence.
743 */
Petr Mladek4d141ab2019-05-03 15:26:24 +0200744 return kobject_add(&func->kobj, &obj->kobj, "%s,%lu",
745 func->old_name,
746 func->old_sympos ? func->old_sympos : 1);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600747}
748
Samuel Zoua4ae16f2020-05-09 09:16:41 +0800749static int klp_apply_object_relocs(struct klp_patch *patch,
750 struct klp_object *obj)
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500751{
752 int i, ret;
753 struct klp_modinfo *info = patch->mod->klp_info;
754
755 for (i = 1; i < info->hdr.e_shnum; i++) {
756 Elf_Shdr *sec = info->sechdrs + i;
757
758 if (!(sec->sh_flags & SHF_RELA_LIVEPATCH))
759 continue;
760
761 ret = klp_apply_section_relocs(patch->mod, info->sechdrs,
762 info->secstrings,
763 patch->mod->core_kallsyms.strtab,
764 info->symndx, i, obj->name);
765 if (ret)
766 return ret;
767 }
768
769 return 0;
770}
771
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600772/* parts of the initialization that is done only when the object is loaded */
773static int klp_init_object_loaded(struct klp_patch *patch,
774 struct klp_object *obj)
775{
776 struct klp_func *func;
777 int ret;
778
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500779 if (klp_is_module(obj)) {
780 /*
781 * Only write module-specific relocations here
782 * (.klp.rela.{module}.*). vmlinux-specific relocations were
783 * written earlier during the initialization of the klp module
784 * itself.
785 */
786 ret = klp_apply_object_relocs(patch, obj);
Peter Zijlstra1d053342020-04-29 10:24:45 -0500787 if (ret)
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500788 return ret;
Jessica Yu255e7322016-08-17 20:58:28 -0400789 }
790
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200791 klp_for_each_func(obj, func) {
Chris J Argesb2b018e2015-12-01 20:40:54 -0600792 ret = klp_find_object_symbol(obj->name, func->old_name,
793 func->old_sympos,
Petr Mladek19514912019-01-09 13:43:19 +0100794 (unsigned long *)&func->old_func);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600795 if (ret)
796 return ret;
Josh Poimboeuff5e547f2017-02-13 19:42:39 -0600797
Petr Mladek19514912019-01-09 13:43:19 +0100798 ret = kallsyms_lookup_size_offset((unsigned long)func->old_func,
Josh Poimboeuff5e547f2017-02-13 19:42:39 -0600799 &func->old_size, NULL);
800 if (!ret) {
801 pr_err("kallsyms size lookup failed for '%s'\n",
802 func->old_name);
803 return -ENOENT;
804 }
805
Jason Barone1452b62019-01-09 13:43:25 +0100806 if (func->nop)
807 func->new_func = func->old_func;
808
Josh Poimboeuff5e547f2017-02-13 19:42:39 -0600809 ret = kallsyms_lookup_size_offset((unsigned long)func->new_func,
810 &func->new_size, NULL);
811 if (!ret) {
812 pr_err("kallsyms size lookup failed for '%s' replacement\n",
813 func->old_name);
814 return -ENOENT;
815 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600816 }
817
818 return 0;
819}
820
821static int klp_init_object(struct klp_patch *patch, struct klp_object *obj)
822{
823 struct klp_func *func;
824 int ret;
825 const char *name;
826
Kamalesh Babulal6e9df952018-07-20 15:16:42 +0530827 if (klp_is_module(obj) && strlen(obj->name) >= MODULE_NAME_LEN)
828 return -EINVAL;
829
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600830 obj->patched = false;
Petr Mladek8cb2c2d2015-03-12 12:55:13 +0100831 obj->mod = NULL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600832
833 klp_find_object_module(obj);
834
835 name = klp_is_module(obj) ? obj->name : "vmlinux";
Petr Mladek4d141ab2019-05-03 15:26:24 +0200836 ret = kobject_add(&obj->kobj, &patch->kobj, "%s", name);
Miroslav Benescad706d2015-05-19 12:01:18 +0200837 if (ret)
838 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600839
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200840 klp_for_each_func(obj, func) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600841 ret = klp_init_func(obj, func);
842 if (ret)
Petr Mladek0430f782019-01-09 13:43:21 +0100843 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600844 }
845
Petr Mladek0430f782019-01-09 13:43:21 +0100846 if (klp_is_object_loaded(obj))
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600847 ret = klp_init_object_loaded(patch, obj);
Petr Mladek0430f782019-01-09 13:43:21 +0100848
849 return ret;
850}
851
Petr Mladekf68d67c2019-05-03 15:26:25 +0200852static void klp_init_func_early(struct klp_object *obj,
853 struct klp_func *func)
854{
855 kobject_init(&func->kobj, &klp_ktype_func);
856 list_add_tail(&func->node, &obj->func_list);
857}
858
859static void klp_init_object_early(struct klp_patch *patch,
860 struct klp_object *obj)
861{
862 INIT_LIST_HEAD(&obj->func_list);
863 kobject_init(&obj->kobj, &klp_ktype_object);
864 list_add_tail(&obj->node, &patch->obj_list);
865}
866
Petr Mladek0430f782019-01-09 13:43:21 +0100867static int klp_init_patch_early(struct klp_patch *patch)
868{
869 struct klp_object *obj;
870 struct klp_func *func;
871
872 if (!patch->objs)
873 return -EINVAL;
874
875 INIT_LIST_HEAD(&patch->list);
Jason Baron20e55022019-01-09 13:43:24 +0100876 INIT_LIST_HEAD(&patch->obj_list);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200877 kobject_init(&patch->kobj, &klp_ktype_patch);
Petr Mladek0430f782019-01-09 13:43:21 +0100878 patch->enabled = false;
Petr Mladek68007282019-01-09 13:43:22 +0100879 patch->forced = false;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100880 INIT_WORK(&patch->free_work, klp_free_patch_work_fn);
Petr Mladek0430f782019-01-09 13:43:21 +0100881 init_completion(&patch->finish);
882
Jason Baron20e55022019-01-09 13:43:24 +0100883 klp_for_each_object_static(patch, obj) {
Petr Mladek0430f782019-01-09 13:43:21 +0100884 if (!obj->funcs)
885 return -EINVAL;
886
Petr Mladekf68d67c2019-05-03 15:26:25 +0200887 klp_init_object_early(patch, obj);
Petr Mladek0430f782019-01-09 13:43:21 +0100888
Jason Baron20e55022019-01-09 13:43:24 +0100889 klp_for_each_func_static(obj, func) {
Petr Mladekf68d67c2019-05-03 15:26:25 +0200890 klp_init_func_early(obj, func);
Jason Baron20e55022019-01-09 13:43:24 +0100891 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600892 }
893
Petr Mladek958ef1e2019-01-09 13:43:23 +0100894 if (!try_module_get(patch->mod))
895 return -ENODEV;
896
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600897 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600898}
899
900static int klp_init_patch(struct klp_patch *patch)
901{
902 struct klp_object *obj;
903 int ret;
904
Petr Mladek4d141ab2019-05-03 15:26:24 +0200905 ret = kobject_add(&patch->kobj, klp_root_kobj, "%s", patch->mod->name);
Petr Mladek958ef1e2019-01-09 13:43:23 +0100906 if (ret)
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600907 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600908
Jason Barone1452b62019-01-09 13:43:25 +0100909 if (patch->replace) {
910 ret = klp_add_nops(patch);
911 if (ret)
912 return ret;
913 }
914
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200915 klp_for_each_object(patch, obj) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600916 ret = klp_init_object(patch, obj);
917 if (ret)
Petr Mladek958ef1e2019-01-09 13:43:23 +0100918 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600919 }
920
Josh Poimboeuf99590ba2015-01-09 14:03:04 -0600921 list_add_tail(&patch->list, &klp_patches);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600922
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600923 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600924}
925
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100926static int __klp_disable_patch(struct klp_patch *patch)
927{
928 struct klp_object *obj;
929
930 if (WARN_ON(!patch->enabled))
931 return -EINVAL;
932
933 if (klp_transition_patch)
934 return -EBUSY;
935
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100936 klp_init_transition(patch, KLP_UNPATCHED);
937
938 klp_for_each_object(patch, obj)
939 if (obj->patched)
940 klp_pre_unpatch_callback(obj);
941
942 /*
943 * Enforce the order of the func->transition writes in
944 * klp_init_transition() and the TIF_PATCH_PENDING writes in
945 * klp_start_transition(). In the rare case where klp_ftrace_handler()
946 * is called shortly after klp_update_patch_state() switches the task,
947 * this ensures the handler sees that func->transition is set.
948 */
949 smp_wmb();
950
951 klp_start_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100952 patch->enabled = false;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100953 klp_try_complete_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100954
955 return 0;
956}
957
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100958static int __klp_enable_patch(struct klp_patch *patch)
959{
960 struct klp_object *obj;
961 int ret;
962
963 if (klp_transition_patch)
964 return -EBUSY;
965
966 if (WARN_ON(patch->enabled))
967 return -EINVAL;
968
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100969 pr_notice("enabling patch '%s'\n", patch->mod->name);
970
971 klp_init_transition(patch, KLP_PATCHED);
972
973 /*
974 * Enforce the order of the func->transition writes in
975 * klp_init_transition() and the ops->func_stack writes in
976 * klp_patch_object(), so that klp_ftrace_handler() will see the
977 * func->transition updates before the handler is registered and the
978 * new funcs become visible to the handler.
979 */
980 smp_wmb();
981
982 klp_for_each_object(patch, obj) {
983 if (!klp_is_object_loaded(obj))
984 continue;
985
986 ret = klp_pre_patch_callback(obj);
987 if (ret) {
988 pr_warn("pre-patch callback failed for object '%s'\n",
989 klp_is_module(obj) ? obj->name : "vmlinux");
990 goto err;
991 }
992
993 ret = klp_patch_object(obj);
994 if (ret) {
995 pr_warn("failed to patch object '%s'\n",
996 klp_is_module(obj) ? obj->name : "vmlinux");
997 goto err;
998 }
999 }
1000
1001 klp_start_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001002 patch->enabled = true;
Petr Mladek958ef1e2019-01-09 13:43:23 +01001003 klp_try_complete_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001004
1005 return 0;
1006err:
1007 pr_warn("failed to enable patch '%s'\n", patch->mod->name);
1008
1009 klp_cancel_transition();
1010 return ret;
1011}
1012
1013/**
Petr Mladek958ef1e2019-01-09 13:43:23 +01001014 * klp_enable_patch() - enable the livepatch
1015 * @patch: patch to be enabled
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001016 *
Petr Mladek958ef1e2019-01-09 13:43:23 +01001017 * Initializes the data structure associated with the patch, creates the sysfs
1018 * interface, performs the needed symbol lookups and code relocations,
1019 * registers the patched functions with ftrace.
1020 *
1021 * This function is supposed to be called from the livepatch module_init()
1022 * callback.
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001023 *
1024 * Return: 0 on success, otherwise error
1025 */
1026int klp_enable_patch(struct klp_patch *patch)
1027{
1028 int ret;
1029
Petr Mladek958ef1e2019-01-09 13:43:23 +01001030 if (!patch || !patch->mod)
1031 return -EINVAL;
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001032
Petr Mladek958ef1e2019-01-09 13:43:23 +01001033 if (!is_livepatch_module(patch->mod)) {
1034 pr_err("module %s is not marked as a livepatch module\n",
1035 patch->mod->name);
1036 return -EINVAL;
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001037 }
1038
Petr Mladek958ef1e2019-01-09 13:43:23 +01001039 if (!klp_initialized())
1040 return -ENODEV;
1041
1042 if (!klp_have_reliable_stack()) {
Petr Mladek31adf232019-04-24 10:55:48 +02001043 pr_warn("This architecture doesn't have support for the livepatch consistency model.\n");
1044 pr_warn("The livepatch transition may never complete.\n");
Petr Mladek958ef1e2019-01-09 13:43:23 +01001045 }
1046
Petr Mladek958ef1e2019-01-09 13:43:23 +01001047 mutex_lock(&klp_mutex);
1048
Petr Mladek92c9abf2019-10-30 16:43:11 +01001049 if (!klp_is_patch_compatible(patch)) {
1050 pr_err("Livepatch patch (%s) is not compatible with the already installed livepatches.\n",
1051 patch->mod->name);
1052 mutex_unlock(&klp_mutex);
1053 return -EINVAL;
1054 }
1055
Petr Mladek958ef1e2019-01-09 13:43:23 +01001056 ret = klp_init_patch_early(patch);
1057 if (ret) {
1058 mutex_unlock(&klp_mutex);
1059 return ret;
1060 }
1061
1062 ret = klp_init_patch(patch);
1063 if (ret)
1064 goto err;
1065
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001066 ret = __klp_enable_patch(patch);
Petr Mladek958ef1e2019-01-09 13:43:23 +01001067 if (ret)
1068 goto err;
1069
1070 mutex_unlock(&klp_mutex);
1071
1072 return 0;
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001073
1074err:
Petr Mladek958ef1e2019-01-09 13:43:23 +01001075 klp_free_patch_start(patch);
1076
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001077 mutex_unlock(&klp_mutex);
Petr Mladek958ef1e2019-01-09 13:43:23 +01001078
1079 klp_free_patch_finish(patch);
1080
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001081 return ret;
1082}
1083EXPORT_SYMBOL_GPL(klp_enable_patch);
1084
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001085/*
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001086 * This function unpatches objects from the replaced livepatches.
Jason Barone1452b62019-01-09 13:43:25 +01001087 *
1088 * We could be pretty aggressive here. It is called in the situation where
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001089 * these structures are no longer accessed from the ftrace handler.
1090 * All functions are redirected by the klp_transition_patch. They
1091 * use either a new code or they are in the original code because
1092 * of the special nop function patches.
Jason Barone1452b62019-01-09 13:43:25 +01001093 *
1094 * The only exception is when the transition was forced. In this case,
1095 * klp_ftrace_handler() might still see the replaced patch on the stack.
1096 * Fortunately, it is carefully designed to work with removed functions
1097 * thanks to RCU. We only have to keep the patches on the system. Also
1098 * this is handled transparently by patch->module_put.
1099 */
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001100void klp_unpatch_replaced_patches(struct klp_patch *new_patch)
Jason Barone1452b62019-01-09 13:43:25 +01001101{
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001102 struct klp_patch *old_patch;
Jason Barone1452b62019-01-09 13:43:25 +01001103
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001104 klp_for_each_patch(old_patch) {
Jason Barone1452b62019-01-09 13:43:25 +01001105 if (old_patch == new_patch)
1106 return;
1107
1108 old_patch->enabled = false;
1109 klp_unpatch_objects(old_patch);
Jason Barone1452b62019-01-09 13:43:25 +01001110 }
1111}
1112
1113/*
Petr Mladekd697bad2019-01-09 13:43:26 +01001114 * This function removes the dynamically allocated 'nop' functions.
1115 *
1116 * We could be pretty aggressive. NOPs do not change the existing
1117 * behavior except for adding unnecessary delay by the ftrace handler.
1118 *
1119 * It is safe even when the transition was forced. The ftrace handler
1120 * will see a valid ops->func_stack entry thanks to RCU.
1121 *
1122 * We could even free the NOPs structures. They must be the last entry
1123 * in ops->func_stack. Therefore unregister_ftrace_function() is called.
1124 * It does the same as klp_synchronize_transition() to make sure that
1125 * nobody is inside the ftrace handler once the operation finishes.
1126 *
1127 * IMPORTANT: It must be called right after removing the replaced patches!
1128 */
1129void klp_discard_nops(struct klp_patch *new_patch)
1130{
1131 klp_unpatch_objects_dynamic(klp_transition_patch);
1132 klp_free_objects_dynamic(klp_transition_patch);
1133}
1134
1135/*
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001136 * Remove parts of patches that touch a given kernel module. The list of
1137 * patches processed might be limited. When limit is NULL, all patches
1138 * will be handled.
1139 */
1140static void klp_cleanup_module_patches_limited(struct module *mod,
1141 struct klp_patch *limit)
1142{
1143 struct klp_patch *patch;
1144 struct klp_object *obj;
1145
Petr Mladekecba29f2019-02-04 14:56:50 +01001146 klp_for_each_patch(patch) {
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001147 if (patch == limit)
1148 break;
1149
1150 klp_for_each_object(patch, obj) {
1151 if (!klp_is_module(obj) || strcmp(obj->name, mod->name))
1152 continue;
1153
Petr Mladeka087cdd2019-02-04 14:56:53 +01001154 if (patch != klp_transition_patch)
1155 klp_pre_unpatch_callback(obj);
Jiri Kosinafc41efc182017-11-15 10:53:24 +01001156
Petr Mladeka087cdd2019-02-04 14:56:53 +01001157 pr_notice("reverting patch '%s' on unloading module '%s'\n",
1158 patch->mod->name, obj->mod->name);
1159 klp_unpatch_object(obj);
Jiri Kosinafc41efc182017-11-15 10:53:24 +01001160
Petr Mladeka087cdd2019-02-04 14:56:53 +01001161 klp_post_unpatch_callback(obj);
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001162
1163 klp_free_object_loaded(obj);
1164 break;
1165 }
1166 }
1167}
1168
Jessica Yu7e545d62016-03-16 20:55:39 -04001169int klp_module_coming(struct module *mod)
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001170{
Minfei Huang36e505c2015-05-15 10:22:48 +08001171 int ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001172 struct klp_patch *patch;
1173 struct klp_object *obj;
1174
Jessica Yu7e545d62016-03-16 20:55:39 -04001175 if (WARN_ON(mod->state != MODULE_STATE_COMING))
1176 return -EINVAL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001177
Josh Poimboeufdcf550e2020-04-29 10:24:43 -05001178 if (!strcmp(mod->name, "vmlinux")) {
1179 pr_err("vmlinux.ko: invalid module name");
1180 return -EINVAL;
1181 }
1182
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001183 mutex_lock(&klp_mutex);
Petr Mladek8cb2c2d2015-03-12 12:55:13 +01001184 /*
Jessica Yu7e545d62016-03-16 20:55:39 -04001185 * Each module has to know that klp_module_coming()
1186 * has been called. We never know what module will
1187 * get patched by a new patch.
Petr Mladek8cb2c2d2015-03-12 12:55:13 +01001188 */
Jessica Yu7e545d62016-03-16 20:55:39 -04001189 mod->klp_alive = true;
Petr Mladek8cb2c2d2015-03-12 12:55:13 +01001190
Petr Mladekecba29f2019-02-04 14:56:50 +01001191 klp_for_each_patch(patch) {
Jiri Slaby8cdd0432015-05-19 12:01:19 +02001192 klp_for_each_object(patch, obj) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001193 if (!klp_is_module(obj) || strcmp(obj->name, mod->name))
1194 continue;
1195
Jessica Yu7e545d62016-03-16 20:55:39 -04001196 obj->mod = mod;
1197
1198 ret = klp_init_object_loaded(patch, obj);
1199 if (ret) {
1200 pr_warn("failed to initialize patch '%s' for module '%s' (%d)\n",
1201 patch->mod->name, obj->mod->name, ret);
1202 goto err;
1203 }
1204
Jessica Yu7e545d62016-03-16 20:55:39 -04001205 pr_notice("applying patch '%s' to loading module '%s'\n",
1206 patch->mod->name, obj->mod->name);
1207
Joe Lawrence93862e32017-10-13 15:08:41 -04001208 ret = klp_pre_patch_callback(obj);
1209 if (ret) {
1210 pr_warn("pre-patch callback failed for object '%s'\n",
1211 obj->name);
1212 goto err;
1213 }
1214
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -06001215 ret = klp_patch_object(obj);
Jessica Yu7e545d62016-03-16 20:55:39 -04001216 if (ret) {
1217 pr_warn("failed to apply patch '%s' to module '%s' (%d)\n",
1218 patch->mod->name, obj->mod->name, ret);
Joe Lawrence93862e32017-10-13 15:08:41 -04001219
Petr Mladek5aaf1ab2017-10-20 16:56:50 +02001220 klp_post_unpatch_callback(obj);
Jessica Yu7e545d62016-03-16 20:55:39 -04001221 goto err;
1222 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001223
Joe Lawrence93862e32017-10-13 15:08:41 -04001224 if (patch != klp_transition_patch)
1225 klp_post_patch_callback(obj);
1226
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001227 break;
1228 }
1229 }
1230
1231 mutex_unlock(&klp_mutex);
1232
1233 return 0;
Jessica Yu7e545d62016-03-16 20:55:39 -04001234
1235err:
1236 /*
1237 * If a patch is unsuccessfully applied, return
1238 * error to the module loader.
1239 */
1240 pr_warn("patch '%s' failed for module '%s', refusing to load module '%s'\n",
1241 patch->mod->name, obj->mod->name, obj->mod->name);
1242 mod->klp_alive = false;
Miroslav Benes4ff96fb52019-07-19 14:28:39 +02001243 obj->mod = NULL;
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001244 klp_cleanup_module_patches_limited(mod, patch);
Jessica Yu7e545d62016-03-16 20:55:39 -04001245 mutex_unlock(&klp_mutex);
1246
1247 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001248}
1249
Jessica Yu7e545d62016-03-16 20:55:39 -04001250void klp_module_going(struct module *mod)
1251{
Jessica Yu7e545d62016-03-16 20:55:39 -04001252 if (WARN_ON(mod->state != MODULE_STATE_GOING &&
1253 mod->state != MODULE_STATE_COMING))
1254 return;
1255
1256 mutex_lock(&klp_mutex);
1257 /*
1258 * Each module has to know that klp_module_going()
1259 * has been called. We never know what module will
1260 * get patched by a new patch.
1261 */
1262 mod->klp_alive = false;
1263
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001264 klp_cleanup_module_patches_limited(mod, NULL);
Jessica Yu7e545d62016-03-16 20:55:39 -04001265
1266 mutex_unlock(&klp_mutex);
1267}
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001268
Minfei Huang26029d82015-05-22 22:26:29 +08001269static int __init klp_init(void)
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001270{
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001271 klp_root_kobj = kobject_create_and_add("livepatch", kernel_kobj);
Jessica Yu7e545d62016-03-16 20:55:39 -04001272 if (!klp_root_kobj)
1273 return -ENOMEM;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001274
1275 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001276}
1277
1278module_init(klp_init);