blob: e894e74905f32f18802ef59dd7dd5d4895cf3ae7 [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 * livepatch.h - 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#ifndef _LINUX_LIVEPATCH_H_
10#define _LINUX_LIVEPATCH_H_
11
12#include <linux/module.h>
13#include <linux/ftrace.h>
Josh Poimboeuf3ec24772017-03-06 11:20:29 -060014#include <linux/completion.h>
Jason Baron20e55022019-01-09 13:43:24 +010015#include <linux/list.h>
Seth Jenningsb700e7f2014-12-16 11:58:19 -060016
Jessica Yu7e545d62016-03-16 20:55:39 -040017#if IS_ENABLED(CONFIG_LIVEPATCH)
18
Seth Jenningsb700e7f2014-12-16 11:58:19 -060019#include <asm/livepatch.h>
20
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060021/* task patch states */
22#define KLP_UNDEFINED -1
23#define KLP_UNPATCHED 0
24#define KLP_PATCHED 1
25
Seth Jenningsb700e7f2014-12-16 11:58:19 -060026/**
27 * struct klp_func - function structure for live patching
28 * @old_name: name of the function to be patched
29 * @new_func: pointer to the patched function code
Chris J Argesb2b018e2015-12-01 20:40:54 -060030 * @old_sympos: a hint indicating which symbol position the old function
31 * can be found (optional)
Petr Mladek19514912019-01-09 13:43:19 +010032 * @old_func: pointer to the function being patched
Seth Jenningsb700e7f2014-12-16 11:58:19 -060033 * @kobj: kobject for sysfs resources
Jason Baron20e55022019-01-09 13:43:24 +010034 * @node: list node for klp_object func_list
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060035 * @stack_node: list node for klp_ops func_stack list
Josh Poimboeuff5e547f2017-02-13 19:42:39 -060036 * @old_size: size of the old function
37 * @new_size: size of the new function
Jason Barone1452b62019-01-09 13:43:25 +010038 * @nop: temporary patch to use the original code again; dyn. allocated
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -060039 * @patched: the func has been added to the klp_ops list
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060040 * @transition: the func is currently being applied or reverted
41 *
42 * The patched and transition variables define the func's patching state. When
43 * patching, a func is always in one of the following states:
44 *
45 * patched=0 transition=0: unpatched
46 * patched=0 transition=1: unpatched, temporary starting state
47 * patched=1 transition=1: patched, may be visible to some tasks
48 * patched=1 transition=0: patched, visible to all tasks
49 *
50 * And when unpatching, it goes in the reverse order:
51 *
52 * patched=1 transition=0: patched, visible to all tasks
53 * patched=1 transition=1: patched, may be visible to some tasks
54 * patched=0 transition=1: unpatched, temporary ending state
55 * patched=0 transition=0: unpatched
Seth Jenningsb700e7f2014-12-16 11:58:19 -060056 */
57struct klp_func {
58 /* external */
59 const char *old_name;
60 void *new_func;
61 /*
Chris J Argesb2b018e2015-12-01 20:40:54 -060062 * The old_sympos field is optional and can be used to resolve
63 * duplicate symbol names in livepatch objects. If this field is zero,
64 * it is expected the symbol is unique, otherwise patching fails. If
65 * this value is greater than zero then that occurrence of the symbol
66 * in kallsyms for the given object is used.
Seth Jenningsb700e7f2014-12-16 11:58:19 -060067 */
Chris J Argesb2b018e2015-12-01 20:40:54 -060068 unsigned long old_sympos;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060069
70 /* internal */
Petr Mladek19514912019-01-09 13:43:19 +010071 void *old_func;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060072 struct kobject kobj;
Jason Baron20e55022019-01-09 13:43:24 +010073 struct list_head node;
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060074 struct list_head stack_node;
Josh Poimboeuff5e547f2017-02-13 19:42:39 -060075 unsigned long old_size, new_size;
Jason Barone1452b62019-01-09 13:43:25 +010076 bool nop;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -060077 bool patched;
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060078 bool transition;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060079};
80
Joe Lawrence93862e32017-10-13 15:08:41 -040081struct klp_object;
82
83/**
84 * struct klp_callbacks - pre/post live-(un)patch callback structure
85 * @pre_patch: executed before code patching
86 * @post_patch: executed after code patching
87 * @pre_unpatch: executed before code unpatching
88 * @post_unpatch: executed after code unpatching
89 * @post_unpatch_enabled: flag indicating if post-unpatch callback
90 * should run
91 *
92 * All callbacks are optional. Only the pre-patch callback, if provided,
93 * will be unconditionally executed. If the parent klp_object fails to
94 * patch for any reason, including a non-zero error status returned from
95 * the pre-patch callback, no further callbacks will be executed.
96 */
97struct klp_callbacks {
98 int (*pre_patch)(struct klp_object *obj);
99 void (*post_patch)(struct klp_object *obj);
100 void (*pre_unpatch)(struct klp_object *obj);
101 void (*post_unpatch)(struct klp_object *obj);
102 bool post_unpatch_enabled;
103};
104
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600105/**
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600106 * struct klp_object - kernel object structure for live patching
107 * @name: module name (or NULL for vmlinux)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600108 * @funcs: function entries for functions to be patched in the object
Joe Lawrence93862e32017-10-13 15:08:41 -0400109 * @callbacks: functions to be executed pre/post (un)patching
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600110 * @kobj: kobject for sysfs resources
Jason Baron20e55022019-01-09 13:43:24 +0100111 * @func_list: dynamic list of the function entries
112 * @node: list node for klp_patch obj_list
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600113 * @mod: kernel module associated with the patched object
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600114 * (NULL for vmlinux)
Jason Barone1452b62019-01-09 13:43:25 +0100115 * @dynamic: temporary object for nop functions; dynamically allocated
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600116 * @patched: the object's funcs have been added to the klp_ops list
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600117 */
118struct klp_object {
119 /* external */
120 const char *name;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600121 struct klp_func *funcs;
Joe Lawrence93862e32017-10-13 15:08:41 -0400122 struct klp_callbacks callbacks;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600123
124 /* internal */
Miroslav Benescad706d2015-05-19 12:01:18 +0200125 struct kobject kobj;
Jason Baron20e55022019-01-09 13:43:24 +0100126 struct list_head func_list;
127 struct list_head node;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600128 struct module *mod;
Jason Barone1452b62019-01-09 13:43:25 +0100129 bool dynamic;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600130 bool patched;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600131};
132
133/**
Petr Mladek73727f42019-10-30 16:43:10 +0100134 * struct klp_state - state of the system modified by the livepatch
135 * @id: system state identifier (non-zero)
Petr Mladek92c9abf2019-10-30 16:43:11 +0100136 * @version: version of the change
Petr Mladek73727f42019-10-30 16:43:10 +0100137 * @data: custom data
138 */
139struct klp_state {
140 unsigned long id;
Petr Mladek92c9abf2019-10-30 16:43:11 +0100141 unsigned int version;
Petr Mladek73727f42019-10-30 16:43:10 +0100142 void *data;
143};
144
145/**
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600146 * struct klp_patch - patch structure for live patching
147 * @mod: reference to the live patch module
148 * @objs: object entries for kernel objects to be patched
Petr Mladek73727f42019-10-30 16:43:10 +0100149 * @states: system states that can get modified
Jason Barone1452b62019-01-09 13:43:25 +0100150 * @replace: replace all actively used patches
Petr Mladek958ef1e2019-01-09 13:43:23 +0100151 * @list: list node for global list of actively used patches
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600152 * @kobj: kobject for sysfs resources
Jason Baron20e55022019-01-09 13:43:24 +0100153 * @obj_list: dynamic list of the object entries
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600154 * @enabled: the patch is enabled (but operation may be incomplete)
Petr Mladek68007282019-01-09 13:43:22 +0100155 * @forced: was involved in a forced transition
Petr Mladek958ef1e2019-01-09 13:43:23 +0100156 * @free_work: patch cleanup from workqueue-context
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600157 * @finish: for waiting till it is safe to remove the patch module
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600158 */
159struct klp_patch {
160 /* external */
161 struct module *mod;
162 struct klp_object *objs;
Petr Mladek73727f42019-10-30 16:43:10 +0100163 struct klp_state *states;
Jason Barone1452b62019-01-09 13:43:25 +0100164 bool replace;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600165
166 /* internal */
167 struct list_head list;
168 struct kobject kobj;
Jason Baron20e55022019-01-09 13:43:24 +0100169 struct list_head obj_list;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600170 bool enabled;
Petr Mladek68007282019-01-09 13:43:22 +0100171 bool forced;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100172 struct work_struct free_work;
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600173 struct completion finish;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600174};
175
Jason Baron20e55022019-01-09 13:43:24 +0100176#define klp_for_each_object_static(patch, obj) \
Miroslav Benesf09d9082016-04-28 16:34:08 +0200177 for (obj = patch->objs; obj->funcs || obj->name; obj++)
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200178
Jason Barone1452b62019-01-09 13:43:25 +0100179#define klp_for_each_object_safe(patch, obj, tmp_obj) \
180 list_for_each_entry_safe(obj, tmp_obj, &patch->obj_list, node)
181
Jason Baron20e55022019-01-09 13:43:24 +0100182#define klp_for_each_object(patch, obj) \
183 list_for_each_entry(obj, &patch->obj_list, node)
184
185#define klp_for_each_func_static(obj, func) \
Miroslav Benesf09d9082016-04-28 16:34:08 +0200186 for (func = obj->funcs; \
187 func->old_name || func->new_func || func->old_sympos; \
188 func++)
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200189
Jason Barone1452b62019-01-09 13:43:25 +0100190#define klp_for_each_func_safe(obj, func, tmp_func) \
191 list_for_each_entry_safe(func, tmp_func, &obj->func_list, node)
192
Jason Baron20e55022019-01-09 13:43:24 +0100193#define klp_for_each_func(obj, func) \
194 list_for_each_entry(func, &obj->func_list, node)
195
Miroslav Benes4421f8f2015-02-18 15:21:07 +0100196int klp_enable_patch(struct klp_patch *);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600197
Jessica Yu255e7322016-08-17 20:58:28 -0400198void arch_klp_init_object_loaded(struct klp_patch *patch,
199 struct klp_object *obj);
200
Jessica Yu7e545d62016-03-16 20:55:39 -0400201/* Called from the module loader during module coming/going states */
202int klp_module_coming(struct module *mod);
203void klp_module_going(struct module *mod);
204
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600205void klp_copy_process(struct task_struct *child);
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600206void klp_update_patch_state(struct task_struct *task);
207
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600208static inline bool klp_patch_pending(struct task_struct *task)
209{
210 return test_tsk_thread_flag(task, TIF_PATCH_PENDING);
211}
212
213static inline bool klp_have_reliable_stack(void)
214{
215 return IS_ENABLED(CONFIG_STACKTRACE) &&
216 IS_ENABLED(CONFIG_HAVE_RELIABLE_STACKTRACE);
217}
218
Petr Mladeke91c25182018-04-16 13:36:46 +0200219typedef int (*klp_shadow_ctor_t)(void *obj,
220 void *shadow_data,
221 void *ctor_data);
Petr Mladek3b2c77d2018-04-16 13:36:47 +0200222typedef void (*klp_shadow_dtor_t)(void *obj, void *shadow_data);
Petr Mladeke91c25182018-04-16 13:36:46 +0200223
Joe Lawrence439e7272017-08-31 16:37:41 -0400224void *klp_shadow_get(void *obj, unsigned long id);
Petr Mladeke91c25182018-04-16 13:36:46 +0200225void *klp_shadow_alloc(void *obj, unsigned long id,
226 size_t size, gfp_t gfp_flags,
227 klp_shadow_ctor_t ctor, void *ctor_data);
228void *klp_shadow_get_or_alloc(void *obj, unsigned long id,
229 size_t size, gfp_t gfp_flags,
230 klp_shadow_ctor_t ctor, void *ctor_data);
Petr Mladek3b2c77d2018-04-16 13:36:47 +0200231void klp_shadow_free(void *obj, unsigned long id, klp_shadow_dtor_t dtor);
232void klp_shadow_free_all(unsigned long id, klp_shadow_dtor_t dtor);
Joe Lawrence439e7272017-08-31 16:37:41 -0400233
Petr Mladek73727f42019-10-30 16:43:10 +0100234struct klp_state *klp_get_state(struct klp_patch *patch, unsigned long id);
235struct klp_state *klp_get_prev_state(unsigned long id);
236
Jessica Yu7e545d62016-03-16 20:55:39 -0400237#else /* !CONFIG_LIVEPATCH */
238
239static inline int klp_module_coming(struct module *mod) { return 0; }
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600240static inline void klp_module_going(struct module *mod) {}
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600241static inline bool klp_patch_pending(struct task_struct *task) { return false; }
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600242static inline void klp_update_patch_state(struct task_struct *task) {}
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600243static inline void klp_copy_process(struct task_struct *child) {}
Jessica Yu7e545d62016-03-16 20:55:39 -0400244
245#endif /* CONFIG_LIVEPATCH */
246
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600247#endif /* _LINUX_LIVEPATCH_H_ */