blob: 335d988bd811177a568a2edbaefea015061cec1d [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
Zhou Chengming72f04b52017-03-28 21:10:35 +0800167 if (objname)
168 module_kallsyms_on_each_symbol(klp_find_callback, &args);
169 else
170 kallsyms_on_each_symbol(klp_find_callback, &args);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600171
Chris J Argesb2b018e2015-12-01 20:40:54 -0600172 /*
173 * Ensure an address was found. If sympos is 0, ensure symbol is unique;
174 * otherwise ensure the symbol position count matches sympos.
175 */
176 if (args.addr == 0)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600177 pr_err("symbol '%s' not found in symbol table\n", name);
Chris J Argesb2b018e2015-12-01 20:40:54 -0600178 else if (args.count > 1 && sympos == 0) {
Petr Mladekf995b5f2016-03-09 15:20:59 +0100179 pr_err("unresolvable ambiguity for symbol '%s' in object '%s'\n",
180 name, objname);
Chris J Argesb2b018e2015-12-01 20:40:54 -0600181 } else if (sympos != args.count && sympos > 0) {
182 pr_err("symbol position %lu for symbol '%s' in object '%s' not found\n",
183 sympos, name, objname ? objname : "vmlinux");
184 } else {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600185 *addr = args.addr;
186 return 0;
187 }
188
189 *addr = 0;
190 return -EINVAL;
191}
192
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500193static int klp_resolve_symbols(Elf64_Shdr *sechdrs, const char *strtab,
Josh Poimboeufca376a92020-04-29 10:24:46 -0500194 unsigned int symndx, Elf_Shdr *relasec,
195 const char *sec_objname)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600196{
Josh Poimboeufca376a92020-04-29 10:24:46 -0500197 int i, cnt, ret;
198 char sym_objname[MODULE_NAME_LEN];
199 char sym_name[KSYM_NAME_LEN];
Jessica Yu425595a2016-03-22 20:03:18 -0400200 Elf_Rela *relas;
201 Elf_Sym *sym;
202 unsigned long sympos, addr;
Josh Poimboeufca376a92020-04-29 10:24:46 -0500203 bool sym_vmlinux;
204 bool sec_vmlinux = !strcmp(sec_objname, "vmlinux");
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600205
Chris J Argesb2b018e2015-12-01 20:40:54 -0600206 /*
Josh Poimboeufca376a92020-04-29 10:24:46 -0500207 * Since the field widths for sym_objname and sym_name in the sscanf()
Jessica Yu425595a2016-03-22 20:03:18 -0400208 * call are hard-coded and correspond to MODULE_NAME_LEN and
209 * KSYM_NAME_LEN respectively, we must make sure that MODULE_NAME_LEN
210 * and KSYM_NAME_LEN have the values we expect them to have.
211 *
212 * Because the value of MODULE_NAME_LEN can differ among architectures,
213 * we use the smallest/strictest upper bound possible (56, based on
214 * the current definition of MODULE_NAME_LEN) to prevent overflows.
Chris J Argesb2b018e2015-12-01 20:40:54 -0600215 */
Jessica Yu425595a2016-03-22 20:03:18 -0400216 BUILD_BUG_ON(MODULE_NAME_LEN < 56 || KSYM_NAME_LEN != 128);
217
218 relas = (Elf_Rela *) relasec->sh_addr;
219 /* For each rela in this klp relocation section */
220 for (i = 0; i < relasec->sh_size / sizeof(Elf_Rela); i++) {
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500221 sym = (Elf64_Sym *)sechdrs[symndx].sh_addr + ELF_R_SYM(relas[i].r_info);
Jessica Yu425595a2016-03-22 20:03:18 -0400222 if (sym->st_shndx != SHN_LIVEPATCH) {
Josh Poimboeuf77f8f392017-04-13 17:59:15 -0500223 pr_err("symbol %s is not marked as a livepatch symbol\n",
Jessica Yu425595a2016-03-22 20:03:18 -0400224 strtab + sym->st_name);
225 return -EINVAL;
226 }
227
Josh Poimboeufca376a92020-04-29 10:24:46 -0500228 /* Format: .klp.sym.sym_objname.sym_name,sympos */
Jessica Yu425595a2016-03-22 20:03:18 -0400229 cnt = sscanf(strtab + sym->st_name,
230 ".klp.sym.%55[^.].%127[^,],%lu",
Josh Poimboeufca376a92020-04-29 10:24:46 -0500231 sym_objname, sym_name, &sympos);
Jessica Yu425595a2016-03-22 20:03:18 -0400232 if (cnt != 3) {
Josh Poimboeuf77f8f392017-04-13 17:59:15 -0500233 pr_err("symbol %s has an incorrectly formatted name\n",
Jessica Yu425595a2016-03-22 20:03:18 -0400234 strtab + sym->st_name);
235 return -EINVAL;
236 }
237
Josh Poimboeufca376a92020-04-29 10:24:46 -0500238 sym_vmlinux = !strcmp(sym_objname, "vmlinux");
239
240 /*
241 * Prevent module-specific KLP rela sections from referencing
242 * vmlinux symbols. This helps prevent ordering issues with
243 * module special section initializations. Presumably such
244 * symbols are exported and normal relas can be used instead.
245 */
246 if (!sec_vmlinux && sym_vmlinux) {
247 pr_err("invalid access to vmlinux symbol '%s' from module-specific livepatch relocation section",
248 sym_name);
249 return -EINVAL;
250 }
251
Jessica Yu425595a2016-03-22 20:03:18 -0400252 /* klp_find_object_symbol() treats a NULL objname as vmlinux */
Josh Poimboeufca376a92020-04-29 10:24:46 -0500253 ret = klp_find_object_symbol(sym_vmlinux ? NULL : sym_objname,
254 sym_name, sympos, &addr);
Jessica Yu425595a2016-03-22 20:03:18 -0400255 if (ret)
256 return ret;
257
258 sym->st_value = addr;
259 }
260
261 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600262}
263
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500264/*
265 * At a high-level, there are two types of klp relocation sections: those which
266 * reference symbols which live in vmlinux; and those which reference symbols
267 * which live in other modules. This function is called for both types:
268 *
269 * 1) When a klp module itself loads, the module code calls this function to
270 * write vmlinux-specific klp relocations (.klp.rela.vmlinux.* sections).
271 * These relocations are written to the klp module text to allow the patched
272 * code/data to reference unexported vmlinux symbols. They're written as
273 * early as possible to ensure that other module init code (.e.g.,
274 * jump_label_apply_nops) can access any unexported vmlinux symbols which
275 * might be referenced by the klp module's special sections.
276 *
277 * 2) When a to-be-patched module loads -- or is already loaded when a
278 * corresponding klp module loads -- klp code calls this function to write
279 * module-specific klp relocations (.klp.rela.{module}.* sections). These
280 * are written to the klp module text to allow the patched code/data to
281 * reference symbols which live in the to-be-patched module or one of its
282 * module dependencies. Exported symbols are supported, in addition to
283 * unexported symbols, in order to enable late module patching, which allows
284 * the to-be-patched module to be loaded and patched sometime *after* the
285 * klp module is loaded.
286 */
287int klp_apply_section_relocs(struct module *pmod, Elf_Shdr *sechdrs,
288 const char *shstrtab, const char *strtab,
289 unsigned int symndx, unsigned int secndx,
290 const char *objname)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600291{
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500292 int cnt, ret;
Jessica Yu425595a2016-03-22 20:03:18 -0400293 char sec_objname[MODULE_NAME_LEN];
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500294 Elf_Shdr *sec = sechdrs + secndx;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600295
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500296 /*
297 * Format: .klp.rela.sec_objname.section_name
298 * See comment in klp_resolve_symbols() for an explanation
299 * of the selected field width value.
300 */
301 cnt = sscanf(shstrtab + sec->sh_name, ".klp.rela.%55[^.]",
302 sec_objname);
303 if (cnt != 1) {
304 pr_err("section %s has an incorrectly formatted name\n",
305 shstrtab + sec->sh_name);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600306 return -EINVAL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600307 }
308
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500309 if (strcmp(objname ? objname : "vmlinux", sec_objname))
310 return 0;
311
Josh Poimboeufca376a92020-04-29 10:24:46 -0500312 ret = klp_resolve_symbols(sechdrs, strtab, symndx, sec, sec_objname);
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500313 if (ret)
314 return ret;
315
316 return apply_relocate_add(sechdrs, strtab, symndx, secndx, pmod);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600317}
318
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600319/*
320 * Sysfs Interface
321 *
322 * /sys/kernel/livepatch
323 * /sys/kernel/livepatch/<patch>
324 * /sys/kernel/livepatch/<patch>/enabled
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600325 * /sys/kernel/livepatch/<patch>/transition
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100326 * /sys/kernel/livepatch/<patch>/force
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600327 * /sys/kernel/livepatch/<patch>/<object>
Chris J Arges444f9e92015-12-01 20:40:56 -0600328 * /sys/kernel/livepatch/<patch>/<object>/<function,sympos>
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600329 */
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100330static int __klp_disable_patch(struct klp_patch *patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600331
332static ssize_t enabled_store(struct kobject *kobj, struct kobj_attribute *attr,
333 const char *buf, size_t count)
334{
335 struct klp_patch *patch;
336 int ret;
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600337 bool enabled;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600338
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600339 ret = kstrtobool(buf, &enabled);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600340 if (ret)
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600341 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600342
343 patch = container_of(kobj, struct klp_patch, kobj);
344
345 mutex_lock(&klp_mutex);
346
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600347 if (patch->enabled == enabled) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600348 /* already in requested state */
349 ret = -EINVAL;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100350 goto out;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600351 }
352
Petr Mladek958ef1e2019-01-09 13:43:23 +0100353 /*
354 * Allow to reverse a pending transition in both ways. It might be
355 * necessary to complete the transition without forcing and breaking
356 * the system integrity.
357 *
358 * Do not allow to re-enable a disabled patch.
359 */
360 if (patch == klp_transition_patch)
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600361 klp_reverse_transition();
Petr Mladek958ef1e2019-01-09 13:43:23 +0100362 else if (!enabled)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600363 ret = __klp_disable_patch(patch);
Petr Mladek958ef1e2019-01-09 13:43:23 +0100364 else
365 ret = -EINVAL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600366
Petr Mladek958ef1e2019-01-09 13:43:23 +0100367out:
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600368 mutex_unlock(&klp_mutex);
369
Petr Mladek958ef1e2019-01-09 13:43:23 +0100370 if (ret)
371 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600372 return count;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600373}
374
375static ssize_t enabled_show(struct kobject *kobj,
376 struct kobj_attribute *attr, char *buf)
377{
378 struct klp_patch *patch;
379
380 patch = container_of(kobj, struct klp_patch, kobj);
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600381 return snprintf(buf, PAGE_SIZE-1, "%d\n", patch->enabled);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600382}
383
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600384static ssize_t transition_show(struct kobject *kobj,
385 struct kobj_attribute *attr, char *buf)
386{
387 struct klp_patch *patch;
388
389 patch = container_of(kobj, struct klp_patch, kobj);
390 return snprintf(buf, PAGE_SIZE-1, "%d\n",
391 patch == klp_transition_patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600392}
393
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100394static ssize_t force_store(struct kobject *kobj, struct kobj_attribute *attr,
395 const char *buf, size_t count)
396{
397 struct klp_patch *patch;
398 int ret;
399 bool val;
400
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100401 ret = kstrtobool(buf, &val);
402 if (ret)
403 return ret;
404
Miroslav Benes88690162017-12-21 14:40:43 +0100405 if (!val)
406 return count;
407
408 mutex_lock(&klp_mutex);
409
410 patch = container_of(kobj, struct klp_patch, kobj);
411 if (patch != klp_transition_patch) {
412 mutex_unlock(&klp_mutex);
413 return -EINVAL;
414 }
415
416 klp_force_transition();
417
418 mutex_unlock(&klp_mutex);
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100419
420 return count;
421}
422
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600423static struct kobj_attribute enabled_kobj_attr = __ATTR_RW(enabled);
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600424static struct kobj_attribute transition_kobj_attr = __ATTR_RO(transition);
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100425static struct kobj_attribute force_kobj_attr = __ATTR_WO(force);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600426static struct attribute *klp_patch_attrs[] = {
427 &enabled_kobj_attr.attr,
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600428 &transition_kobj_attr.attr,
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100429 &force_kobj_attr.attr,
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600430 NULL
431};
Kimberly Brown70283452019-04-01 22:51:58 -0400432ATTRIBUTE_GROUPS(klp_patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600433
Jason Barone1452b62019-01-09 13:43:25 +0100434static void klp_free_object_dynamic(struct klp_object *obj)
435{
436 kfree(obj->name);
437 kfree(obj);
438}
439
Petr Mladekf68d67c2019-05-03 15:26:25 +0200440static void klp_init_func_early(struct klp_object *obj,
441 struct klp_func *func);
442static void klp_init_object_early(struct klp_patch *patch,
443 struct klp_object *obj);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200444
Petr Mladekf68d67c2019-05-03 15:26:25 +0200445static struct klp_object *klp_alloc_object_dynamic(const char *name,
446 struct klp_patch *patch)
Jason Barone1452b62019-01-09 13:43:25 +0100447{
448 struct klp_object *obj;
449
450 obj = kzalloc(sizeof(*obj), GFP_KERNEL);
451 if (!obj)
452 return NULL;
453
454 if (name) {
455 obj->name = kstrdup(name, GFP_KERNEL);
456 if (!obj->name) {
457 kfree(obj);
458 return NULL;
459 }
460 }
461
Petr Mladekf68d67c2019-05-03 15:26:25 +0200462 klp_init_object_early(patch, obj);
Jason Barone1452b62019-01-09 13:43:25 +0100463 obj->dynamic = true;
464
465 return obj;
466}
467
468static void klp_free_func_nop(struct klp_func *func)
469{
470 kfree(func->old_name);
471 kfree(func);
472}
473
474static struct klp_func *klp_alloc_func_nop(struct klp_func *old_func,
475 struct klp_object *obj)
476{
477 struct klp_func *func;
478
479 func = kzalloc(sizeof(*func), GFP_KERNEL);
480 if (!func)
481 return NULL;
482
483 if (old_func->old_name) {
484 func->old_name = kstrdup(old_func->old_name, GFP_KERNEL);
485 if (!func->old_name) {
486 kfree(func);
487 return NULL;
488 }
489 }
490
Petr Mladekf68d67c2019-05-03 15:26:25 +0200491 klp_init_func_early(obj, func);
Jason Barone1452b62019-01-09 13:43:25 +0100492 /*
493 * func->new_func is same as func->old_func. These addresses are
494 * set when the object is loaded, see klp_init_object_loaded().
495 */
496 func->old_sympos = old_func->old_sympos;
497 func->nop = true;
498
499 return func;
500}
501
502static int klp_add_object_nops(struct klp_patch *patch,
503 struct klp_object *old_obj)
504{
505 struct klp_object *obj;
506 struct klp_func *func, *old_func;
507
508 obj = klp_find_object(patch, old_obj);
509
510 if (!obj) {
Petr Mladekf68d67c2019-05-03 15:26:25 +0200511 obj = klp_alloc_object_dynamic(old_obj->name, patch);
Jason Barone1452b62019-01-09 13:43:25 +0100512 if (!obj)
513 return -ENOMEM;
Jason Barone1452b62019-01-09 13:43:25 +0100514 }
515
516 klp_for_each_func(old_obj, old_func) {
517 func = klp_find_func(obj, old_func);
518 if (func)
519 continue;
520
521 func = klp_alloc_func_nop(old_func, obj);
522 if (!func)
523 return -ENOMEM;
Jason Barone1452b62019-01-09 13:43:25 +0100524 }
525
526 return 0;
527}
528
529/*
530 * Add 'nop' functions which simply return to the caller to run
531 * the original function. The 'nop' functions are added to a
532 * patch to facilitate a 'replace' mode.
533 */
534static int klp_add_nops(struct klp_patch *patch)
535{
536 struct klp_patch *old_patch;
537 struct klp_object *old_obj;
538
Petr Mladekecba29f2019-02-04 14:56:50 +0100539 klp_for_each_patch(old_patch) {
Jason Barone1452b62019-01-09 13:43:25 +0100540 klp_for_each_object(old_patch, old_obj) {
541 int err;
542
543 err = klp_add_object_nops(patch, old_obj);
544 if (err)
545 return err;
546 }
547 }
548
549 return 0;
550}
551
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600552static void klp_kobj_release_patch(struct kobject *kobj)
553{
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600554 struct klp_patch *patch;
555
556 patch = container_of(kobj, struct klp_patch, kobj);
557 complete(&patch->finish);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600558}
559
560static struct kobj_type klp_ktype_patch = {
561 .release = klp_kobj_release_patch,
562 .sysfs_ops = &kobj_sysfs_ops,
Kimberly Brown70283452019-04-01 22:51:58 -0400563 .default_groups = klp_patch_groups,
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600564};
565
Miroslav Benescad706d2015-05-19 12:01:18 +0200566static void klp_kobj_release_object(struct kobject *kobj)
567{
Jason Barone1452b62019-01-09 13:43:25 +0100568 struct klp_object *obj;
569
570 obj = container_of(kobj, struct klp_object, kobj);
571
572 if (obj->dynamic)
573 klp_free_object_dynamic(obj);
Miroslav Benescad706d2015-05-19 12:01:18 +0200574}
575
576static struct kobj_type klp_ktype_object = {
577 .release = klp_kobj_release_object,
578 .sysfs_ops = &kobj_sysfs_ops,
579};
580
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600581static void klp_kobj_release_func(struct kobject *kobj)
582{
Jason Barone1452b62019-01-09 13:43:25 +0100583 struct klp_func *func;
584
585 func = container_of(kobj, struct klp_func, kobj);
586
587 if (func->nop)
588 klp_free_func_nop(func);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600589}
590
591static struct kobj_type klp_ktype_func = {
592 .release = klp_kobj_release_func,
593 .sysfs_ops = &kobj_sysfs_ops,
594};
595
Petr Mladekd697bad2019-01-09 13:43:26 +0100596static void __klp_free_funcs(struct klp_object *obj, bool nops_only)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600597{
Jason Barone1452b62019-01-09 13:43:25 +0100598 struct klp_func *func, *tmp_func;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600599
Jason Barone1452b62019-01-09 13:43:25 +0100600 klp_for_each_func_safe(obj, func, tmp_func) {
Petr Mladekd697bad2019-01-09 13:43:26 +0100601 if (nops_only && !func->nop)
602 continue;
603
604 list_del(&func->node);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200605 kobject_put(&func->kobj);
Petr Mladek0430f782019-01-09 13:43:21 +0100606 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600607}
608
609/* Clean up when a patched object is unloaded */
610static void klp_free_object_loaded(struct klp_object *obj)
611{
612 struct klp_func *func;
613
614 obj->mod = NULL;
615
Jason Barone1452b62019-01-09 13:43:25 +0100616 klp_for_each_func(obj, func) {
Petr Mladek19514912019-01-09 13:43:19 +0100617 func->old_func = NULL;
Jason Barone1452b62019-01-09 13:43:25 +0100618
619 if (func->nop)
620 func->new_func = NULL;
621 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600622}
623
Petr Mladekd697bad2019-01-09 13:43:26 +0100624static void __klp_free_objects(struct klp_patch *patch, bool nops_only)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600625{
Jason Barone1452b62019-01-09 13:43:25 +0100626 struct klp_object *obj, *tmp_obj;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600627
Jason Barone1452b62019-01-09 13:43:25 +0100628 klp_for_each_object_safe(patch, obj, tmp_obj) {
Petr Mladekd697bad2019-01-09 13:43:26 +0100629 __klp_free_funcs(obj, nops_only);
630
631 if (nops_only && !obj->dynamic)
632 continue;
633
634 list_del(&obj->node);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200635 kobject_put(&obj->kobj);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600636 }
637}
638
Petr Mladekd697bad2019-01-09 13:43:26 +0100639static void klp_free_objects(struct klp_patch *patch)
640{
641 __klp_free_objects(patch, false);
642}
643
644static void klp_free_objects_dynamic(struct klp_patch *patch)
645{
646 __klp_free_objects(patch, true);
647}
648
Petr Mladek0430f782019-01-09 13:43:21 +0100649/*
650 * This function implements the free operations that can be called safely
651 * under klp_mutex.
652 *
653 * The operation must be completed by calling klp_free_patch_finish()
654 * outside klp_mutex.
655 */
Petr Mladek7e35e4e2019-10-30 16:43:09 +0100656static void klp_free_patch_start(struct klp_patch *patch)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600657{
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600658 if (!list_empty(&patch->list))
659 list_del(&patch->list);
Petr Mladek0430f782019-01-09 13:43:21 +0100660
661 klp_free_objects(patch);
662}
663
664/*
665 * This function implements the free part that must be called outside
666 * klp_mutex.
667 *
668 * It must be called after klp_free_patch_start(). And it has to be
669 * the last function accessing the livepatch structures when the patch
670 * gets disabled.
671 */
672static void klp_free_patch_finish(struct klp_patch *patch)
673{
674 /*
675 * Avoid deadlock with enabled_store() sysfs callback by
676 * calling this outside klp_mutex. It is safe because
677 * this is called when the patch gets disabled and it
678 * cannot get enabled again.
679 */
Petr Mladek4d141ab2019-05-03 15:26:24 +0200680 kobject_put(&patch->kobj);
681 wait_for_completion(&patch->finish);
Petr Mladek958ef1e2019-01-09 13:43:23 +0100682
683 /* Put the module after the last access to struct klp_patch. */
684 if (!patch->forced)
685 module_put(patch->mod);
686}
687
688/*
689 * The livepatch might be freed from sysfs interface created by the patch.
690 * This work allows to wait until the interface is destroyed in a separate
691 * context.
692 */
693static void klp_free_patch_work_fn(struct work_struct *work)
694{
695 struct klp_patch *patch =
696 container_of(work, struct klp_patch, free_work);
697
698 klp_free_patch_finish(patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600699}
700
Petr Mladek7e35e4e2019-10-30 16:43:09 +0100701void klp_free_patch_async(struct klp_patch *patch)
702{
703 klp_free_patch_start(patch);
704 schedule_work(&patch->free_work);
705}
706
707void klp_free_replaced_patches_async(struct klp_patch *new_patch)
708{
709 struct klp_patch *old_patch, *tmp_patch;
710
711 klp_for_each_patch_safe(old_patch, tmp_patch) {
712 if (old_patch == new_patch)
713 return;
714 klp_free_patch_async(old_patch);
715 }
716}
717
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600718static int klp_init_func(struct klp_object *obj, struct klp_func *func)
719{
Jason Barone1452b62019-01-09 13:43:25 +0100720 if (!func->old_name)
721 return -EINVAL;
722
723 /*
724 * NOPs get the address later. The patched module must be loaded,
725 * see klp_init_object_loaded().
726 */
727 if (!func->new_func && !func->nop)
Miroslav Benesf09d9082016-04-28 16:34:08 +0200728 return -EINVAL;
729
Kamalesh Babulal6e9df952018-07-20 15:16:42 +0530730 if (strlen(func->old_name) >= KSYM_NAME_LEN)
731 return -EINVAL;
732
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -0600733 INIT_LIST_HEAD(&func->stack_node);
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600734 func->patched = false;
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600735 func->transition = false;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600736
Chris J Arges444f9e92015-12-01 20:40:56 -0600737 /* The format for the sysfs directory is <function,sympos> where sympos
738 * is the nth occurrence of this symbol in kallsyms for the patched
739 * object. If the user selects 0 for old_sympos, then 1 will be used
740 * since a unique symbol will be the first occurrence.
741 */
Petr Mladek4d141ab2019-05-03 15:26:24 +0200742 return kobject_add(&func->kobj, &obj->kobj, "%s,%lu",
743 func->old_name,
744 func->old_sympos ? func->old_sympos : 1);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600745}
746
Samuel Zoua4ae16f2020-05-09 09:16:41 +0800747static int klp_apply_object_relocs(struct klp_patch *patch,
748 struct klp_object *obj)
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500749{
750 int i, ret;
751 struct klp_modinfo *info = patch->mod->klp_info;
752
753 for (i = 1; i < info->hdr.e_shnum; i++) {
754 Elf_Shdr *sec = info->sechdrs + i;
755
756 if (!(sec->sh_flags & SHF_RELA_LIVEPATCH))
757 continue;
758
759 ret = klp_apply_section_relocs(patch->mod, info->sechdrs,
760 info->secstrings,
761 patch->mod->core_kallsyms.strtab,
762 info->symndx, i, obj->name);
763 if (ret)
764 return ret;
765 }
766
767 return 0;
768}
769
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600770/* parts of the initialization that is done only when the object is loaded */
771static int klp_init_object_loaded(struct klp_patch *patch,
772 struct klp_object *obj)
773{
774 struct klp_func *func;
775 int ret;
776
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500777 if (klp_is_module(obj)) {
778 /*
779 * Only write module-specific relocations here
780 * (.klp.rela.{module}.*). vmlinux-specific relocations were
781 * written earlier during the initialization of the klp module
782 * itself.
783 */
784 ret = klp_apply_object_relocs(patch, obj);
Peter Zijlstra1d053342020-04-29 10:24:45 -0500785 if (ret)
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500786 return ret;
Jessica Yu255e7322016-08-17 20:58:28 -0400787 }
788
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200789 klp_for_each_func(obj, func) {
Chris J Argesb2b018e2015-12-01 20:40:54 -0600790 ret = klp_find_object_symbol(obj->name, func->old_name,
791 func->old_sympos,
Petr Mladek19514912019-01-09 13:43:19 +0100792 (unsigned long *)&func->old_func);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600793 if (ret)
794 return ret;
Josh Poimboeuff5e547f2017-02-13 19:42:39 -0600795
Petr Mladek19514912019-01-09 13:43:19 +0100796 ret = kallsyms_lookup_size_offset((unsigned long)func->old_func,
Josh Poimboeuff5e547f2017-02-13 19:42:39 -0600797 &func->old_size, NULL);
798 if (!ret) {
799 pr_err("kallsyms size lookup failed for '%s'\n",
800 func->old_name);
801 return -ENOENT;
802 }
803
Jason Barone1452b62019-01-09 13:43:25 +0100804 if (func->nop)
805 func->new_func = func->old_func;
806
Josh Poimboeuff5e547f2017-02-13 19:42:39 -0600807 ret = kallsyms_lookup_size_offset((unsigned long)func->new_func,
808 &func->new_size, NULL);
809 if (!ret) {
810 pr_err("kallsyms size lookup failed for '%s' replacement\n",
811 func->old_name);
812 return -ENOENT;
813 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600814 }
815
816 return 0;
817}
818
819static int klp_init_object(struct klp_patch *patch, struct klp_object *obj)
820{
821 struct klp_func *func;
822 int ret;
823 const char *name;
824
Kamalesh Babulal6e9df952018-07-20 15:16:42 +0530825 if (klp_is_module(obj) && strlen(obj->name) >= MODULE_NAME_LEN)
826 return -EINVAL;
827
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600828 obj->patched = false;
Petr Mladek8cb2c2d2015-03-12 12:55:13 +0100829 obj->mod = NULL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600830
831 klp_find_object_module(obj);
832
833 name = klp_is_module(obj) ? obj->name : "vmlinux";
Petr Mladek4d141ab2019-05-03 15:26:24 +0200834 ret = kobject_add(&obj->kobj, &patch->kobj, "%s", name);
Miroslav Benescad706d2015-05-19 12:01:18 +0200835 if (ret)
836 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600837
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200838 klp_for_each_func(obj, func) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600839 ret = klp_init_func(obj, func);
840 if (ret)
Petr Mladek0430f782019-01-09 13:43:21 +0100841 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600842 }
843
Petr Mladek0430f782019-01-09 13:43:21 +0100844 if (klp_is_object_loaded(obj))
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600845 ret = klp_init_object_loaded(patch, obj);
Petr Mladek0430f782019-01-09 13:43:21 +0100846
847 return ret;
848}
849
Petr Mladekf68d67c2019-05-03 15:26:25 +0200850static void klp_init_func_early(struct klp_object *obj,
851 struct klp_func *func)
852{
853 kobject_init(&func->kobj, &klp_ktype_func);
854 list_add_tail(&func->node, &obj->func_list);
855}
856
857static void klp_init_object_early(struct klp_patch *patch,
858 struct klp_object *obj)
859{
860 INIT_LIST_HEAD(&obj->func_list);
861 kobject_init(&obj->kobj, &klp_ktype_object);
862 list_add_tail(&obj->node, &patch->obj_list);
863}
864
Petr Mladek0430f782019-01-09 13:43:21 +0100865static int klp_init_patch_early(struct klp_patch *patch)
866{
867 struct klp_object *obj;
868 struct klp_func *func;
869
870 if (!patch->objs)
871 return -EINVAL;
872
873 INIT_LIST_HEAD(&patch->list);
Jason Baron20e55022019-01-09 13:43:24 +0100874 INIT_LIST_HEAD(&patch->obj_list);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200875 kobject_init(&patch->kobj, &klp_ktype_patch);
Petr Mladek0430f782019-01-09 13:43:21 +0100876 patch->enabled = false;
Petr Mladek68007282019-01-09 13:43:22 +0100877 patch->forced = false;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100878 INIT_WORK(&patch->free_work, klp_free_patch_work_fn);
Petr Mladek0430f782019-01-09 13:43:21 +0100879 init_completion(&patch->finish);
880
Jason Baron20e55022019-01-09 13:43:24 +0100881 klp_for_each_object_static(patch, obj) {
Petr Mladek0430f782019-01-09 13:43:21 +0100882 if (!obj->funcs)
883 return -EINVAL;
884
Petr Mladekf68d67c2019-05-03 15:26:25 +0200885 klp_init_object_early(patch, obj);
Petr Mladek0430f782019-01-09 13:43:21 +0100886
Jason Baron20e55022019-01-09 13:43:24 +0100887 klp_for_each_func_static(obj, func) {
Petr Mladekf68d67c2019-05-03 15:26:25 +0200888 klp_init_func_early(obj, func);
Jason Baron20e55022019-01-09 13:43:24 +0100889 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600890 }
891
Petr Mladek958ef1e2019-01-09 13:43:23 +0100892 if (!try_module_get(patch->mod))
893 return -ENODEV;
894
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600895 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600896}
897
898static int klp_init_patch(struct klp_patch *patch)
899{
900 struct klp_object *obj;
901 int ret;
902
Petr Mladek4d141ab2019-05-03 15:26:24 +0200903 ret = kobject_add(&patch->kobj, klp_root_kobj, "%s", patch->mod->name);
Petr Mladek958ef1e2019-01-09 13:43:23 +0100904 if (ret)
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600905 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600906
Jason Barone1452b62019-01-09 13:43:25 +0100907 if (patch->replace) {
908 ret = klp_add_nops(patch);
909 if (ret)
910 return ret;
911 }
912
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200913 klp_for_each_object(patch, obj) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600914 ret = klp_init_object(patch, obj);
915 if (ret)
Petr Mladek958ef1e2019-01-09 13:43:23 +0100916 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600917 }
918
Josh Poimboeuf99590ba2015-01-09 14:03:04 -0600919 list_add_tail(&patch->list, &klp_patches);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600920
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600921 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600922}
923
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100924static int __klp_disable_patch(struct klp_patch *patch)
925{
926 struct klp_object *obj;
927
928 if (WARN_ON(!patch->enabled))
929 return -EINVAL;
930
931 if (klp_transition_patch)
932 return -EBUSY;
933
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100934 klp_init_transition(patch, KLP_UNPATCHED);
935
936 klp_for_each_object(patch, obj)
937 if (obj->patched)
938 klp_pre_unpatch_callback(obj);
939
940 /*
941 * Enforce the order of the func->transition writes in
942 * klp_init_transition() and the TIF_PATCH_PENDING writes in
943 * klp_start_transition(). In the rare case where klp_ftrace_handler()
944 * is called shortly after klp_update_patch_state() switches the task,
945 * this ensures the handler sees that func->transition is set.
946 */
947 smp_wmb();
948
949 klp_start_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100950 patch->enabled = false;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100951 klp_try_complete_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100952
953 return 0;
954}
955
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100956static int __klp_enable_patch(struct klp_patch *patch)
957{
958 struct klp_object *obj;
959 int ret;
960
961 if (klp_transition_patch)
962 return -EBUSY;
963
964 if (WARN_ON(patch->enabled))
965 return -EINVAL;
966
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100967 pr_notice("enabling patch '%s'\n", patch->mod->name);
968
969 klp_init_transition(patch, KLP_PATCHED);
970
971 /*
972 * Enforce the order of the func->transition writes in
973 * klp_init_transition() and the ops->func_stack writes in
974 * klp_patch_object(), so that klp_ftrace_handler() will see the
975 * func->transition updates before the handler is registered and the
976 * new funcs become visible to the handler.
977 */
978 smp_wmb();
979
980 klp_for_each_object(patch, obj) {
981 if (!klp_is_object_loaded(obj))
982 continue;
983
984 ret = klp_pre_patch_callback(obj);
985 if (ret) {
986 pr_warn("pre-patch callback failed for object '%s'\n",
987 klp_is_module(obj) ? obj->name : "vmlinux");
988 goto err;
989 }
990
991 ret = klp_patch_object(obj);
992 if (ret) {
993 pr_warn("failed to patch object '%s'\n",
994 klp_is_module(obj) ? obj->name : "vmlinux");
995 goto err;
996 }
997 }
998
999 klp_start_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001000 patch->enabled = true;
Petr Mladek958ef1e2019-01-09 13:43:23 +01001001 klp_try_complete_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001002
1003 return 0;
1004err:
1005 pr_warn("failed to enable patch '%s'\n", patch->mod->name);
1006
1007 klp_cancel_transition();
1008 return ret;
1009}
1010
1011/**
Petr Mladek958ef1e2019-01-09 13:43:23 +01001012 * klp_enable_patch() - enable the livepatch
1013 * @patch: patch to be enabled
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001014 *
Petr Mladek958ef1e2019-01-09 13:43:23 +01001015 * Initializes the data structure associated with the patch, creates the sysfs
1016 * interface, performs the needed symbol lookups and code relocations,
1017 * registers the patched functions with ftrace.
1018 *
1019 * This function is supposed to be called from the livepatch module_init()
1020 * callback.
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001021 *
1022 * Return: 0 on success, otherwise error
1023 */
1024int klp_enable_patch(struct klp_patch *patch)
1025{
1026 int ret;
1027
Petr Mladek958ef1e2019-01-09 13:43:23 +01001028 if (!patch || !patch->mod)
1029 return -EINVAL;
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001030
Petr Mladek958ef1e2019-01-09 13:43:23 +01001031 if (!is_livepatch_module(patch->mod)) {
1032 pr_err("module %s is not marked as a livepatch module\n",
1033 patch->mod->name);
1034 return -EINVAL;
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001035 }
1036
Petr Mladek958ef1e2019-01-09 13:43:23 +01001037 if (!klp_initialized())
1038 return -ENODEV;
1039
1040 if (!klp_have_reliable_stack()) {
Petr Mladek31adf232019-04-24 10:55:48 +02001041 pr_warn("This architecture doesn't have support for the livepatch consistency model.\n");
1042 pr_warn("The livepatch transition may never complete.\n");
Petr Mladek958ef1e2019-01-09 13:43:23 +01001043 }
1044
Petr Mladek958ef1e2019-01-09 13:43:23 +01001045 mutex_lock(&klp_mutex);
1046
Petr Mladek92c9abf2019-10-30 16:43:11 +01001047 if (!klp_is_patch_compatible(patch)) {
1048 pr_err("Livepatch patch (%s) is not compatible with the already installed livepatches.\n",
1049 patch->mod->name);
1050 mutex_unlock(&klp_mutex);
1051 return -EINVAL;
1052 }
1053
Petr Mladek958ef1e2019-01-09 13:43:23 +01001054 ret = klp_init_patch_early(patch);
1055 if (ret) {
1056 mutex_unlock(&klp_mutex);
1057 return ret;
1058 }
1059
1060 ret = klp_init_patch(patch);
1061 if (ret)
1062 goto err;
1063
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001064 ret = __klp_enable_patch(patch);
Petr Mladek958ef1e2019-01-09 13:43:23 +01001065 if (ret)
1066 goto err;
1067
1068 mutex_unlock(&klp_mutex);
1069
1070 return 0;
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001071
1072err:
Petr Mladek958ef1e2019-01-09 13:43:23 +01001073 klp_free_patch_start(patch);
1074
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001075 mutex_unlock(&klp_mutex);
Petr Mladek958ef1e2019-01-09 13:43:23 +01001076
1077 klp_free_patch_finish(patch);
1078
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001079 return ret;
1080}
1081EXPORT_SYMBOL_GPL(klp_enable_patch);
1082
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001083/*
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001084 * This function unpatches objects from the replaced livepatches.
Jason Barone1452b62019-01-09 13:43:25 +01001085 *
1086 * We could be pretty aggressive here. It is called in the situation where
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001087 * these structures are no longer accessed from the ftrace handler.
1088 * All functions are redirected by the klp_transition_patch. They
1089 * use either a new code or they are in the original code because
1090 * of the special nop function patches.
Jason Barone1452b62019-01-09 13:43:25 +01001091 *
1092 * The only exception is when the transition was forced. In this case,
1093 * klp_ftrace_handler() might still see the replaced patch on the stack.
1094 * Fortunately, it is carefully designed to work with removed functions
1095 * thanks to RCU. We only have to keep the patches on the system. Also
1096 * this is handled transparently by patch->module_put.
1097 */
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001098void klp_unpatch_replaced_patches(struct klp_patch *new_patch)
Jason Barone1452b62019-01-09 13:43:25 +01001099{
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001100 struct klp_patch *old_patch;
Jason Barone1452b62019-01-09 13:43:25 +01001101
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001102 klp_for_each_patch(old_patch) {
Jason Barone1452b62019-01-09 13:43:25 +01001103 if (old_patch == new_patch)
1104 return;
1105
1106 old_patch->enabled = false;
1107 klp_unpatch_objects(old_patch);
Jason Barone1452b62019-01-09 13:43:25 +01001108 }
1109}
1110
1111/*
Petr Mladekd697bad2019-01-09 13:43:26 +01001112 * This function removes the dynamically allocated 'nop' functions.
1113 *
1114 * We could be pretty aggressive. NOPs do not change the existing
1115 * behavior except for adding unnecessary delay by the ftrace handler.
1116 *
1117 * It is safe even when the transition was forced. The ftrace handler
1118 * will see a valid ops->func_stack entry thanks to RCU.
1119 *
1120 * We could even free the NOPs structures. They must be the last entry
1121 * in ops->func_stack. Therefore unregister_ftrace_function() is called.
1122 * It does the same as klp_synchronize_transition() to make sure that
1123 * nobody is inside the ftrace handler once the operation finishes.
1124 *
1125 * IMPORTANT: It must be called right after removing the replaced patches!
1126 */
1127void klp_discard_nops(struct klp_patch *new_patch)
1128{
1129 klp_unpatch_objects_dynamic(klp_transition_patch);
1130 klp_free_objects_dynamic(klp_transition_patch);
1131}
1132
1133/*
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001134 * Remove parts of patches that touch a given kernel module. The list of
1135 * patches processed might be limited. When limit is NULL, all patches
1136 * will be handled.
1137 */
1138static void klp_cleanup_module_patches_limited(struct module *mod,
1139 struct klp_patch *limit)
1140{
1141 struct klp_patch *patch;
1142 struct klp_object *obj;
1143
Petr Mladekecba29f2019-02-04 14:56:50 +01001144 klp_for_each_patch(patch) {
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001145 if (patch == limit)
1146 break;
1147
1148 klp_for_each_object(patch, obj) {
1149 if (!klp_is_module(obj) || strcmp(obj->name, mod->name))
1150 continue;
1151
Petr Mladeka087cdd2019-02-04 14:56:53 +01001152 if (patch != klp_transition_patch)
1153 klp_pre_unpatch_callback(obj);
Jiri Kosinafc41efc182017-11-15 10:53:24 +01001154
Petr Mladeka087cdd2019-02-04 14:56:53 +01001155 pr_notice("reverting patch '%s' on unloading module '%s'\n",
1156 patch->mod->name, obj->mod->name);
1157 klp_unpatch_object(obj);
Jiri Kosinafc41efc182017-11-15 10:53:24 +01001158
Petr Mladeka087cdd2019-02-04 14:56:53 +01001159 klp_post_unpatch_callback(obj);
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001160
1161 klp_free_object_loaded(obj);
1162 break;
1163 }
1164 }
1165}
1166
Jessica Yu7e545d62016-03-16 20:55:39 -04001167int klp_module_coming(struct module *mod)
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001168{
Minfei Huang36e505c2015-05-15 10:22:48 +08001169 int ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001170 struct klp_patch *patch;
1171 struct klp_object *obj;
1172
Jessica Yu7e545d62016-03-16 20:55:39 -04001173 if (WARN_ON(mod->state != MODULE_STATE_COMING))
1174 return -EINVAL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001175
Josh Poimboeufdcf550e2020-04-29 10:24:43 -05001176 if (!strcmp(mod->name, "vmlinux")) {
1177 pr_err("vmlinux.ko: invalid module name");
1178 return -EINVAL;
1179 }
1180
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001181 mutex_lock(&klp_mutex);
Petr Mladek8cb2c2d2015-03-12 12:55:13 +01001182 /*
Jessica Yu7e545d62016-03-16 20:55:39 -04001183 * Each module has to know that klp_module_coming()
1184 * has been called. We never know what module will
1185 * get patched by a new patch.
Petr Mladek8cb2c2d2015-03-12 12:55:13 +01001186 */
Jessica Yu7e545d62016-03-16 20:55:39 -04001187 mod->klp_alive = true;
Petr Mladek8cb2c2d2015-03-12 12:55:13 +01001188
Petr Mladekecba29f2019-02-04 14:56:50 +01001189 klp_for_each_patch(patch) {
Jiri Slaby8cdd0432015-05-19 12:01:19 +02001190 klp_for_each_object(patch, obj) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001191 if (!klp_is_module(obj) || strcmp(obj->name, mod->name))
1192 continue;
1193
Jessica Yu7e545d62016-03-16 20:55:39 -04001194 obj->mod = mod;
1195
1196 ret = klp_init_object_loaded(patch, obj);
1197 if (ret) {
1198 pr_warn("failed to initialize patch '%s' for module '%s' (%d)\n",
1199 patch->mod->name, obj->mod->name, ret);
1200 goto err;
1201 }
1202
Jessica Yu7e545d62016-03-16 20:55:39 -04001203 pr_notice("applying patch '%s' to loading module '%s'\n",
1204 patch->mod->name, obj->mod->name);
1205
Joe Lawrence93862e32017-10-13 15:08:41 -04001206 ret = klp_pre_patch_callback(obj);
1207 if (ret) {
1208 pr_warn("pre-patch callback failed for object '%s'\n",
1209 obj->name);
1210 goto err;
1211 }
1212
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -06001213 ret = klp_patch_object(obj);
Jessica Yu7e545d62016-03-16 20:55:39 -04001214 if (ret) {
1215 pr_warn("failed to apply patch '%s' to module '%s' (%d)\n",
1216 patch->mod->name, obj->mod->name, ret);
Joe Lawrence93862e32017-10-13 15:08:41 -04001217
Petr Mladek5aaf1ab2017-10-20 16:56:50 +02001218 klp_post_unpatch_callback(obj);
Jessica Yu7e545d62016-03-16 20:55:39 -04001219 goto err;
1220 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001221
Joe Lawrence93862e32017-10-13 15:08:41 -04001222 if (patch != klp_transition_patch)
1223 klp_post_patch_callback(obj);
1224
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001225 break;
1226 }
1227 }
1228
1229 mutex_unlock(&klp_mutex);
1230
1231 return 0;
Jessica Yu7e545d62016-03-16 20:55:39 -04001232
1233err:
1234 /*
1235 * If a patch is unsuccessfully applied, return
1236 * error to the module loader.
1237 */
1238 pr_warn("patch '%s' failed for module '%s', refusing to load module '%s'\n",
1239 patch->mod->name, obj->mod->name, obj->mod->name);
1240 mod->klp_alive = false;
Miroslav Benes4ff96fb52019-07-19 14:28:39 +02001241 obj->mod = NULL;
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001242 klp_cleanup_module_patches_limited(mod, patch);
Jessica Yu7e545d62016-03-16 20:55:39 -04001243 mutex_unlock(&klp_mutex);
1244
1245 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001246}
1247
Jessica Yu7e545d62016-03-16 20:55:39 -04001248void klp_module_going(struct module *mod)
1249{
Jessica Yu7e545d62016-03-16 20:55:39 -04001250 if (WARN_ON(mod->state != MODULE_STATE_GOING &&
1251 mod->state != MODULE_STATE_COMING))
1252 return;
1253
1254 mutex_lock(&klp_mutex);
1255 /*
1256 * Each module has to know that klp_module_going()
1257 * has been called. We never know what module will
1258 * get patched by a new patch.
1259 */
1260 mod->klp_alive = false;
1261
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001262 klp_cleanup_module_patches_limited(mod, NULL);
Jessica Yu7e545d62016-03-16 20:55:39 -04001263
1264 mutex_unlock(&klp_mutex);
1265}
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001266
Minfei Huang26029d82015-05-22 22:26:29 +08001267static int __init klp_init(void)
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001268{
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001269 klp_root_kobj = kobject_create_and_add("livepatch", kernel_kobj);
Jessica Yu7e545d62016-03-16 20:55:39 -04001270 if (!klp_root_kobj)
1271 return -ENOMEM;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001272
1273 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001274}
1275
1276module_init(klp_init);