blob: f76fdb9255323d809d58495da99882a6710cd855 [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>
Josh Poimboeufb56b36e2015-12-03 16:33:26 -060022#include <asm/cacheflush.h>
Jiri Kosina10517422017-03-08 14:27:05 +010023#include "core.h"
Josh Poimboeufc349cdca2017-02-13 19:42:37 -060024#include "patch.h"
Petr Mladek92c9abf2019-10-30 16:43:11 +010025#include "state.h"
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060026#include "transition.h"
Seth Jenningsb700e7f2014-12-16 11:58:19 -060027
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060028/*
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060029 * klp_mutex is a coarse lock which serializes access to klp data. All
30 * accesses to klp-related variables and structures must have mutex protection,
31 * except within the following functions which carefully avoid the need for it:
32 *
33 * - klp_ftrace_handler()
34 * - klp_update_patch_state()
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060035 */
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060036DEFINE_MUTEX(klp_mutex);
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060037
Petr Mladek958ef1e2019-01-09 13:43:23 +010038/*
39 * Actively used patches: enabled or in transition. Note that replaced
40 * or disabled patches are not listed even though the related kernel
41 * module still can be loaded.
42 */
Petr Mladek68007282019-01-09 13:43:22 +010043LIST_HEAD(klp_patches);
Seth Jenningsb700e7f2014-12-16 11:58:19 -060044
45static struct kobject *klp_root_kobj;
46
47static bool klp_is_module(struct klp_object *obj)
48{
49 return obj->name;
50}
51
Seth Jenningsb700e7f2014-12-16 11:58:19 -060052/* sets obj->mod if object is not vmlinux and module is found */
53static void klp_find_object_module(struct klp_object *obj)
54{
Petr Mladek8cb2c2d2015-03-12 12:55:13 +010055 struct module *mod;
56
Seth Jenningsb700e7f2014-12-16 11:58:19 -060057 if (!klp_is_module(obj))
58 return;
59
60 mutex_lock(&module_mutex);
61 /*
Petr Mladek8cb2c2d2015-03-12 12:55:13 +010062 * We do not want to block removal of patched modules and therefore
63 * we do not take a reference here. The patches are removed by
Jessica Yu7e545d62016-03-16 20:55:39 -040064 * klp_module_going() instead.
Seth Jenningsb700e7f2014-12-16 11:58:19 -060065 */
Petr Mladek8cb2c2d2015-03-12 12:55:13 +010066 mod = find_module(obj->name);
67 /*
Jessica Yu7e545d62016-03-16 20:55:39 -040068 * Do not mess work of klp_module_coming() and klp_module_going().
69 * Note that the patch might still be needed before klp_module_going()
Petr Mladek8cb2c2d2015-03-12 12:55:13 +010070 * is called. Module functions can be called even in the GOING state
71 * until mod->exit() finishes. This is especially important for
72 * patches that modify semantic of the functions.
73 */
74 if (mod && mod->klp_alive)
75 obj->mod = mod;
76
Seth Jenningsb700e7f2014-12-16 11:58:19 -060077 mutex_unlock(&module_mutex);
78}
79
Seth Jenningsb700e7f2014-12-16 11:58:19 -060080static bool klp_initialized(void)
81{
Nicholas Mc Guiree76ff062015-05-11 07:52:29 +020082 return !!klp_root_kobj;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060083}
84
Jason Barone1452b62019-01-09 13:43:25 +010085static struct klp_func *klp_find_func(struct klp_object *obj,
86 struct klp_func *old_func)
87{
88 struct klp_func *func;
89
90 klp_for_each_func(obj, func) {
91 if ((strcmp(old_func->old_name, func->old_name) == 0) &&
92 (old_func->old_sympos == func->old_sympos)) {
93 return func;
94 }
95 }
96
97 return NULL;
98}
99
100static struct klp_object *klp_find_object(struct klp_patch *patch,
101 struct klp_object *old_obj)
102{
103 struct klp_object *obj;
104
105 klp_for_each_object(patch, obj) {
106 if (klp_is_module(old_obj)) {
107 if (klp_is_module(obj) &&
108 strcmp(old_obj->name, obj->name) == 0) {
109 return obj;
110 }
111 } else if (!klp_is_module(obj)) {
112 return obj;
113 }
114 }
115
116 return NULL;
117}
118
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600119struct klp_find_arg {
120 const char *objname;
121 const char *name;
122 unsigned long addr;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600123 unsigned long count;
Chris J Argesb2b018e2015-12-01 20:40:54 -0600124 unsigned long pos;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600125};
126
127static int klp_find_callback(void *data, const char *name,
128 struct module *mod, unsigned long addr)
129{
130 struct klp_find_arg *args = data;
131
132 if ((mod && !args->objname) || (!mod && args->objname))
133 return 0;
134
135 if (strcmp(args->name, name))
136 return 0;
137
138 if (args->objname && strcmp(args->objname, mod->name))
139 return 0;
140
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600141 args->addr = addr;
142 args->count++;
143
Chris J Argesb2b018e2015-12-01 20:40:54 -0600144 /*
145 * Finish the search when the symbol is found for the desired position
146 * or the position is not defined for a non-unique symbol.
147 */
148 if ((args->pos && (args->count == args->pos)) ||
149 (!args->pos && (args->count > 1)))
150 return 1;
151
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600152 return 0;
153}
154
155static int klp_find_object_symbol(const char *objname, const char *name,
Chris J Argesb2b018e2015-12-01 20:40:54 -0600156 unsigned long sympos, unsigned long *addr)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600157{
158 struct klp_find_arg args = {
159 .objname = objname,
160 .name = name,
161 .addr = 0,
Chris J Argesb2b018e2015-12-01 20:40:54 -0600162 .count = 0,
163 .pos = sympos,
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600164 };
165
Miroslav Benes9a1bd632015-06-01 17:48:37 +0200166 mutex_lock(&module_mutex);
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);
Miroslav Benes9a1bd632015-06-01 17:48:37 +0200171 mutex_unlock(&module_mutex);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600172
Chris J Argesb2b018e2015-12-01 20:40:54 -0600173 /*
174 * Ensure an address was found. If sympos is 0, ensure symbol is unique;
175 * otherwise ensure the symbol position count matches sympos.
176 */
177 if (args.addr == 0)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600178 pr_err("symbol '%s' not found in symbol table\n", name);
Chris J Argesb2b018e2015-12-01 20:40:54 -0600179 else if (args.count > 1 && sympos == 0) {
Petr Mladekf995b5f2016-03-09 15:20:59 +0100180 pr_err("unresolvable ambiguity for symbol '%s' in object '%s'\n",
181 name, objname);
Chris J Argesb2b018e2015-12-01 20:40:54 -0600182 } else if (sympos != args.count && sympos > 0) {
183 pr_err("symbol position %lu for symbol '%s' in object '%s' not found\n",
184 sympos, name, objname ? objname : "vmlinux");
185 } else {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600186 *addr = args.addr;
187 return 0;
188 }
189
190 *addr = 0;
191 return -EINVAL;
192}
193
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500194static int klp_resolve_symbols(Elf64_Shdr *sechdrs, const char *strtab,
Josh Poimboeufca376a92020-04-29 10:24:46 -0500195 unsigned int symndx, Elf_Shdr *relasec,
196 const char *sec_objname)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600197{
Josh Poimboeufca376a92020-04-29 10:24:46 -0500198 int i, cnt, ret;
199 char sym_objname[MODULE_NAME_LEN];
200 char sym_name[KSYM_NAME_LEN];
Jessica Yu425595a2016-03-22 20:03:18 -0400201 Elf_Rela *relas;
202 Elf_Sym *sym;
203 unsigned long sympos, addr;
Josh Poimboeufca376a92020-04-29 10:24:46 -0500204 bool sym_vmlinux;
205 bool sec_vmlinux = !strcmp(sec_objname, "vmlinux");
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600206
Chris J Argesb2b018e2015-12-01 20:40:54 -0600207 /*
Josh Poimboeufca376a92020-04-29 10:24:46 -0500208 * Since the field widths for sym_objname and sym_name in the sscanf()
Jessica Yu425595a2016-03-22 20:03:18 -0400209 * call are hard-coded and correspond to MODULE_NAME_LEN and
210 * KSYM_NAME_LEN respectively, we must make sure that MODULE_NAME_LEN
211 * and KSYM_NAME_LEN have the values we expect them to have.
212 *
213 * Because the value of MODULE_NAME_LEN can differ among architectures,
214 * we use the smallest/strictest upper bound possible (56, based on
215 * the current definition of MODULE_NAME_LEN) to prevent overflows.
Chris J Argesb2b018e2015-12-01 20:40:54 -0600216 */
Jessica Yu425595a2016-03-22 20:03:18 -0400217 BUILD_BUG_ON(MODULE_NAME_LEN < 56 || KSYM_NAME_LEN != 128);
218
219 relas = (Elf_Rela *) relasec->sh_addr;
220 /* For each rela in this klp relocation section */
221 for (i = 0; i < relasec->sh_size / sizeof(Elf_Rela); i++) {
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500222 sym = (Elf64_Sym *)sechdrs[symndx].sh_addr + ELF_R_SYM(relas[i].r_info);
Jessica Yu425595a2016-03-22 20:03:18 -0400223 if (sym->st_shndx != SHN_LIVEPATCH) {
Josh Poimboeuf77f8f392017-04-13 17:59:15 -0500224 pr_err("symbol %s is not marked as a livepatch symbol\n",
Jessica Yu425595a2016-03-22 20:03:18 -0400225 strtab + sym->st_name);
226 return -EINVAL;
227 }
228
Josh Poimboeufca376a92020-04-29 10:24:46 -0500229 /* Format: .klp.sym.sym_objname.sym_name,sympos */
Jessica Yu425595a2016-03-22 20:03:18 -0400230 cnt = sscanf(strtab + sym->st_name,
231 ".klp.sym.%55[^.].%127[^,],%lu",
Josh Poimboeufca376a92020-04-29 10:24:46 -0500232 sym_objname, sym_name, &sympos);
Jessica Yu425595a2016-03-22 20:03:18 -0400233 if (cnt != 3) {
Josh Poimboeuf77f8f392017-04-13 17:59:15 -0500234 pr_err("symbol %s has an incorrectly formatted name\n",
Jessica Yu425595a2016-03-22 20:03:18 -0400235 strtab + sym->st_name);
236 return -EINVAL;
237 }
238
Josh Poimboeufca376a92020-04-29 10:24:46 -0500239 sym_vmlinux = !strcmp(sym_objname, "vmlinux");
240
241 /*
242 * Prevent module-specific KLP rela sections from referencing
243 * vmlinux symbols. This helps prevent ordering issues with
244 * module special section initializations. Presumably such
245 * symbols are exported and normal relas can be used instead.
246 */
247 if (!sec_vmlinux && sym_vmlinux) {
248 pr_err("invalid access to vmlinux symbol '%s' from module-specific livepatch relocation section",
249 sym_name);
250 return -EINVAL;
251 }
252
Jessica Yu425595a2016-03-22 20:03:18 -0400253 /* klp_find_object_symbol() treats a NULL objname as vmlinux */
Josh Poimboeufca376a92020-04-29 10:24:46 -0500254 ret = klp_find_object_symbol(sym_vmlinux ? NULL : sym_objname,
255 sym_name, sympos, &addr);
Jessica Yu425595a2016-03-22 20:03:18 -0400256 if (ret)
257 return ret;
258
259 sym->st_value = addr;
260 }
261
262 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600263}
264
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500265/*
266 * At a high-level, there are two types of klp relocation sections: those which
267 * reference symbols which live in vmlinux; and those which reference symbols
268 * which live in other modules. This function is called for both types:
269 *
270 * 1) When a klp module itself loads, the module code calls this function to
271 * write vmlinux-specific klp relocations (.klp.rela.vmlinux.* sections).
272 * These relocations are written to the klp module text to allow the patched
273 * code/data to reference unexported vmlinux symbols. They're written as
274 * early as possible to ensure that other module init code (.e.g.,
275 * jump_label_apply_nops) can access any unexported vmlinux symbols which
276 * might be referenced by the klp module's special sections.
277 *
278 * 2) When a to-be-patched module loads -- or is already loaded when a
279 * corresponding klp module loads -- klp code calls this function to write
280 * module-specific klp relocations (.klp.rela.{module}.* sections). These
281 * are written to the klp module text to allow the patched code/data to
282 * reference symbols which live in the to-be-patched module or one of its
283 * module dependencies. Exported symbols are supported, in addition to
284 * unexported symbols, in order to enable late module patching, which allows
285 * the to-be-patched module to be loaded and patched sometime *after* the
286 * klp module is loaded.
287 */
288int klp_apply_section_relocs(struct module *pmod, Elf_Shdr *sechdrs,
289 const char *shstrtab, const char *strtab,
290 unsigned int symndx, unsigned int secndx,
291 const char *objname)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600292{
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500293 int cnt, ret;
Jessica Yu425595a2016-03-22 20:03:18 -0400294 char sec_objname[MODULE_NAME_LEN];
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500295 Elf_Shdr *sec = sechdrs + secndx;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600296
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500297 /*
298 * Format: .klp.rela.sec_objname.section_name
299 * See comment in klp_resolve_symbols() for an explanation
300 * of the selected field width value.
301 */
302 cnt = sscanf(shstrtab + sec->sh_name, ".klp.rela.%55[^.]",
303 sec_objname);
304 if (cnt != 1) {
305 pr_err("section %s has an incorrectly formatted name\n",
306 shstrtab + sec->sh_name);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600307 return -EINVAL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600308 }
309
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500310 if (strcmp(objname ? objname : "vmlinux", sec_objname))
311 return 0;
312
Josh Poimboeufca376a92020-04-29 10:24:46 -0500313 ret = klp_resolve_symbols(sechdrs, strtab, symndx, sec, sec_objname);
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500314 if (ret)
315 return ret;
316
317 return apply_relocate_add(sechdrs, strtab, symndx, secndx, pmod);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600318}
319
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600320/*
321 * Sysfs Interface
322 *
323 * /sys/kernel/livepatch
324 * /sys/kernel/livepatch/<patch>
325 * /sys/kernel/livepatch/<patch>/enabled
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600326 * /sys/kernel/livepatch/<patch>/transition
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100327 * /sys/kernel/livepatch/<patch>/force
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600328 * /sys/kernel/livepatch/<patch>/<object>
Chris J Arges444f9e92015-12-01 20:40:56 -0600329 * /sys/kernel/livepatch/<patch>/<object>/<function,sympos>
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600330 */
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100331static int __klp_disable_patch(struct klp_patch *patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600332
333static ssize_t enabled_store(struct kobject *kobj, struct kobj_attribute *attr,
334 const char *buf, size_t count)
335{
336 struct klp_patch *patch;
337 int ret;
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600338 bool enabled;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600339
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600340 ret = kstrtobool(buf, &enabled);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600341 if (ret)
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600342 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600343
344 patch = container_of(kobj, struct klp_patch, kobj);
345
346 mutex_lock(&klp_mutex);
347
Josh Poimboeuf68ae4b22017-02-13 19:42:38 -0600348 if (patch->enabled == enabled) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600349 /* already in requested state */
350 ret = -EINVAL;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100351 goto out;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600352 }
353
Petr Mladek958ef1e2019-01-09 13:43:23 +0100354 /*
355 * Allow to reverse a pending transition in both ways. It might be
356 * necessary to complete the transition without forcing and breaking
357 * the system integrity.
358 *
359 * Do not allow to re-enable a disabled patch.
360 */
361 if (patch == klp_transition_patch)
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600362 klp_reverse_transition();
Petr Mladek958ef1e2019-01-09 13:43:23 +0100363 else if (!enabled)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600364 ret = __klp_disable_patch(patch);
Petr Mladek958ef1e2019-01-09 13:43:23 +0100365 else
366 ret = -EINVAL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600367
Petr Mladek958ef1e2019-01-09 13:43:23 +0100368out:
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600369 mutex_unlock(&klp_mutex);
370
Petr Mladek958ef1e2019-01-09 13:43:23 +0100371 if (ret)
372 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600373 return count;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600374}
375
376static ssize_t enabled_show(struct kobject *kobj,
377 struct kobj_attribute *attr, char *buf)
378{
379 struct klp_patch *patch;
380
381 patch = container_of(kobj, struct klp_patch, kobj);
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600382 return snprintf(buf, PAGE_SIZE-1, "%d\n", patch->enabled);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600383}
384
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600385static ssize_t transition_show(struct kobject *kobj,
386 struct kobj_attribute *attr, char *buf)
387{
388 struct klp_patch *patch;
389
390 patch = container_of(kobj, struct klp_patch, kobj);
391 return snprintf(buf, PAGE_SIZE-1, "%d\n",
392 patch == klp_transition_patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600393}
394
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100395static ssize_t force_store(struct kobject *kobj, struct kobj_attribute *attr,
396 const char *buf, size_t count)
397{
398 struct klp_patch *patch;
399 int ret;
400 bool val;
401
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100402 ret = kstrtobool(buf, &val);
403 if (ret)
404 return ret;
405
Miroslav Benes88690162017-12-21 14:40:43 +0100406 if (!val)
407 return count;
408
409 mutex_lock(&klp_mutex);
410
411 patch = container_of(kobj, struct klp_patch, kobj);
412 if (patch != klp_transition_patch) {
413 mutex_unlock(&klp_mutex);
414 return -EINVAL;
415 }
416
417 klp_force_transition();
418
419 mutex_unlock(&klp_mutex);
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100420
421 return count;
422}
423
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600424static struct kobj_attribute enabled_kobj_attr = __ATTR_RW(enabled);
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600425static struct kobj_attribute transition_kobj_attr = __ATTR_RO(transition);
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100426static struct kobj_attribute force_kobj_attr = __ATTR_WO(force);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600427static struct attribute *klp_patch_attrs[] = {
428 &enabled_kobj_attr.attr,
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600429 &transition_kobj_attr.attr,
Miroslav Benesc99a2be2017-11-22 11:29:21 +0100430 &force_kobj_attr.attr,
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600431 NULL
432};
Kimberly Brown70283452019-04-01 22:51:58 -0400433ATTRIBUTE_GROUPS(klp_patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600434
Jason Barone1452b62019-01-09 13:43:25 +0100435static void klp_free_object_dynamic(struct klp_object *obj)
436{
437 kfree(obj->name);
438 kfree(obj);
439}
440
Petr Mladekf68d67c2019-05-03 15:26:25 +0200441static void klp_init_func_early(struct klp_object *obj,
442 struct klp_func *func);
443static void klp_init_object_early(struct klp_patch *patch,
444 struct klp_object *obj);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200445
Petr Mladekf68d67c2019-05-03 15:26:25 +0200446static struct klp_object *klp_alloc_object_dynamic(const char *name,
447 struct klp_patch *patch)
Jason Barone1452b62019-01-09 13:43:25 +0100448{
449 struct klp_object *obj;
450
451 obj = kzalloc(sizeof(*obj), GFP_KERNEL);
452 if (!obj)
453 return NULL;
454
455 if (name) {
456 obj->name = kstrdup(name, GFP_KERNEL);
457 if (!obj->name) {
458 kfree(obj);
459 return NULL;
460 }
461 }
462
Petr Mladekf68d67c2019-05-03 15:26:25 +0200463 klp_init_object_early(patch, obj);
Jason Barone1452b62019-01-09 13:43:25 +0100464 obj->dynamic = true;
465
466 return obj;
467}
468
469static void klp_free_func_nop(struct klp_func *func)
470{
471 kfree(func->old_name);
472 kfree(func);
473}
474
475static struct klp_func *klp_alloc_func_nop(struct klp_func *old_func,
476 struct klp_object *obj)
477{
478 struct klp_func *func;
479
480 func = kzalloc(sizeof(*func), GFP_KERNEL);
481 if (!func)
482 return NULL;
483
484 if (old_func->old_name) {
485 func->old_name = kstrdup(old_func->old_name, GFP_KERNEL);
486 if (!func->old_name) {
487 kfree(func);
488 return NULL;
489 }
490 }
491
Petr Mladekf68d67c2019-05-03 15:26:25 +0200492 klp_init_func_early(obj, func);
Jason Barone1452b62019-01-09 13:43:25 +0100493 /*
494 * func->new_func is same as func->old_func. These addresses are
495 * set when the object is loaded, see klp_init_object_loaded().
496 */
497 func->old_sympos = old_func->old_sympos;
498 func->nop = true;
499
500 return func;
501}
502
503static int klp_add_object_nops(struct klp_patch *patch,
504 struct klp_object *old_obj)
505{
506 struct klp_object *obj;
507 struct klp_func *func, *old_func;
508
509 obj = klp_find_object(patch, old_obj);
510
511 if (!obj) {
Petr Mladekf68d67c2019-05-03 15:26:25 +0200512 obj = klp_alloc_object_dynamic(old_obj->name, patch);
Jason Barone1452b62019-01-09 13:43:25 +0100513 if (!obj)
514 return -ENOMEM;
Jason Barone1452b62019-01-09 13:43:25 +0100515 }
516
517 klp_for_each_func(old_obj, old_func) {
518 func = klp_find_func(obj, old_func);
519 if (func)
520 continue;
521
522 func = klp_alloc_func_nop(old_func, obj);
523 if (!func)
524 return -ENOMEM;
Jason Barone1452b62019-01-09 13:43:25 +0100525 }
526
527 return 0;
528}
529
530/*
531 * Add 'nop' functions which simply return to the caller to run
532 * the original function. The 'nop' functions are added to a
533 * patch to facilitate a 'replace' mode.
534 */
535static int klp_add_nops(struct klp_patch *patch)
536{
537 struct klp_patch *old_patch;
538 struct klp_object *old_obj;
539
Petr Mladekecba29f2019-02-04 14:56:50 +0100540 klp_for_each_patch(old_patch) {
Jason Barone1452b62019-01-09 13:43:25 +0100541 klp_for_each_object(old_patch, old_obj) {
542 int err;
543
544 err = klp_add_object_nops(patch, old_obj);
545 if (err)
546 return err;
547 }
548 }
549
550 return 0;
551}
552
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600553static void klp_kobj_release_patch(struct kobject *kobj)
554{
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600555 struct klp_patch *patch;
556
557 patch = container_of(kobj, struct klp_patch, kobj);
558 complete(&patch->finish);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600559}
560
561static struct kobj_type klp_ktype_patch = {
562 .release = klp_kobj_release_patch,
563 .sysfs_ops = &kobj_sysfs_ops,
Kimberly Brown70283452019-04-01 22:51:58 -0400564 .default_groups = klp_patch_groups,
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600565};
566
Miroslav Benescad706d2015-05-19 12:01:18 +0200567static void klp_kobj_release_object(struct kobject *kobj)
568{
Jason Barone1452b62019-01-09 13:43:25 +0100569 struct klp_object *obj;
570
571 obj = container_of(kobj, struct klp_object, kobj);
572
573 if (obj->dynamic)
574 klp_free_object_dynamic(obj);
Miroslav Benescad706d2015-05-19 12:01:18 +0200575}
576
577static struct kobj_type klp_ktype_object = {
578 .release = klp_kobj_release_object,
579 .sysfs_ops = &kobj_sysfs_ops,
580};
581
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600582static void klp_kobj_release_func(struct kobject *kobj)
583{
Jason Barone1452b62019-01-09 13:43:25 +0100584 struct klp_func *func;
585
586 func = container_of(kobj, struct klp_func, kobj);
587
588 if (func->nop)
589 klp_free_func_nop(func);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600590}
591
592static struct kobj_type klp_ktype_func = {
593 .release = klp_kobj_release_func,
594 .sysfs_ops = &kobj_sysfs_ops,
595};
596
Petr Mladekd697bad2019-01-09 13:43:26 +0100597static void __klp_free_funcs(struct klp_object *obj, bool nops_only)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600598{
Jason Barone1452b62019-01-09 13:43:25 +0100599 struct klp_func *func, *tmp_func;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600600
Jason Barone1452b62019-01-09 13:43:25 +0100601 klp_for_each_func_safe(obj, func, tmp_func) {
Petr Mladekd697bad2019-01-09 13:43:26 +0100602 if (nops_only && !func->nop)
603 continue;
604
605 list_del(&func->node);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200606 kobject_put(&func->kobj);
Petr Mladek0430f782019-01-09 13:43:21 +0100607 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600608}
609
610/* Clean up when a patched object is unloaded */
611static void klp_free_object_loaded(struct klp_object *obj)
612{
613 struct klp_func *func;
614
615 obj->mod = NULL;
616
Jason Barone1452b62019-01-09 13:43:25 +0100617 klp_for_each_func(obj, func) {
Petr Mladek19514912019-01-09 13:43:19 +0100618 func->old_func = NULL;
Jason Barone1452b62019-01-09 13:43:25 +0100619
620 if (func->nop)
621 func->new_func = NULL;
622 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600623}
624
Petr Mladekd697bad2019-01-09 13:43:26 +0100625static void __klp_free_objects(struct klp_patch *patch, bool nops_only)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600626{
Jason Barone1452b62019-01-09 13:43:25 +0100627 struct klp_object *obj, *tmp_obj;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600628
Jason Barone1452b62019-01-09 13:43:25 +0100629 klp_for_each_object_safe(patch, obj, tmp_obj) {
Petr Mladekd697bad2019-01-09 13:43:26 +0100630 __klp_free_funcs(obj, nops_only);
631
632 if (nops_only && !obj->dynamic)
633 continue;
634
635 list_del(&obj->node);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200636 kobject_put(&obj->kobj);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600637 }
638}
639
Petr Mladekd697bad2019-01-09 13:43:26 +0100640static void klp_free_objects(struct klp_patch *patch)
641{
642 __klp_free_objects(patch, false);
643}
644
645static void klp_free_objects_dynamic(struct klp_patch *patch)
646{
647 __klp_free_objects(patch, true);
648}
649
Petr Mladek0430f782019-01-09 13:43:21 +0100650/*
651 * This function implements the free operations that can be called safely
652 * under klp_mutex.
653 *
654 * The operation must be completed by calling klp_free_patch_finish()
655 * outside klp_mutex.
656 */
Petr Mladek7e35e4e2019-10-30 16:43:09 +0100657static void klp_free_patch_start(struct klp_patch *patch)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600658{
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600659 if (!list_empty(&patch->list))
660 list_del(&patch->list);
Petr Mladek0430f782019-01-09 13:43:21 +0100661
662 klp_free_objects(patch);
663}
664
665/*
666 * This function implements the free part that must be called outside
667 * klp_mutex.
668 *
669 * It must be called after klp_free_patch_start(). And it has to be
670 * the last function accessing the livepatch structures when the patch
671 * gets disabled.
672 */
673static void klp_free_patch_finish(struct klp_patch *patch)
674{
675 /*
676 * Avoid deadlock with enabled_store() sysfs callback by
677 * calling this outside klp_mutex. It is safe because
678 * this is called when the patch gets disabled and it
679 * cannot get enabled again.
680 */
Petr Mladek4d141ab2019-05-03 15:26:24 +0200681 kobject_put(&patch->kobj);
682 wait_for_completion(&patch->finish);
Petr Mladek958ef1e2019-01-09 13:43:23 +0100683
684 /* Put the module after the last access to struct klp_patch. */
685 if (!patch->forced)
686 module_put(patch->mod);
687}
688
689/*
690 * The livepatch might be freed from sysfs interface created by the patch.
691 * This work allows to wait until the interface is destroyed in a separate
692 * context.
693 */
694static void klp_free_patch_work_fn(struct work_struct *work)
695{
696 struct klp_patch *patch =
697 container_of(work, struct klp_patch, free_work);
698
699 klp_free_patch_finish(patch);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600700}
701
Petr Mladek7e35e4e2019-10-30 16:43:09 +0100702void klp_free_patch_async(struct klp_patch *patch)
703{
704 klp_free_patch_start(patch);
705 schedule_work(&patch->free_work);
706}
707
708void klp_free_replaced_patches_async(struct klp_patch *new_patch)
709{
710 struct klp_patch *old_patch, *tmp_patch;
711
712 klp_for_each_patch_safe(old_patch, tmp_patch) {
713 if (old_patch == new_patch)
714 return;
715 klp_free_patch_async(old_patch);
716 }
717}
718
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600719static int klp_init_func(struct klp_object *obj, struct klp_func *func)
720{
Jason Barone1452b62019-01-09 13:43:25 +0100721 if (!func->old_name)
722 return -EINVAL;
723
724 /*
725 * NOPs get the address later. The patched module must be loaded,
726 * see klp_init_object_loaded().
727 */
728 if (!func->new_func && !func->nop)
Miroslav Benesf09d9082016-04-28 16:34:08 +0200729 return -EINVAL;
730
Kamalesh Babulal6e9df952018-07-20 15:16:42 +0530731 if (strlen(func->old_name) >= KSYM_NAME_LEN)
732 return -EINVAL;
733
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -0600734 INIT_LIST_HEAD(&func->stack_node);
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600735 func->patched = false;
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600736 func->transition = false;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600737
Chris J Arges444f9e92015-12-01 20:40:56 -0600738 /* The format for the sysfs directory is <function,sympos> where sympos
739 * is the nth occurrence of this symbol in kallsyms for the patched
740 * object. If the user selects 0 for old_sympos, then 1 will be used
741 * since a unique symbol will be the first occurrence.
742 */
Petr Mladek4d141ab2019-05-03 15:26:24 +0200743 return kobject_add(&func->kobj, &obj->kobj, "%s,%lu",
744 func->old_name,
745 func->old_sympos ? func->old_sympos : 1);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600746}
747
Samuel Zoua4ae16f2020-05-09 09:16:41 +0800748static int klp_apply_object_relocs(struct klp_patch *patch,
749 struct klp_object *obj)
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500750{
751 int i, ret;
752 struct klp_modinfo *info = patch->mod->klp_info;
753
754 for (i = 1; i < info->hdr.e_shnum; i++) {
755 Elf_Shdr *sec = info->sechdrs + i;
756
757 if (!(sec->sh_flags & SHF_RELA_LIVEPATCH))
758 continue;
759
760 ret = klp_apply_section_relocs(patch->mod, info->sechdrs,
761 info->secstrings,
762 patch->mod->core_kallsyms.strtab,
763 info->symndx, i, obj->name);
764 if (ret)
765 return ret;
766 }
767
768 return 0;
769}
770
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600771/* parts of the initialization that is done only when the object is loaded */
772static int klp_init_object_loaded(struct klp_patch *patch,
773 struct klp_object *obj)
774{
775 struct klp_func *func;
776 int ret;
777
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500778 if (klp_is_module(obj)) {
779 /*
780 * Only write module-specific relocations here
781 * (.klp.rela.{module}.*). vmlinux-specific relocations were
782 * written earlier during the initialization of the klp module
783 * itself.
784 */
785 ret = klp_apply_object_relocs(patch, obj);
Peter Zijlstra1d053342020-04-29 10:24:45 -0500786 if (ret)
Josh Poimboeuf7c8e2bd2020-04-29 10:24:44 -0500787 return ret;
Jessica Yu255e7322016-08-17 20:58:28 -0400788 }
789
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200790 klp_for_each_func(obj, func) {
Chris J Argesb2b018e2015-12-01 20:40:54 -0600791 ret = klp_find_object_symbol(obj->name, func->old_name,
792 func->old_sympos,
Petr Mladek19514912019-01-09 13:43:19 +0100793 (unsigned long *)&func->old_func);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600794 if (ret)
795 return ret;
Josh Poimboeuff5e547f2017-02-13 19:42:39 -0600796
Petr Mladek19514912019-01-09 13:43:19 +0100797 ret = kallsyms_lookup_size_offset((unsigned long)func->old_func,
Josh Poimboeuff5e547f2017-02-13 19:42:39 -0600798 &func->old_size, NULL);
799 if (!ret) {
800 pr_err("kallsyms size lookup failed for '%s'\n",
801 func->old_name);
802 return -ENOENT;
803 }
804
Jason Barone1452b62019-01-09 13:43:25 +0100805 if (func->nop)
806 func->new_func = func->old_func;
807
Josh Poimboeuff5e547f2017-02-13 19:42:39 -0600808 ret = kallsyms_lookup_size_offset((unsigned long)func->new_func,
809 &func->new_size, NULL);
810 if (!ret) {
811 pr_err("kallsyms size lookup failed for '%s' replacement\n",
812 func->old_name);
813 return -ENOENT;
814 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600815 }
816
817 return 0;
818}
819
820static int klp_init_object(struct klp_patch *patch, struct klp_object *obj)
821{
822 struct klp_func *func;
823 int ret;
824 const char *name;
825
Kamalesh Babulal6e9df952018-07-20 15:16:42 +0530826 if (klp_is_module(obj) && strlen(obj->name) >= MODULE_NAME_LEN)
827 return -EINVAL;
828
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600829 obj->patched = false;
Petr Mladek8cb2c2d2015-03-12 12:55:13 +0100830 obj->mod = NULL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600831
832 klp_find_object_module(obj);
833
834 name = klp_is_module(obj) ? obj->name : "vmlinux";
Petr Mladek4d141ab2019-05-03 15:26:24 +0200835 ret = kobject_add(&obj->kobj, &patch->kobj, "%s", name);
Miroslav Benescad706d2015-05-19 12:01:18 +0200836 if (ret)
837 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600838
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200839 klp_for_each_func(obj, func) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600840 ret = klp_init_func(obj, func);
841 if (ret)
Petr Mladek0430f782019-01-09 13:43:21 +0100842 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600843 }
844
Petr Mladek0430f782019-01-09 13:43:21 +0100845 if (klp_is_object_loaded(obj))
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600846 ret = klp_init_object_loaded(patch, obj);
Petr Mladek0430f782019-01-09 13:43:21 +0100847
848 return ret;
849}
850
Petr Mladekf68d67c2019-05-03 15:26:25 +0200851static void klp_init_func_early(struct klp_object *obj,
852 struct klp_func *func)
853{
854 kobject_init(&func->kobj, &klp_ktype_func);
855 list_add_tail(&func->node, &obj->func_list);
856}
857
858static void klp_init_object_early(struct klp_patch *patch,
859 struct klp_object *obj)
860{
861 INIT_LIST_HEAD(&obj->func_list);
862 kobject_init(&obj->kobj, &klp_ktype_object);
863 list_add_tail(&obj->node, &patch->obj_list);
864}
865
Petr Mladek0430f782019-01-09 13:43:21 +0100866static int klp_init_patch_early(struct klp_patch *patch)
867{
868 struct klp_object *obj;
869 struct klp_func *func;
870
871 if (!patch->objs)
872 return -EINVAL;
873
874 INIT_LIST_HEAD(&patch->list);
Jason Baron20e55022019-01-09 13:43:24 +0100875 INIT_LIST_HEAD(&patch->obj_list);
Petr Mladek4d141ab2019-05-03 15:26:24 +0200876 kobject_init(&patch->kobj, &klp_ktype_patch);
Petr Mladek0430f782019-01-09 13:43:21 +0100877 patch->enabled = false;
Petr Mladek68007282019-01-09 13:43:22 +0100878 patch->forced = false;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100879 INIT_WORK(&patch->free_work, klp_free_patch_work_fn);
Petr Mladek0430f782019-01-09 13:43:21 +0100880 init_completion(&patch->finish);
881
Jason Baron20e55022019-01-09 13:43:24 +0100882 klp_for_each_object_static(patch, obj) {
Petr Mladek0430f782019-01-09 13:43:21 +0100883 if (!obj->funcs)
884 return -EINVAL;
885
Petr Mladekf68d67c2019-05-03 15:26:25 +0200886 klp_init_object_early(patch, obj);
Petr Mladek0430f782019-01-09 13:43:21 +0100887
Jason Baron20e55022019-01-09 13:43:24 +0100888 klp_for_each_func_static(obj, func) {
Petr Mladekf68d67c2019-05-03 15:26:25 +0200889 klp_init_func_early(obj, func);
Jason Baron20e55022019-01-09 13:43:24 +0100890 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600891 }
892
Petr Mladek958ef1e2019-01-09 13:43:23 +0100893 if (!try_module_get(patch->mod))
894 return -ENODEV;
895
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600896 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600897}
898
899static int klp_init_patch(struct klp_patch *patch)
900{
901 struct klp_object *obj;
902 int ret;
903
Petr Mladek4d141ab2019-05-03 15:26:24 +0200904 ret = kobject_add(&patch->kobj, klp_root_kobj, "%s", patch->mod->name);
Petr Mladek958ef1e2019-01-09 13:43:23 +0100905 if (ret)
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600906 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600907
Jason Barone1452b62019-01-09 13:43:25 +0100908 if (patch->replace) {
909 ret = klp_add_nops(patch);
910 if (ret)
911 return ret;
912 }
913
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200914 klp_for_each_object(patch, obj) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600915 ret = klp_init_object(patch, obj);
916 if (ret)
Petr Mladek958ef1e2019-01-09 13:43:23 +0100917 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600918 }
919
Josh Poimboeuf99590ba2015-01-09 14:03:04 -0600920 list_add_tail(&patch->list, &klp_patches);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600921
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600922 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600923}
924
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100925static int __klp_disable_patch(struct klp_patch *patch)
926{
927 struct klp_object *obj;
928
929 if (WARN_ON(!patch->enabled))
930 return -EINVAL;
931
932 if (klp_transition_patch)
933 return -EBUSY;
934
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100935 klp_init_transition(patch, KLP_UNPATCHED);
936
937 klp_for_each_object(patch, obj)
938 if (obj->patched)
939 klp_pre_unpatch_callback(obj);
940
941 /*
942 * Enforce the order of the func->transition writes in
943 * klp_init_transition() and the TIF_PATCH_PENDING writes in
944 * klp_start_transition(). In the rare case where klp_ftrace_handler()
945 * is called shortly after klp_update_patch_state() switches the task,
946 * this ensures the handler sees that func->transition is set.
947 */
948 smp_wmb();
949
950 klp_start_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100951 patch->enabled = false;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100952 klp_try_complete_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100953
954 return 0;
955}
956
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100957static int __klp_enable_patch(struct klp_patch *patch)
958{
959 struct klp_object *obj;
960 int ret;
961
962 if (klp_transition_patch)
963 return -EBUSY;
964
965 if (WARN_ON(patch->enabled))
966 return -EINVAL;
967
Petr Mladek26c3e98e2019-01-09 13:43:20 +0100968 pr_notice("enabling patch '%s'\n", patch->mod->name);
969
970 klp_init_transition(patch, KLP_PATCHED);
971
972 /*
973 * Enforce the order of the func->transition writes in
974 * klp_init_transition() and the ops->func_stack writes in
975 * klp_patch_object(), so that klp_ftrace_handler() will see the
976 * func->transition updates before the handler is registered and the
977 * new funcs become visible to the handler.
978 */
979 smp_wmb();
980
981 klp_for_each_object(patch, obj) {
982 if (!klp_is_object_loaded(obj))
983 continue;
984
985 ret = klp_pre_patch_callback(obj);
986 if (ret) {
987 pr_warn("pre-patch callback failed for object '%s'\n",
988 klp_is_module(obj) ? obj->name : "vmlinux");
989 goto err;
990 }
991
992 ret = klp_patch_object(obj);
993 if (ret) {
994 pr_warn("failed to patch object '%s'\n",
995 klp_is_module(obj) ? obj->name : "vmlinux");
996 goto err;
997 }
998 }
999
1000 klp_start_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001001 patch->enabled = true;
Petr Mladek958ef1e2019-01-09 13:43:23 +01001002 klp_try_complete_transition();
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001003
1004 return 0;
1005err:
1006 pr_warn("failed to enable patch '%s'\n", patch->mod->name);
1007
1008 klp_cancel_transition();
1009 return ret;
1010}
1011
1012/**
Petr Mladek958ef1e2019-01-09 13:43:23 +01001013 * klp_enable_patch() - enable the livepatch
1014 * @patch: patch to be enabled
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001015 *
Petr Mladek958ef1e2019-01-09 13:43:23 +01001016 * Initializes the data structure associated with the patch, creates the sysfs
1017 * interface, performs the needed symbol lookups and code relocations,
1018 * registers the patched functions with ftrace.
1019 *
1020 * This function is supposed to be called from the livepatch module_init()
1021 * callback.
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001022 *
1023 * Return: 0 on success, otherwise error
1024 */
1025int klp_enable_patch(struct klp_patch *patch)
1026{
1027 int ret;
1028
Petr Mladek958ef1e2019-01-09 13:43:23 +01001029 if (!patch || !patch->mod)
1030 return -EINVAL;
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001031
Petr Mladek958ef1e2019-01-09 13:43:23 +01001032 if (!is_livepatch_module(patch->mod)) {
1033 pr_err("module %s is not marked as a livepatch module\n",
1034 patch->mod->name);
1035 return -EINVAL;
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001036 }
1037
Petr Mladek958ef1e2019-01-09 13:43:23 +01001038 if (!klp_initialized())
1039 return -ENODEV;
1040
1041 if (!klp_have_reliable_stack()) {
Petr Mladek31adf232019-04-24 10:55:48 +02001042 pr_warn("This architecture doesn't have support for the livepatch consistency model.\n");
1043 pr_warn("The livepatch transition may never complete.\n");
Petr Mladek958ef1e2019-01-09 13:43:23 +01001044 }
1045
Petr Mladek958ef1e2019-01-09 13:43:23 +01001046 mutex_lock(&klp_mutex);
1047
Petr Mladek92c9abf2019-10-30 16:43:11 +01001048 if (!klp_is_patch_compatible(patch)) {
1049 pr_err("Livepatch patch (%s) is not compatible with the already installed livepatches.\n",
1050 patch->mod->name);
1051 mutex_unlock(&klp_mutex);
1052 return -EINVAL;
1053 }
1054
Petr Mladek958ef1e2019-01-09 13:43:23 +01001055 ret = klp_init_patch_early(patch);
1056 if (ret) {
1057 mutex_unlock(&klp_mutex);
1058 return ret;
1059 }
1060
1061 ret = klp_init_patch(patch);
1062 if (ret)
1063 goto err;
1064
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001065 ret = __klp_enable_patch(patch);
Petr Mladek958ef1e2019-01-09 13:43:23 +01001066 if (ret)
1067 goto err;
1068
1069 mutex_unlock(&klp_mutex);
1070
1071 return 0;
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001072
1073err:
Petr Mladek958ef1e2019-01-09 13:43:23 +01001074 klp_free_patch_start(patch);
1075
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001076 mutex_unlock(&klp_mutex);
Petr Mladek958ef1e2019-01-09 13:43:23 +01001077
1078 klp_free_patch_finish(patch);
1079
Petr Mladek26c3e98e2019-01-09 13:43:20 +01001080 return ret;
1081}
1082EXPORT_SYMBOL_GPL(klp_enable_patch);
1083
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001084/*
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001085 * This function unpatches objects from the replaced livepatches.
Jason Barone1452b62019-01-09 13:43:25 +01001086 *
1087 * We could be pretty aggressive here. It is called in the situation where
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001088 * these structures are no longer accessed from the ftrace handler.
1089 * All functions are redirected by the klp_transition_patch. They
1090 * use either a new code or they are in the original code because
1091 * of the special nop function patches.
Jason Barone1452b62019-01-09 13:43:25 +01001092 *
1093 * The only exception is when the transition was forced. In this case,
1094 * klp_ftrace_handler() might still see the replaced patch on the stack.
1095 * Fortunately, it is carefully designed to work with removed functions
1096 * thanks to RCU. We only have to keep the patches on the system. Also
1097 * this is handled transparently by patch->module_put.
1098 */
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001099void klp_unpatch_replaced_patches(struct klp_patch *new_patch)
Jason Barone1452b62019-01-09 13:43:25 +01001100{
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001101 struct klp_patch *old_patch;
Jason Barone1452b62019-01-09 13:43:25 +01001102
Petr Mladek7e35e4e2019-10-30 16:43:09 +01001103 klp_for_each_patch(old_patch) {
Jason Barone1452b62019-01-09 13:43:25 +01001104 if (old_patch == new_patch)
1105 return;
1106
1107 old_patch->enabled = false;
1108 klp_unpatch_objects(old_patch);
Jason Barone1452b62019-01-09 13:43:25 +01001109 }
1110}
1111
1112/*
Petr Mladekd697bad2019-01-09 13:43:26 +01001113 * This function removes the dynamically allocated 'nop' functions.
1114 *
1115 * We could be pretty aggressive. NOPs do not change the existing
1116 * behavior except for adding unnecessary delay by the ftrace handler.
1117 *
1118 * It is safe even when the transition was forced. The ftrace handler
1119 * will see a valid ops->func_stack entry thanks to RCU.
1120 *
1121 * We could even free the NOPs structures. They must be the last entry
1122 * in ops->func_stack. Therefore unregister_ftrace_function() is called.
1123 * It does the same as klp_synchronize_transition() to make sure that
1124 * nobody is inside the ftrace handler once the operation finishes.
1125 *
1126 * IMPORTANT: It must be called right after removing the replaced patches!
1127 */
1128void klp_discard_nops(struct klp_patch *new_patch)
1129{
1130 klp_unpatch_objects_dynamic(klp_transition_patch);
1131 klp_free_objects_dynamic(klp_transition_patch);
1132}
1133
1134/*
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001135 * Remove parts of patches that touch a given kernel module. The list of
1136 * patches processed might be limited. When limit is NULL, all patches
1137 * will be handled.
1138 */
1139static void klp_cleanup_module_patches_limited(struct module *mod,
1140 struct klp_patch *limit)
1141{
1142 struct klp_patch *patch;
1143 struct klp_object *obj;
1144
Petr Mladekecba29f2019-02-04 14:56:50 +01001145 klp_for_each_patch(patch) {
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001146 if (patch == limit)
1147 break;
1148
1149 klp_for_each_object(patch, obj) {
1150 if (!klp_is_module(obj) || strcmp(obj->name, mod->name))
1151 continue;
1152
Petr Mladeka087cdd2019-02-04 14:56:53 +01001153 if (patch != klp_transition_patch)
1154 klp_pre_unpatch_callback(obj);
Jiri Kosinafc41efc182017-11-15 10:53:24 +01001155
Petr Mladeka087cdd2019-02-04 14:56:53 +01001156 pr_notice("reverting patch '%s' on unloading module '%s'\n",
1157 patch->mod->name, obj->mod->name);
1158 klp_unpatch_object(obj);
Jiri Kosinafc41efc182017-11-15 10:53:24 +01001159
Petr Mladeka087cdd2019-02-04 14:56:53 +01001160 klp_post_unpatch_callback(obj);
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001161
1162 klp_free_object_loaded(obj);
1163 break;
1164 }
1165 }
1166}
1167
Jessica Yu7e545d62016-03-16 20:55:39 -04001168int klp_module_coming(struct module *mod)
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001169{
Minfei Huang36e505c2015-05-15 10:22:48 +08001170 int ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001171 struct klp_patch *patch;
1172 struct klp_object *obj;
1173
Jessica Yu7e545d62016-03-16 20:55:39 -04001174 if (WARN_ON(mod->state != MODULE_STATE_COMING))
1175 return -EINVAL;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001176
Josh Poimboeufdcf550e2020-04-29 10:24:43 -05001177 if (!strcmp(mod->name, "vmlinux")) {
1178 pr_err("vmlinux.ko: invalid module name");
1179 return -EINVAL;
1180 }
1181
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001182 mutex_lock(&klp_mutex);
Petr Mladek8cb2c2d2015-03-12 12:55:13 +01001183 /*
Jessica Yu7e545d62016-03-16 20:55:39 -04001184 * Each module has to know that klp_module_coming()
1185 * has been called. We never know what module will
1186 * get patched by a new patch.
Petr Mladek8cb2c2d2015-03-12 12:55:13 +01001187 */
Jessica Yu7e545d62016-03-16 20:55:39 -04001188 mod->klp_alive = true;
Petr Mladek8cb2c2d2015-03-12 12:55:13 +01001189
Petr Mladekecba29f2019-02-04 14:56:50 +01001190 klp_for_each_patch(patch) {
Jiri Slaby8cdd0432015-05-19 12:01:19 +02001191 klp_for_each_object(patch, obj) {
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001192 if (!klp_is_module(obj) || strcmp(obj->name, mod->name))
1193 continue;
1194
Jessica Yu7e545d62016-03-16 20:55:39 -04001195 obj->mod = mod;
1196
1197 ret = klp_init_object_loaded(patch, obj);
1198 if (ret) {
1199 pr_warn("failed to initialize patch '%s' for module '%s' (%d)\n",
1200 patch->mod->name, obj->mod->name, ret);
1201 goto err;
1202 }
1203
Jessica Yu7e545d62016-03-16 20:55:39 -04001204 pr_notice("applying patch '%s' to loading module '%s'\n",
1205 patch->mod->name, obj->mod->name);
1206
Joe Lawrence93862e32017-10-13 15:08:41 -04001207 ret = klp_pre_patch_callback(obj);
1208 if (ret) {
1209 pr_warn("pre-patch callback failed for object '%s'\n",
1210 obj->name);
1211 goto err;
1212 }
1213
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -06001214 ret = klp_patch_object(obj);
Jessica Yu7e545d62016-03-16 20:55:39 -04001215 if (ret) {
1216 pr_warn("failed to apply patch '%s' to module '%s' (%d)\n",
1217 patch->mod->name, obj->mod->name, ret);
Joe Lawrence93862e32017-10-13 15:08:41 -04001218
Petr Mladek5aaf1ab2017-10-20 16:56:50 +02001219 klp_post_unpatch_callback(obj);
Jessica Yu7e545d62016-03-16 20:55:39 -04001220 goto err;
1221 }
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001222
Joe Lawrence93862e32017-10-13 15:08:41 -04001223 if (patch != klp_transition_patch)
1224 klp_post_patch_callback(obj);
1225
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001226 break;
1227 }
1228 }
1229
1230 mutex_unlock(&klp_mutex);
1231
1232 return 0;
Jessica Yu7e545d62016-03-16 20:55:39 -04001233
1234err:
1235 /*
1236 * If a patch is unsuccessfully applied, return
1237 * error to the module loader.
1238 */
1239 pr_warn("patch '%s' failed for module '%s', refusing to load module '%s'\n",
1240 patch->mod->name, obj->mod->name, obj->mod->name);
1241 mod->klp_alive = false;
Miroslav Benes4ff96fb52019-07-19 14:28:39 +02001242 obj->mod = NULL;
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001243 klp_cleanup_module_patches_limited(mod, patch);
Jessica Yu7e545d62016-03-16 20:55:39 -04001244 mutex_unlock(&klp_mutex);
1245
1246 return ret;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001247}
1248
Jessica Yu7e545d62016-03-16 20:55:39 -04001249void klp_module_going(struct module *mod)
1250{
Jessica Yu7e545d62016-03-16 20:55:39 -04001251 if (WARN_ON(mod->state != MODULE_STATE_GOING &&
1252 mod->state != MODULE_STATE_COMING))
1253 return;
1254
1255 mutex_lock(&klp_mutex);
1256 /*
1257 * Each module has to know that klp_module_going()
1258 * has been called. We never know what module will
1259 * get patched by a new patch.
1260 */
1261 mod->klp_alive = false;
1262
Joe Lawrenceef8daf82017-10-02 11:56:48 -04001263 klp_cleanup_module_patches_limited(mod, NULL);
Jessica Yu7e545d62016-03-16 20:55:39 -04001264
1265 mutex_unlock(&klp_mutex);
1266}
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001267
Minfei Huang26029d82015-05-22 22:26:29 +08001268static int __init klp_init(void)
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001269{
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001270 klp_root_kobj = kobject_create_and_add("livepatch", kernel_kobj);
Jessica Yu7e545d62016-03-16 20:55:39 -04001271 if (!klp_root_kobj)
1272 return -ENOMEM;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001273
1274 return 0;
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001275}
1276
1277module_init(klp_init);