blob: 8f9c19c6974498a79f39efb4288f89df37de92a6 [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>
Seth Jenningsb700e7f2014-12-16 11:58:19 -060027
Jessica Yu7e545d62016-03-16 20:55:39 -040028#if IS_ENABLED(CONFIG_LIVEPATCH)
29
Seth Jenningsb700e7f2014-12-16 11:58:19 -060030#include <asm/livepatch.h>
31
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060032/* task patch states */
33#define KLP_UNDEFINED -1
34#define KLP_UNPATCHED 0
35#define KLP_PATCHED 1
36
Seth Jenningsb700e7f2014-12-16 11:58:19 -060037/**
38 * struct klp_func - function structure for live patching
39 * @old_name: name of the function to be patched
40 * @new_func: pointer to the patched function code
Chris J Argesb2b018e2015-12-01 20:40:54 -060041 * @old_sympos: a hint indicating which symbol position the old function
42 * can be found (optional)
Petr Mladek19514912019-01-09 13:43:19 +010043 * @old_func: pointer to the function being patched
Seth Jenningsb700e7f2014-12-16 11:58:19 -060044 * @kobj: kobject for sysfs resources
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060045 * @stack_node: list node for klp_ops func_stack list
Josh Poimboeuff5e547f2017-02-13 19:42:39 -060046 * @old_size: size of the old function
47 * @new_size: size of the new function
Petr Mladek0430f782019-01-09 13:43:21 +010048 * @kobj_added: @kobj has been added and needs freeing
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -060049 * @patched: the func has been added to the klp_ops list
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060050 * @transition: the func is currently being applied or reverted
51 *
52 * The patched and transition variables define the func's patching state. When
53 * patching, a func is always in one of the following states:
54 *
55 * patched=0 transition=0: unpatched
56 * patched=0 transition=1: unpatched, temporary starting state
57 * patched=1 transition=1: patched, may be visible to some tasks
58 * patched=1 transition=0: patched, visible to all tasks
59 *
60 * And when unpatching, it goes in the reverse order:
61 *
62 * patched=1 transition=0: patched, visible to all tasks
63 * patched=1 transition=1: patched, may be visible to some tasks
64 * patched=0 transition=1: unpatched, temporary ending state
65 * patched=0 transition=0: unpatched
Seth Jenningsb700e7f2014-12-16 11:58:19 -060066 */
67struct klp_func {
68 /* external */
69 const char *old_name;
70 void *new_func;
71 /*
Chris J Argesb2b018e2015-12-01 20:40:54 -060072 * The old_sympos field is optional and can be used to resolve
73 * duplicate symbol names in livepatch objects. If this field is zero,
74 * it is expected the symbol is unique, otherwise patching fails. If
75 * this value is greater than zero then that occurrence of the symbol
76 * in kallsyms for the given object is used.
Seth Jenningsb700e7f2014-12-16 11:58:19 -060077 */
Chris J Argesb2b018e2015-12-01 20:40:54 -060078 unsigned long old_sympos;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060079
80 /* internal */
Petr Mladek19514912019-01-09 13:43:19 +010081 void *old_func;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060082 struct kobject kobj;
Josh Poimboeuf3c33f5b2015-01-20 09:26:19 -060083 struct list_head stack_node;
Josh Poimboeuff5e547f2017-02-13 19:42:39 -060084 unsigned long old_size, new_size;
Petr Mladek0430f782019-01-09 13:43:21 +010085 bool kobj_added;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -060086 bool patched;
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -060087 bool transition;
Seth Jenningsb700e7f2014-12-16 11:58:19 -060088};
89
Joe Lawrence93862e32017-10-13 15:08:41 -040090struct klp_object;
91
92/**
93 * struct klp_callbacks - pre/post live-(un)patch callback structure
94 * @pre_patch: executed before code patching
95 * @post_patch: executed after code patching
96 * @pre_unpatch: executed before code unpatching
97 * @post_unpatch: executed after code unpatching
98 * @post_unpatch_enabled: flag indicating if post-unpatch callback
99 * should run
100 *
101 * All callbacks are optional. Only the pre-patch callback, if provided,
102 * will be unconditionally executed. If the parent klp_object fails to
103 * patch for any reason, including a non-zero error status returned from
104 * the pre-patch callback, no further callbacks will be executed.
105 */
106struct klp_callbacks {
107 int (*pre_patch)(struct klp_object *obj);
108 void (*post_patch)(struct klp_object *obj);
109 void (*pre_unpatch)(struct klp_object *obj);
110 void (*post_unpatch)(struct klp_object *obj);
111 bool post_unpatch_enabled;
112};
113
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600114/**
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600115 * struct klp_object - kernel object structure for live patching
116 * @name: module name (or NULL for vmlinux)
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600117 * @funcs: function entries for functions to be patched in the object
Joe Lawrence93862e32017-10-13 15:08:41 -0400118 * @callbacks: functions to be executed pre/post (un)patching
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600119 * @kobj: kobject for sysfs resources
120 * @mod: kernel module associated with the patched object
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600121 * (NULL for vmlinux)
Petr Mladek0430f782019-01-09 13:43:21 +0100122 * @kobj_added: @kobj has been added and needs freeing
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600123 * @patched: the object's funcs have been added to the klp_ops list
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600124 */
125struct klp_object {
126 /* external */
127 const char *name;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600128 struct klp_func *funcs;
Joe Lawrence93862e32017-10-13 15:08:41 -0400129 struct klp_callbacks callbacks;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600130
131 /* internal */
Miroslav Benescad706d2015-05-19 12:01:18 +0200132 struct kobject kobj;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600133 struct module *mod;
Petr Mladek0430f782019-01-09 13:43:21 +0100134 bool kobj_added;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600135 bool patched;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600136};
137
138/**
139 * struct klp_patch - patch structure for live patching
140 * @mod: reference to the live patch module
141 * @objs: object entries for kernel objects to be patched
Petr Mladek958ef1e2019-01-09 13:43:23 +0100142 * @list: list node for global list of actively used patches
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600143 * @kobj: kobject for sysfs resources
Petr Mladek0430f782019-01-09 13:43:21 +0100144 * @kobj_added: @kobj has been added and needs freeing
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600145 * @enabled: the patch is enabled (but operation may be incomplete)
Petr Mladek68007282019-01-09 13:43:22 +0100146 * @forced: was involved in a forced transition
Petr Mladek958ef1e2019-01-09 13:43:23 +0100147 * @free_work: patch cleanup from workqueue-context
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600148 * @finish: for waiting till it is safe to remove the patch module
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600149 */
150struct klp_patch {
151 /* external */
152 struct module *mod;
153 struct klp_object *objs;
154
155 /* internal */
156 struct list_head list;
157 struct kobject kobj;
Petr Mladek0430f782019-01-09 13:43:21 +0100158 bool kobj_added;
Josh Poimboeuf0dade9f2017-02-13 19:42:35 -0600159 bool enabled;
Petr Mladek68007282019-01-09 13:43:22 +0100160 bool forced;
Petr Mladek958ef1e2019-01-09 13:43:23 +0100161 struct work_struct free_work;
Josh Poimboeuf3ec24772017-03-06 11:20:29 -0600162 struct completion finish;
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600163};
164
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200165#define klp_for_each_object(patch, obj) \
Miroslav Benesf09d9082016-04-28 16:34:08 +0200166 for (obj = patch->objs; obj->funcs || obj->name; obj++)
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200167
168#define klp_for_each_func(obj, func) \
Miroslav Benesf09d9082016-04-28 16:34:08 +0200169 for (func = obj->funcs; \
170 func->old_name || func->new_func || func->old_sympos; \
171 func++)
Jiri Slaby8cdd0432015-05-19 12:01:19 +0200172
Miroslav Benes4421f8f2015-02-18 15:21:07 +0100173int klp_enable_patch(struct klp_patch *);
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600174
Jessica Yu255e7322016-08-17 20:58:28 -0400175void arch_klp_init_object_loaded(struct klp_patch *patch,
176 struct klp_object *obj);
177
Jessica Yu7e545d62016-03-16 20:55:39 -0400178/* Called from the module loader during module coming/going states */
179int klp_module_coming(struct module *mod);
180void klp_module_going(struct module *mod);
181
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600182void klp_copy_process(struct task_struct *child);
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600183void klp_update_patch_state(struct task_struct *task);
184
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600185static inline bool klp_patch_pending(struct task_struct *task)
186{
187 return test_tsk_thread_flag(task, TIF_PATCH_PENDING);
188}
189
190static inline bool klp_have_reliable_stack(void)
191{
192 return IS_ENABLED(CONFIG_STACKTRACE) &&
193 IS_ENABLED(CONFIG_HAVE_RELIABLE_STACKTRACE);
194}
195
Petr Mladeke91c25182018-04-16 13:36:46 +0200196typedef int (*klp_shadow_ctor_t)(void *obj,
197 void *shadow_data,
198 void *ctor_data);
Petr Mladek3b2c77d2018-04-16 13:36:47 +0200199typedef void (*klp_shadow_dtor_t)(void *obj, void *shadow_data);
Petr Mladeke91c25182018-04-16 13:36:46 +0200200
Joe Lawrence439e7272017-08-31 16:37:41 -0400201void *klp_shadow_get(void *obj, unsigned long id);
Petr Mladeke91c25182018-04-16 13:36:46 +0200202void *klp_shadow_alloc(void *obj, unsigned long id,
203 size_t size, gfp_t gfp_flags,
204 klp_shadow_ctor_t ctor, void *ctor_data);
205void *klp_shadow_get_or_alloc(void *obj, unsigned long id,
206 size_t size, gfp_t gfp_flags,
207 klp_shadow_ctor_t ctor, void *ctor_data);
Petr Mladek3b2c77d2018-04-16 13:36:47 +0200208void klp_shadow_free(void *obj, unsigned long id, klp_shadow_dtor_t dtor);
209void klp_shadow_free_all(unsigned long id, klp_shadow_dtor_t dtor);
Joe Lawrence439e7272017-08-31 16:37:41 -0400210
Jessica Yu7e545d62016-03-16 20:55:39 -0400211#else /* !CONFIG_LIVEPATCH */
212
213static inline int klp_module_coming(struct module *mod) { return 0; }
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600214static inline void klp_module_going(struct module *mod) {}
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600215static inline bool klp_patch_pending(struct task_struct *task) { return false; }
Josh Poimboeuf46c5a012017-02-13 19:42:30 -0600216static inline void klp_update_patch_state(struct task_struct *task) {}
Josh Poimboeufd83a7cb2017-02-13 19:42:40 -0600217static inline void klp_copy_process(struct task_struct *child) {}
Jessica Yu7e545d62016-03-16 20:55:39 -0400218
219#endif /* CONFIG_LIVEPATCH */
220
Seth Jenningsb700e7f2014-12-16 11:58:19 -0600221#endif /* _LINUX_LIVEPATCH_H_ */