blob: 53551f4707223af3933e3f2a4f58eee926d82091 [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;
Petr Mladek0430f782019-01-09 13:43:21 +010089 bool kobj_added;
Jason Barone1452b62019-01-09 13:43:25 +010090 bool nop;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -060091 bool patched;
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060092 bool transition;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060093};
94
Joe Lawrence93862e32017-10-13 15:08:41 -040095struct klp_object;
96
97/**
98 * struct klp_callbacks - pre/post live-(un)patch callback structure
99 * @pre_patch: executed before code patching
100 * @post_patch: executed after code patching
101 * @pre_unpatch: executed before code unpatching
102 * @post_unpatch: executed after code unpatching
103 * @post_unpatch_enabled: flag indicating if post-unpatch callback
104 * should run
105 *
106 * All callbacks are optional. Only the pre-patch callback, if provided,
107 * will be unconditionally executed. If the parent klp_object fails to
108 * patch for any reason, including a non-zero error status returned from
109 * the pre-patch callback, no further callbacks will be executed.
110 */
111struct klp_callbacks {
112 int (*pre_patch)(struct klp_object *obj);
113 void (*post_patch)(struct klp_object *obj);
114 void (*pre_unpatch)(struct klp_object *obj);
115 void (*post_unpatch)(struct klp_object *obj);
116 bool post_unpatch_enabled;
117};
118
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600119/**
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600120 * struct klp_object - kernel object structure for live patching
121 * @name: module name (or NULL for vmlinux)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600122 * @funcs: function entries for functions to be patched in the object
Joe Lawrence93862e32017-10-13 15:08:41 -0400123 * @callbacks: functions to be executed pre/post (un)patching
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600124 * @kobj: kobject for sysfs resources
Jason Baron20e55022019-01-09 13:43:24 +0100125 * @func_list: dynamic list of the function entries
126 * @node: list node for klp_patch obj_list
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600127 * @mod: kernel module associated with the patched object
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600128 * (NULL for vmlinux)
Petr Mladek0430f782019-01-09 13:43:21 +0100129 * @kobj_added: @kobj has been added and needs freeing
Jason Barone1452b62019-01-09 13:43:25 +0100130 * @dynamic: temporary object for nop functions; dynamically allocated
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600131 * @patched: the object's funcs have been added to the klp_ops list
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600132 */
133struct klp_object {
134 /* external */
135 const char *name;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600136 struct klp_func *funcs;
Joe Lawrence93862e32017-10-13 15:08:41 -0400137 struct klp_callbacks callbacks;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600138
139 /* internal */
Miroslav Benescad706d2015-05-19 12:01:18 +0200140 struct kobject kobj;
Jason Baron20e55022019-01-09 13:43:24 +0100141 struct list_head func_list;
142 struct list_head node;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600143 struct module *mod;
Petr Mladek0430f782019-01-09 13:43:21 +0100144 bool kobj_added;
Jason Barone1452b62019-01-09 13:43:25 +0100145 bool dynamic;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600146 bool patched;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600147};
148
149/**
150 * struct klp_patch - patch structure for live patching
151 * @mod: reference to the live patch module
152 * @objs: object entries for kernel objects to be patched
Jason Barone1452b62019-01-09 13:43:25 +0100153 * @replace: replace all actively used patches
Petr Mladek958ef1e2019-01-09 13:43:23 +0100154 * @list: list node for global list of actively used patches
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600155 * @kobj: kobject for sysfs resources
Jason Baron20e55022019-01-09 13:43:24 +0100156 * @obj_list: dynamic list of the object entries
Petr Mladek0430f782019-01-09 13:43:21 +0100157 * @kobj_added: @kobj has been added and needs freeing
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600158 * @enabled: the patch is enabled (but operation may be incomplete)
Petr Mladek68007282019-01-09 13:43:22 +0100159 * @forced: was involved in a forced transition
Petr Mladek958ef1e2019-01-09 13:43:23 +0100160 * @free_work: patch cleanup from workqueue-context
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600161 * @finish: for waiting till it is safe to remove the patch module
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600162 */
163struct klp_patch {
164 /* external */
165 struct module *mod;
166 struct klp_object *objs;
Jason Barone1452b62019-01-09 13:43:25 +0100167 bool replace;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600168
169 /* internal */
170 struct list_head list;
171 struct kobject kobj;
Jason Baron20e55022019-01-09 13:43:24 +0100172 struct list_head obj_list;
Petr Mladek0430f782019-01-09 13:43:21 +0100173 bool kobj_added;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600174 bool enabled;
Petr Mladek68007282019-01-09 13:43:22 +0100175 bool forced;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100176 struct work_struct free_work;
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600177 struct completion finish;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600178};
179
Jason Baron20e55022019-01-09 13:43:24 +0100180#define klp_for_each_object_static(patch, obj) \
Miroslav Benesf09d9082016-04-28 16:34:08 +0200181 for (obj = patch->objs; obj->funcs || obj->name; obj++)
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200182
Jason Barone1452b62019-01-09 13:43:25 +0100183#define klp_for_each_object_safe(patch, obj, tmp_obj) \
184 list_for_each_entry_safe(obj, tmp_obj, &patch->obj_list, node)
185
Jason Baron20e55022019-01-09 13:43:24 +0100186#define klp_for_each_object(patch, obj) \
187 list_for_each_entry(obj, &patch->obj_list, node)
188
189#define klp_for_each_func_static(obj, func) \
Miroslav Benesf09d9082016-04-28 16:34:08 +0200190 for (func = obj->funcs; \
191 func->old_name || func->new_func || func->old_sympos; \
192 func++)
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200193
Jason Barone1452b62019-01-09 13:43:25 +0100194#define klp_for_each_func_safe(obj, func, tmp_func) \
195 list_for_each_entry_safe(func, tmp_func, &obj->func_list, node)
196
Jason Baron20e55022019-01-09 13:43:24 +0100197#define klp_for_each_func(obj, func) \
198 list_for_each_entry(func, &obj->func_list, node)
199
Miroslav Benes4421f8f2015-02-18 15:21:07 +0100200int klp_enable_patch(struct klp_patch *);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600201
Jessica Yu255e7322016-08-17 20:58:28 -0400202void arch_klp_init_object_loaded(struct klp_patch *patch,
203 struct klp_object *obj);
204
Jessica Yu7e545d62016-03-16 20:55:39 -0400205/* Called from the module loader during module coming/going states */
206int klp_module_coming(struct module *mod);
207void klp_module_going(struct module *mod);
208
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600209void klp_copy_process(struct task_struct *child);
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600210void klp_update_patch_state(struct task_struct *task);
211
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600212static inline bool klp_patch_pending(struct task_struct *task)
213{
214 return test_tsk_thread_flag(task, TIF_PATCH_PENDING);
215}
216
217static inline bool klp_have_reliable_stack(void)
218{
219 return IS_ENABLED(CONFIG_STACKTRACE) &&
220 IS_ENABLED(CONFIG_HAVE_RELIABLE_STACKTRACE);
221}
222
Petr Mladeke91c25182018-04-16 13:36:46 +0200223typedef int (*klp_shadow_ctor_t)(void *obj,
224 void *shadow_data,
225 void *ctor_data);
Petr Mladek3b2c77d2018-04-16 13:36:47 +0200226typedef void (*klp_shadow_dtor_t)(void *obj, void *shadow_data);
Petr Mladeke91c25182018-04-16 13:36:46 +0200227
Joe Lawrence439e7272017-08-31 16:37:41 -0400228void *klp_shadow_get(void *obj, unsigned long id);
Petr Mladeke91c25182018-04-16 13:36:46 +0200229void *klp_shadow_alloc(void *obj, unsigned long id,
230 size_t size, gfp_t gfp_flags,
231 klp_shadow_ctor_t ctor, void *ctor_data);
232void *klp_shadow_get_or_alloc(void *obj, unsigned long id,
233 size_t size, gfp_t gfp_flags,
234 klp_shadow_ctor_t ctor, void *ctor_data);
Petr Mladek3b2c77d2018-04-16 13:36:47 +0200235void klp_shadow_free(void *obj, unsigned long id, klp_shadow_dtor_t dtor);
236void klp_shadow_free_all(unsigned long id, klp_shadow_dtor_t dtor);
Joe Lawrence439e7272017-08-31 16:37:41 -0400237
Jessica Yu7e545d62016-03-16 20:55:39 -0400238#else /* !CONFIG_LIVEPATCH */
239
240static inline int klp_module_coming(struct module *mod) { return 0; }
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600241static inline void klp_module_going(struct module *mod) {}
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600242static inline bool klp_patch_pending(struct task_struct *task) { return false; }
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600243static inline void klp_update_patch_state(struct task_struct *task) {}
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600244static inline void klp_copy_process(struct task_struct *child) {}
Jessica Yu7e545d62016-03-16 20:55:39 -0400245
246#endif /* CONFIG_LIVEPATCH */
247
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600248#endif /* _LINUX_LIVEPATCH_H_ */