blob: a14bab1a0a3e979a105674785cba7853e09fe0eb [file] [log] [blame]
Seth Jenningsb700e7f2014-12-16 11:58:19 -06001/*
2 * livepatch.h - Kernel Live Patching Core
3 *
4 * Copyright (C) 2014 Seth Jennings <sjenning@redhat.com>
5 * Copyright (C) 2014 SUSE
6 *
7 * This program is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation; either version 2
10 * of the License, or (at your option) any later version.
11 *
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with this program; if not, see <http://www.gnu.org/licenses/>.
19 */
20
21#ifndef _LINUX_LIVEPATCH_H_
22#define _LINUX_LIVEPATCH_H_
23
24#include <linux/module.h>
25#include <linux/ftrace.h>
Josh Poimboeuf3ec24772017-03-06 11:20:29 -060026#include <linux/completion.h>
Jason Baron20e55022019-01-09 13:43:24 +010027#include <linux/list.h>
Seth Jenningsb700e7f2014-12-16 11:58:19 -060028
Jessica Yu7e545d62016-03-16 20:55:39 -040029#if IS_ENABLED(CONFIG_LIVEPATCH)
30
Seth Jenningsb700e7f2014-12-16 11:58:19 -060031#include <asm/livepatch.h>
32
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060033/* task patch states */
34#define KLP_UNDEFINED -1
35#define KLP_UNPATCHED 0
36#define KLP_PATCHED 1
37
Seth Jenningsb700e7f2014-12-16 11:58:19 -060038/**
39 * struct klp_func - function structure for live patching
40 * @old_name: name of the function to be patched
41 * @new_func: pointer to the patched function code
Chris J Argesb2b018e2015-12-01 20:40:54 -060042 * @old_sympos: a hint indicating which symbol position the old function
43 * can be found (optional)
Petr Mladek19514912019-01-09 13:43:19 +010044 * @old_func: pointer to the function being patched
Seth Jenningsb700e7f2014-12-16 11:58:19 -060045 * @kobj: kobject for sysfs resources
Jason Baron20e55022019-01-09 13:43:24 +010046 * @node: list node for klp_object func_list
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060047 * @stack_node: list node for klp_ops func_stack list
Josh Poimboeuff5e547f2017-02-13 19:42:39 -060048 * @old_size: size of the old function
49 * @new_size: size of the new function
Petr Mladek0430f782019-01-09 13:43:21 +010050 * @kobj_added: @kobj has been added and needs freeing
Jason Barone1452b62019-01-09 13:43:25 +010051 * @nop: temporary patch to use the original code again; dyn. allocated
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -060052 * @patched: the func has been added to the klp_ops list
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060053 * @transition: the func is currently being applied or reverted
54 *
55 * The patched and transition variables define the func's patching state. When
56 * patching, a func is always in one of the following states:
57 *
58 * patched=0 transition=0: unpatched
59 * patched=0 transition=1: unpatched, temporary starting state
60 * patched=1 transition=1: patched, may be visible to some tasks
61 * patched=1 transition=0: patched, visible to all tasks
62 *
63 * And when unpatching, it goes in the reverse order:
64 *
65 * patched=1 transition=0: patched, visible to all tasks
66 * patched=1 transition=1: patched, may be visible to some tasks
67 * patched=0 transition=1: unpatched, temporary ending state
68 * patched=0 transition=0: unpatched
Seth Jenningsb700e7f2014-12-16 11:58:19 -060069 */
70struct klp_func {
71 /* external */
72 const char *old_name;
73 void *new_func;
74 /*
Chris J Argesb2b018e2015-12-01 20:40:54 -060075 * The old_sympos field is optional and can be used to resolve
76 * duplicate symbol names in livepatch objects. If this field is zero,
77 * it is expected the symbol is unique, otherwise patching fails. If
78 * this value is greater than zero then that occurrence of the symbol
79 * in kallsyms for the given object is used.
Seth Jenningsb700e7f2014-12-16 11:58:19 -060080 */
Chris J Argesb2b018e2015-12-01 20:40:54 -060081 unsigned long old_sympos;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060082
83 /* internal */
Petr Mladek19514912019-01-09 13:43:19 +010084 void *old_func;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060085 struct kobject kobj;
Jason Baron20e55022019-01-09 13:43:24 +010086 struct list_head node;
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060087 struct list_head stack_node;
Josh Poimboeuff5e547f2017-02-13 19:42:39 -060088 unsigned long old_size, new_size;
Jason Barone1452b62019-01-09 13:43:25 +010089 bool nop;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -060090 bool patched;
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060091 bool transition;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060092};
93
Joe Lawrence93862e32017-10-13 15:08:41 -040094struct klp_object;
95
96/**
97 * struct klp_callbacks - pre/post live-(un)patch callback structure
98 * @pre_patch: executed before code patching
99 * @post_patch: executed after code patching
100 * @pre_unpatch: executed before code unpatching
101 * @post_unpatch: executed after code unpatching
102 * @post_unpatch_enabled: flag indicating if post-unpatch callback
103 * should run
104 *
105 * All callbacks are optional. Only the pre-patch callback, if provided,
106 * will be unconditionally executed. If the parent klp_object fails to
107 * patch for any reason, including a non-zero error status returned from
108 * the pre-patch callback, no further callbacks will be executed.
109 */
110struct klp_callbacks {
111 int (*pre_patch)(struct klp_object *obj);
112 void (*post_patch)(struct klp_object *obj);
113 void (*pre_unpatch)(struct klp_object *obj);
114 void (*post_unpatch)(struct klp_object *obj);
115 bool post_unpatch_enabled;
116};
117
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600118/**
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600119 * struct klp_object - kernel object structure for live patching
120 * @name: module name (or NULL for vmlinux)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600121 * @funcs: function entries for functions to be patched in the object
Joe Lawrence93862e32017-10-13 15:08:41 -0400122 * @callbacks: functions to be executed pre/post (un)patching
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600123 * @kobj: kobject for sysfs resources
Jason Baron20e55022019-01-09 13:43:24 +0100124 * @func_list: dynamic list of the function entries
125 * @node: list node for klp_patch obj_list
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600126 * @mod: kernel module associated with the patched object
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600127 * (NULL for vmlinux)
Petr Mladek0430f782019-01-09 13:43:21 +0100128 * @kobj_added: @kobj has been added and needs freeing
Jason Barone1452b62019-01-09 13:43:25 +0100129 * @dynamic: temporary object for nop functions; dynamically allocated
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600130 * @patched: the object's funcs have been added to the klp_ops list
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600131 */
132struct klp_object {
133 /* external */
134 const char *name;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600135 struct klp_func *funcs;
Joe Lawrence93862e32017-10-13 15:08:41 -0400136 struct klp_callbacks callbacks;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600137
138 /* internal */
Miroslav Benescad706d2015-05-19 12:01:18 +0200139 struct kobject kobj;
Jason Baron20e55022019-01-09 13:43:24 +0100140 struct list_head func_list;
141 struct list_head node;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600142 struct module *mod;
Jason Barone1452b62019-01-09 13:43:25 +0100143 bool dynamic;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600144 bool patched;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600145};
146
147/**
148 * struct klp_patch - patch structure for live patching
149 * @mod: reference to the live patch module
150 * @objs: object entries for kernel objects to be patched
Jason Barone1452b62019-01-09 13:43:25 +0100151 * @replace: replace all actively used patches
Petr Mladek958ef1e2019-01-09 13:43:23 +0100152 * @list: list node for global list of actively used patches
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600153 * @kobj: kobject for sysfs resources
Jason Baron20e55022019-01-09 13:43:24 +0100154 * @obj_list: dynamic list of the object entries
Petr Mladek0430f782019-01-09 13:43:21 +0100155 * @kobj_added: @kobj has been added and needs freeing
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600156 * @enabled: the patch is enabled (but operation may be incomplete)
Petr Mladek68007282019-01-09 13:43:22 +0100157 * @forced: was involved in a forced transition
Petr Mladek958ef1e2019-01-09 13:43:23 +0100158 * @free_work: patch cleanup from workqueue-context
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600159 * @finish: for waiting till it is safe to remove the patch module
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600160 */
161struct klp_patch {
162 /* external */
163 struct module *mod;
164 struct klp_object *objs;
Jason Barone1452b62019-01-09 13:43:25 +0100165 bool replace;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600166
167 /* internal */
168 struct list_head list;
169 struct kobject kobj;
Jason Baron20e55022019-01-09 13:43:24 +0100170 struct list_head obj_list;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600171 bool enabled;
Petr Mladek68007282019-01-09 13:43:22 +0100172 bool forced;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100173 struct work_struct free_work;
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600174 struct completion finish;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600175};
176
Jason Baron20e55022019-01-09 13:43:24 +0100177#define klp_for_each_object_static(patch, obj) \
Miroslav Benesf09d9082016-04-28 16:34:08 +0200178 for (obj = patch->objs; obj->funcs || obj->name; obj++)
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200179
Jason Barone1452b62019-01-09 13:43:25 +0100180#define klp_for_each_object_safe(patch, obj, tmp_obj) \
181 list_for_each_entry_safe(obj, tmp_obj, &patch->obj_list, node)
182
Jason Baron20e55022019-01-09 13:43:24 +0100183#define klp_for_each_object(patch, obj) \
184 list_for_each_entry(obj, &patch->obj_list, node)
185
186#define klp_for_each_func_static(obj, func) \
Miroslav Benesf09d9082016-04-28 16:34:08 +0200187 for (func = obj->funcs; \
188 func->old_name || func->new_func || func->old_sympos; \
189 func++)
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200190
Jason Barone1452b62019-01-09 13:43:25 +0100191#define klp_for_each_func_safe(obj, func, tmp_func) \
192 list_for_each_entry_safe(func, tmp_func, &obj->func_list, node)
193
Jason Baron20e55022019-01-09 13:43:24 +0100194#define klp_for_each_func(obj, func) \
195 list_for_each_entry(func, &obj->func_list, node)
196
Miroslav Benes4421f8f2015-02-18 15:21:07 +0100197int klp_enable_patch(struct klp_patch *);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600198
Jessica Yu255e7322016-08-17 20:58:28 -0400199void arch_klp_init_object_loaded(struct klp_patch *patch,
200 struct klp_object *obj);
201
Jessica Yu7e545d62016-03-16 20:55:39 -0400202/* Called from the module loader during module coming/going states */
203int klp_module_coming(struct module *mod);
204void klp_module_going(struct module *mod);
205
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600206void klp_copy_process(struct task_struct *child);
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600207void klp_update_patch_state(struct task_struct *task);
208
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600209static inline bool klp_patch_pending(struct task_struct *task)
210{
211 return test_tsk_thread_flag(task, TIF_PATCH_PENDING);
212}
213
214static inline bool klp_have_reliable_stack(void)
215{
216 return IS_ENABLED(CONFIG_STACKTRACE) &&
217 IS_ENABLED(CONFIG_HAVE_RELIABLE_STACKTRACE);
218}
219
Petr Mladeke91c25182018-04-16 13:36:46 +0200220typedef int (*klp_shadow_ctor_t)(void *obj,
221 void *shadow_data,
222 void *ctor_data);
Petr Mladek3b2c77d2018-04-16 13:36:47 +0200223typedef void (*klp_shadow_dtor_t)(void *obj, void *shadow_data);
Petr Mladeke91c25182018-04-16 13:36:46 +0200224
Joe Lawrence439e7272017-08-31 16:37:41 -0400225void *klp_shadow_get(void *obj, unsigned long id);
Petr Mladeke91c25182018-04-16 13:36:46 +0200226void *klp_shadow_alloc(void *obj, unsigned long id,
227 size_t size, gfp_t gfp_flags,
228 klp_shadow_ctor_t ctor, void *ctor_data);
229void *klp_shadow_get_or_alloc(void *obj, unsigned long id,
230 size_t size, gfp_t gfp_flags,
231 klp_shadow_ctor_t ctor, void *ctor_data);
Petr Mladek3b2c77d2018-04-16 13:36:47 +0200232void klp_shadow_free(void *obj, unsigned long id, klp_shadow_dtor_t dtor);
233void klp_shadow_free_all(unsigned long id, klp_shadow_dtor_t dtor);
Joe Lawrence439e7272017-08-31 16:37:41 -0400234
Jessica Yu7e545d62016-03-16 20:55:39 -0400235#else /* !CONFIG_LIVEPATCH */
236
237static inline int klp_module_coming(struct module *mod) { return 0; }
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600238static inline void klp_module_going(struct module *mod) {}
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600239static inline bool klp_patch_pending(struct task_struct *task) { return false; }
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600240static inline void klp_update_patch_state(struct task_struct *task) {}
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600241static inline void klp_copy_process(struct task_struct *child) {}
Jessica Yu7e545d62016-03-16 20:55:39 -0400242
243#endif /* CONFIG_LIVEPATCH */
244
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600245#endif /* _LINUX_LIVEPATCH_H_ */