Thomas Gleixner | 1ccea77 | 2019-05-19 15:51:43 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-or-later */ |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 2 | /* |
| 3 | * livepatch.h - Kernel Live Patching Core |
| 4 | * |
| 5 | * Copyright (C) 2014 Seth Jennings <sjenning@redhat.com> |
| 6 | * Copyright (C) 2014 SUSE |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 7 | */ |
| 8 | |
| 9 | #ifndef _LINUX_LIVEPATCH_H_ |
| 10 | #define _LINUX_LIVEPATCH_H_ |
| 11 | |
| 12 | #include <linux/module.h> |
| 13 | #include <linux/ftrace.h> |
Josh Poimboeuf | 3ec2477 | 2017-03-06 11:20:29 -0600 | [diff] [blame] | 14 | #include <linux/completion.h> |
Jason Baron | 20e5502 | 2019-01-09 13:43:24 +0100 | [diff] [blame] | 15 | #include <linux/list.h> |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 16 | |
Jessica Yu | 7e545d6 | 2016-03-16 20:55:39 -0400 | [diff] [blame] | 17 | #if IS_ENABLED(CONFIG_LIVEPATCH) |
| 18 | |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 19 | #include <asm/livepatch.h> |
| 20 | |
Josh Poimboeuf | d83a7cb | 2017-02-13 19:42:40 -0600 | [diff] [blame] | 21 | /* task patch states */ |
| 22 | #define KLP_UNDEFINED -1 |
| 23 | #define KLP_UNPATCHED 0 |
| 24 | #define KLP_PATCHED 1 |
| 25 | |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 26 | /** |
| 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 Arges | b2b018e | 2015-12-01 20:40:54 -0600 | [diff] [blame] | 30 | * @old_sympos: a hint indicating which symbol position the old function |
| 31 | * can be found (optional) |
Petr Mladek | 1951491 | 2019-01-09 13:43:19 +0100 | [diff] [blame] | 32 | * @old_func: pointer to the function being patched |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 33 | * @kobj: kobject for sysfs resources |
Jason Baron | 20e5502 | 2019-01-09 13:43:24 +0100 | [diff] [blame] | 34 | * @node: list node for klp_object func_list |
Josh Poimboeuf | 3c33f5b | 2015-01-20 09:26:19 -0600 | [diff] [blame] | 35 | * @stack_node: list node for klp_ops func_stack list |
Josh Poimboeuf | f5e547f | 2017-02-13 19:42:39 -0600 | [diff] [blame] | 36 | * @old_size: size of the old function |
| 37 | * @new_size: size of the new function |
Jason Baron | e1452b6 | 2019-01-09 13:43:25 +0100 | [diff] [blame] | 38 | * @nop: temporary patch to use the original code again; dyn. allocated |
Josh Poimboeuf | 0dade9f | 2017-02-13 19:42:35 -0600 | [diff] [blame] | 39 | * @patched: the func has been added to the klp_ops list |
Josh Poimboeuf | d83a7cb | 2017-02-13 19:42:40 -0600 | [diff] [blame] | 40 | * @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 Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 56 | */ |
| 57 | struct klp_func { |
| 58 | /* external */ |
| 59 | const char *old_name; |
| 60 | void *new_func; |
| 61 | /* |
Chris J Arges | b2b018e | 2015-12-01 20:40:54 -0600 | [diff] [blame] | 62 | * 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 Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 67 | */ |
Chris J Arges | b2b018e | 2015-12-01 20:40:54 -0600 | [diff] [blame] | 68 | unsigned long old_sympos; |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 69 | |
| 70 | /* internal */ |
Petr Mladek | 1951491 | 2019-01-09 13:43:19 +0100 | [diff] [blame] | 71 | void *old_func; |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 72 | struct kobject kobj; |
Jason Baron | 20e5502 | 2019-01-09 13:43:24 +0100 | [diff] [blame] | 73 | struct list_head node; |
Josh Poimboeuf | 3c33f5b | 2015-01-20 09:26:19 -0600 | [diff] [blame] | 74 | struct list_head stack_node; |
Josh Poimboeuf | f5e547f | 2017-02-13 19:42:39 -0600 | [diff] [blame] | 75 | unsigned long old_size, new_size; |
Jason Baron | e1452b6 | 2019-01-09 13:43:25 +0100 | [diff] [blame] | 76 | bool nop; |
Josh Poimboeuf | 0dade9f | 2017-02-13 19:42:35 -0600 | [diff] [blame] | 77 | bool patched; |
Josh Poimboeuf | d83a7cb | 2017-02-13 19:42:40 -0600 | [diff] [blame] | 78 | bool transition; |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 79 | }; |
| 80 | |
Joe Lawrence | 93862e3 | 2017-10-13 15:08:41 -0400 | [diff] [blame] | 81 | struct 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 | */ |
| 97 | struct 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 Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 105 | /** |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 106 | * struct klp_object - kernel object structure for live patching |
| 107 | * @name: module name (or NULL for vmlinux) |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 108 | * @funcs: function entries for functions to be patched in the object |
Joe Lawrence | 93862e3 | 2017-10-13 15:08:41 -0400 | [diff] [blame] | 109 | * @callbacks: functions to be executed pre/post (un)patching |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 110 | * @kobj: kobject for sysfs resources |
Jason Baron | 20e5502 | 2019-01-09 13:43:24 +0100 | [diff] [blame] | 111 | * @func_list: dynamic list of the function entries |
| 112 | * @node: list node for klp_patch obj_list |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 113 | * @mod: kernel module associated with the patched object |
Josh Poimboeuf | d83a7cb | 2017-02-13 19:42:40 -0600 | [diff] [blame] | 114 | * (NULL for vmlinux) |
Jason Baron | e1452b6 | 2019-01-09 13:43:25 +0100 | [diff] [blame] | 115 | * @dynamic: temporary object for nop functions; dynamically allocated |
Josh Poimboeuf | 0dade9f | 2017-02-13 19:42:35 -0600 | [diff] [blame] | 116 | * @patched: the object's funcs have been added to the klp_ops list |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 117 | */ |
| 118 | struct klp_object { |
| 119 | /* external */ |
| 120 | const char *name; |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 121 | struct klp_func *funcs; |
Joe Lawrence | 93862e3 | 2017-10-13 15:08:41 -0400 | [diff] [blame] | 122 | struct klp_callbacks callbacks; |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 123 | |
| 124 | /* internal */ |
Miroslav Benes | cad706d | 2015-05-19 12:01:18 +0200 | [diff] [blame] | 125 | struct kobject kobj; |
Jason Baron | 20e5502 | 2019-01-09 13:43:24 +0100 | [diff] [blame] | 126 | struct list_head func_list; |
| 127 | struct list_head node; |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 128 | struct module *mod; |
Jason Baron | e1452b6 | 2019-01-09 13:43:25 +0100 | [diff] [blame] | 129 | bool dynamic; |
Josh Poimboeuf | 0dade9f | 2017-02-13 19:42:35 -0600 | [diff] [blame] | 130 | bool patched; |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 131 | }; |
| 132 | |
| 133 | /** |
Petr Mladek | 73727f4 | 2019-10-30 16:43:10 +0100 | [diff] [blame] | 134 | * struct klp_state - state of the system modified by the livepatch |
| 135 | * @id: system state identifier (non-zero) |
Petr Mladek | 92c9abf | 2019-10-30 16:43:11 +0100 | [diff] [blame] | 136 | * @version: version of the change |
Petr Mladek | 73727f4 | 2019-10-30 16:43:10 +0100 | [diff] [blame] | 137 | * @data: custom data |
| 138 | */ |
| 139 | struct klp_state { |
| 140 | unsigned long id; |
Petr Mladek | 92c9abf | 2019-10-30 16:43:11 +0100 | [diff] [blame] | 141 | unsigned int version; |
Petr Mladek | 73727f4 | 2019-10-30 16:43:10 +0100 | [diff] [blame] | 142 | void *data; |
| 143 | }; |
| 144 | |
| 145 | /** |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 146 | * 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 Mladek | 73727f4 | 2019-10-30 16:43:10 +0100 | [diff] [blame] | 149 | * @states: system states that can get modified |
Jason Baron | e1452b6 | 2019-01-09 13:43:25 +0100 | [diff] [blame] | 150 | * @replace: replace all actively used patches |
Petr Mladek | 958ef1e | 2019-01-09 13:43:23 +0100 | [diff] [blame] | 151 | * @list: list node for global list of actively used patches |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 152 | * @kobj: kobject for sysfs resources |
Jason Baron | 20e5502 | 2019-01-09 13:43:24 +0100 | [diff] [blame] | 153 | * @obj_list: dynamic list of the object entries |
Josh Poimboeuf | 0dade9f | 2017-02-13 19:42:35 -0600 | [diff] [blame] | 154 | * @enabled: the patch is enabled (but operation may be incomplete) |
Petr Mladek | 6800728 | 2019-01-09 13:43:22 +0100 | [diff] [blame] | 155 | * @forced: was involved in a forced transition |
Petr Mladek | 958ef1e | 2019-01-09 13:43:23 +0100 | [diff] [blame] | 156 | * @free_work: patch cleanup from workqueue-context |
Josh Poimboeuf | 3ec2477 | 2017-03-06 11:20:29 -0600 | [diff] [blame] | 157 | * @finish: for waiting till it is safe to remove the patch module |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 158 | */ |
| 159 | struct klp_patch { |
| 160 | /* external */ |
| 161 | struct module *mod; |
| 162 | struct klp_object *objs; |
Petr Mladek | 73727f4 | 2019-10-30 16:43:10 +0100 | [diff] [blame] | 163 | struct klp_state *states; |
Jason Baron | e1452b6 | 2019-01-09 13:43:25 +0100 | [diff] [blame] | 164 | bool replace; |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 165 | |
| 166 | /* internal */ |
| 167 | struct list_head list; |
| 168 | struct kobject kobj; |
Jason Baron | 20e5502 | 2019-01-09 13:43:24 +0100 | [diff] [blame] | 169 | struct list_head obj_list; |
Josh Poimboeuf | 0dade9f | 2017-02-13 19:42:35 -0600 | [diff] [blame] | 170 | bool enabled; |
Petr Mladek | 6800728 | 2019-01-09 13:43:22 +0100 | [diff] [blame] | 171 | bool forced; |
Petr Mladek | 958ef1e | 2019-01-09 13:43:23 +0100 | [diff] [blame] | 172 | struct work_struct free_work; |
Josh Poimboeuf | 3ec2477 | 2017-03-06 11:20:29 -0600 | [diff] [blame] | 173 | struct completion finish; |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 174 | }; |
| 175 | |
Jason Baron | 20e5502 | 2019-01-09 13:43:24 +0100 | [diff] [blame] | 176 | #define klp_for_each_object_static(patch, obj) \ |
Miroslav Benes | f09d908 | 2016-04-28 16:34:08 +0200 | [diff] [blame] | 177 | for (obj = patch->objs; obj->funcs || obj->name; obj++) |
Jiri Slaby | 8cdd043 | 2015-05-19 12:01:19 +0200 | [diff] [blame] | 178 | |
Jason Baron | e1452b6 | 2019-01-09 13:43:25 +0100 | [diff] [blame] | 179 | #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 Baron | 20e5502 | 2019-01-09 13:43:24 +0100 | [diff] [blame] | 182 | #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 Benes | f09d908 | 2016-04-28 16:34:08 +0200 | [diff] [blame] | 186 | for (func = obj->funcs; \ |
| 187 | func->old_name || func->new_func || func->old_sympos; \ |
| 188 | func++) |
Jiri Slaby | 8cdd043 | 2015-05-19 12:01:19 +0200 | [diff] [blame] | 189 | |
Jason Baron | e1452b6 | 2019-01-09 13:43:25 +0100 | [diff] [blame] | 190 | #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 Baron | 20e5502 | 2019-01-09 13:43:24 +0100 | [diff] [blame] | 193 | #define klp_for_each_func(obj, func) \ |
| 194 | list_for_each_entry(func, &obj->func_list, node) |
| 195 | |
Miroslav Benes | 4421f8f | 2015-02-18 15:21:07 +0100 | [diff] [blame] | 196 | int klp_enable_patch(struct klp_patch *); |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 197 | |
Jessica Yu | 255e732 | 2016-08-17 20:58:28 -0400 | [diff] [blame] | 198 | void arch_klp_init_object_loaded(struct klp_patch *patch, |
| 199 | struct klp_object *obj); |
| 200 | |
Jessica Yu | 7e545d6 | 2016-03-16 20:55:39 -0400 | [diff] [blame] | 201 | /* Called from the module loader during module coming/going states */ |
| 202 | int klp_module_coming(struct module *mod); |
| 203 | void klp_module_going(struct module *mod); |
| 204 | |
Josh Poimboeuf | d83a7cb | 2017-02-13 19:42:40 -0600 | [diff] [blame] | 205 | void klp_copy_process(struct task_struct *child); |
Josh Poimboeuf | 46c5a01 | 2017-02-13 19:42:30 -0600 | [diff] [blame] | 206 | void klp_update_patch_state(struct task_struct *task); |
| 207 | |
Josh Poimboeuf | d83a7cb | 2017-02-13 19:42:40 -0600 | [diff] [blame] | 208 | static inline bool klp_patch_pending(struct task_struct *task) |
| 209 | { |
| 210 | return test_tsk_thread_flag(task, TIF_PATCH_PENDING); |
| 211 | } |
| 212 | |
| 213 | static inline bool klp_have_reliable_stack(void) |
| 214 | { |
| 215 | return IS_ENABLED(CONFIG_STACKTRACE) && |
| 216 | IS_ENABLED(CONFIG_HAVE_RELIABLE_STACKTRACE); |
| 217 | } |
| 218 | |
Petr Mladek | e91c2518 | 2018-04-16 13:36:46 +0200 | [diff] [blame] | 219 | typedef int (*klp_shadow_ctor_t)(void *obj, |
| 220 | void *shadow_data, |
| 221 | void *ctor_data); |
Petr Mladek | 3b2c77d | 2018-04-16 13:36:47 +0200 | [diff] [blame] | 222 | typedef void (*klp_shadow_dtor_t)(void *obj, void *shadow_data); |
Petr Mladek | e91c2518 | 2018-04-16 13:36:46 +0200 | [diff] [blame] | 223 | |
Joe Lawrence | 439e727 | 2017-08-31 16:37:41 -0400 | [diff] [blame] | 224 | void *klp_shadow_get(void *obj, unsigned long id); |
Petr Mladek | e91c2518 | 2018-04-16 13:36:46 +0200 | [diff] [blame] | 225 | void *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); |
| 228 | void *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 Mladek | 3b2c77d | 2018-04-16 13:36:47 +0200 | [diff] [blame] | 231 | void klp_shadow_free(void *obj, unsigned long id, klp_shadow_dtor_t dtor); |
| 232 | void klp_shadow_free_all(unsigned long id, klp_shadow_dtor_t dtor); |
Joe Lawrence | 439e727 | 2017-08-31 16:37:41 -0400 | [diff] [blame] | 233 | |
Petr Mladek | 73727f4 | 2019-10-30 16:43:10 +0100 | [diff] [blame] | 234 | struct klp_state *klp_get_state(struct klp_patch *patch, unsigned long id); |
| 235 | struct klp_state *klp_get_prev_state(unsigned long id); |
| 236 | |
Jessica Yu | 7e545d6 | 2016-03-16 20:55:39 -0400 | [diff] [blame] | 237 | #else /* !CONFIG_LIVEPATCH */ |
| 238 | |
| 239 | static inline int klp_module_coming(struct module *mod) { return 0; } |
Josh Poimboeuf | 46c5a01 | 2017-02-13 19:42:30 -0600 | [diff] [blame] | 240 | static inline void klp_module_going(struct module *mod) {} |
Josh Poimboeuf | d83a7cb | 2017-02-13 19:42:40 -0600 | [diff] [blame] | 241 | static inline bool klp_patch_pending(struct task_struct *task) { return false; } |
Josh Poimboeuf | 46c5a01 | 2017-02-13 19:42:30 -0600 | [diff] [blame] | 242 | static inline void klp_update_patch_state(struct task_struct *task) {} |
Josh Poimboeuf | d83a7cb | 2017-02-13 19:42:40 -0600 | [diff] [blame] | 243 | static inline void klp_copy_process(struct task_struct *child) {} |
Jessica Yu | 7e545d6 | 2016-03-16 20:55:39 -0400 | [diff] [blame] | 244 | |
| 245 | #endif /* CONFIG_LIVEPATCH */ |
| 246 | |
Seth Jennings | b700e7f | 2014-12-16 11:58:19 -0600 | [diff] [blame] | 247 | #endif /* _LINUX_LIVEPATCH_H_ */ |