xref: /linux-6.15/kernel/livepatch/patch.c (revision 1ccea77e)
1*1ccea77eSThomas Gleixner // SPDX-License-Identifier: GPL-2.0-or-later
2c349cdcaSJosh Poimboeuf /*
3c349cdcaSJosh Poimboeuf  * patch.c - livepatch patching functions
4c349cdcaSJosh Poimboeuf  *
5c349cdcaSJosh Poimboeuf  * Copyright (C) 2014 Seth Jennings <[email protected]>
6c349cdcaSJosh Poimboeuf  * Copyright (C) 2014 SUSE
7c349cdcaSJosh Poimboeuf  * Copyright (C) 2015 Josh Poimboeuf <[email protected]>
8c349cdcaSJosh Poimboeuf  */
9c349cdcaSJosh Poimboeuf 
10c349cdcaSJosh Poimboeuf #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
11c349cdcaSJosh Poimboeuf 
12c349cdcaSJosh Poimboeuf #include <linux/livepatch.h>
13c349cdcaSJosh Poimboeuf #include <linux/list.h>
14c349cdcaSJosh Poimboeuf #include <linux/ftrace.h>
15c349cdcaSJosh Poimboeuf #include <linux/rculist.h>
16c349cdcaSJosh Poimboeuf #include <linux/slab.h>
17c349cdcaSJosh Poimboeuf #include <linux/bug.h>
18c349cdcaSJosh Poimboeuf #include <linux/printk.h>
1993862e38SJoe Lawrence #include "core.h"
20c349cdcaSJosh Poimboeuf #include "patch.h"
21d83a7cb3SJosh Poimboeuf #include "transition.h"
22c349cdcaSJosh Poimboeuf 
23c349cdcaSJosh Poimboeuf static LIST_HEAD(klp_ops);
24c349cdcaSJosh Poimboeuf 
2519514910SPetr Mladek struct klp_ops *klp_find_ops(void *old_func)
26c349cdcaSJosh Poimboeuf {
27c349cdcaSJosh Poimboeuf 	struct klp_ops *ops;
28c349cdcaSJosh Poimboeuf 	struct klp_func *func;
29c349cdcaSJosh Poimboeuf 
30c349cdcaSJosh Poimboeuf 	list_for_each_entry(ops, &klp_ops, node) {
31c349cdcaSJosh Poimboeuf 		func = list_first_entry(&ops->func_stack, struct klp_func,
32c349cdcaSJosh Poimboeuf 					stack_node);
3319514910SPetr Mladek 		if (func->old_func == old_func)
34c349cdcaSJosh Poimboeuf 			return ops;
35c349cdcaSJosh Poimboeuf 	}
36c349cdcaSJosh Poimboeuf 
37c349cdcaSJosh Poimboeuf 	return NULL;
38c349cdcaSJosh Poimboeuf }
39c349cdcaSJosh Poimboeuf 
40c349cdcaSJosh Poimboeuf static void notrace klp_ftrace_handler(unsigned long ip,
41c349cdcaSJosh Poimboeuf 				       unsigned long parent_ip,
42c349cdcaSJosh Poimboeuf 				       struct ftrace_ops *fops,
43c349cdcaSJosh Poimboeuf 				       struct pt_regs *regs)
44c349cdcaSJosh Poimboeuf {
45c349cdcaSJosh Poimboeuf 	struct klp_ops *ops;
46c349cdcaSJosh Poimboeuf 	struct klp_func *func;
47d83a7cb3SJosh Poimboeuf 	int patch_state;
48c349cdcaSJosh Poimboeuf 
49c349cdcaSJosh Poimboeuf 	ops = container_of(fops, struct klp_ops, fops);
50c349cdcaSJosh Poimboeuf 
51842c0884SPetr Mladek 	/*
526932689eSPaul E. McKenney 	 * A variant of synchronize_rcu() is used to allow patching functions
53842c0884SPetr Mladek 	 * where RCU is not watching, see klp_synchronize_transition().
54842c0884SPetr Mladek 	 */
55842c0884SPetr Mladek 	preempt_disable_notrace();
56d83a7cb3SJosh Poimboeuf 
57c349cdcaSJosh Poimboeuf 	func = list_first_or_null_rcu(&ops->func_stack, struct klp_func,
58c349cdcaSJosh Poimboeuf 				      stack_node);
59d83a7cb3SJosh Poimboeuf 
60d83a7cb3SJosh Poimboeuf 	/*
61d83a7cb3SJosh Poimboeuf 	 * func should never be NULL because preemption should be disabled here
62d83a7cb3SJosh Poimboeuf 	 * and unregister_ftrace_function() does the equivalent of a
636932689eSPaul E. McKenney 	 * synchronize_rcu() before the func_stack removal.
64d83a7cb3SJosh Poimboeuf 	 */
65c349cdcaSJosh Poimboeuf 	if (WARN_ON_ONCE(!func))
66c349cdcaSJosh Poimboeuf 		goto unlock;
67c349cdcaSJosh Poimboeuf 
68d83a7cb3SJosh Poimboeuf 	/*
69d83a7cb3SJosh Poimboeuf 	 * In the enable path, enforce the order of the ops->func_stack and
70d83a7cb3SJosh Poimboeuf 	 * func->transition reads.  The corresponding write barrier is in
71d83a7cb3SJosh Poimboeuf 	 * __klp_enable_patch().
72d83a7cb3SJosh Poimboeuf 	 *
73d83a7cb3SJosh Poimboeuf 	 * (Note that this barrier technically isn't needed in the disable
74d83a7cb3SJosh Poimboeuf 	 * path.  In the rare case where klp_update_patch_state() runs before
75d83a7cb3SJosh Poimboeuf 	 * this handler, its TIF_PATCH_PENDING read and this func->transition
76d83a7cb3SJosh Poimboeuf 	 * read need to be ordered.  But klp_update_patch_state() already
77d83a7cb3SJosh Poimboeuf 	 * enforces that.)
78d83a7cb3SJosh Poimboeuf 	 */
79d83a7cb3SJosh Poimboeuf 	smp_rmb();
80d83a7cb3SJosh Poimboeuf 
81d83a7cb3SJosh Poimboeuf 	if (unlikely(func->transition)) {
82d83a7cb3SJosh Poimboeuf 
83d83a7cb3SJosh Poimboeuf 		/*
84d83a7cb3SJosh Poimboeuf 		 * Enforce the order of the func->transition and
85d83a7cb3SJosh Poimboeuf 		 * current->patch_state reads.  Otherwise we could read an
86d83a7cb3SJosh Poimboeuf 		 * out-of-date task state and pick the wrong function.  The
87d83a7cb3SJosh Poimboeuf 		 * corresponding write barrier is in klp_init_transition().
88d83a7cb3SJosh Poimboeuf 		 */
89d83a7cb3SJosh Poimboeuf 		smp_rmb();
90d83a7cb3SJosh Poimboeuf 
91d83a7cb3SJosh Poimboeuf 		patch_state = current->patch_state;
92d83a7cb3SJosh Poimboeuf 
93d83a7cb3SJosh Poimboeuf 		WARN_ON_ONCE(patch_state == KLP_UNDEFINED);
94d83a7cb3SJosh Poimboeuf 
95d83a7cb3SJosh Poimboeuf 		if (patch_state == KLP_UNPATCHED) {
96d83a7cb3SJosh Poimboeuf 			/*
97d83a7cb3SJosh Poimboeuf 			 * Use the previously patched version of the function.
98d83a7cb3SJosh Poimboeuf 			 * If no previous patches exist, continue with the
99d83a7cb3SJosh Poimboeuf 			 * original function.
100d83a7cb3SJosh Poimboeuf 			 */
101d83a7cb3SJosh Poimboeuf 			func = list_entry_rcu(func->stack_node.next,
102d83a7cb3SJosh Poimboeuf 					      struct klp_func, stack_node);
103d83a7cb3SJosh Poimboeuf 
104d83a7cb3SJosh Poimboeuf 			if (&func->stack_node == &ops->func_stack)
105d83a7cb3SJosh Poimboeuf 				goto unlock;
106d83a7cb3SJosh Poimboeuf 		}
107d83a7cb3SJosh Poimboeuf 	}
108d83a7cb3SJosh Poimboeuf 
109e1452b60SJason Baron 	/*
110e1452b60SJason Baron 	 * NOPs are used to replace existing patches with original code.
111e1452b60SJason Baron 	 * Do nothing! Setting pc would cause an infinite loop.
112e1452b60SJason Baron 	 */
113e1452b60SJason Baron 	if (func->nop)
114e1452b60SJason Baron 		goto unlock;
115e1452b60SJason Baron 
116c349cdcaSJosh Poimboeuf 	klp_arch_set_pc(regs, (unsigned long)func->new_func);
117e1452b60SJason Baron 
118c349cdcaSJosh Poimboeuf unlock:
119842c0884SPetr Mladek 	preempt_enable_notrace();
120c349cdcaSJosh Poimboeuf }
121c349cdcaSJosh Poimboeuf 
122c349cdcaSJosh Poimboeuf /*
123c349cdcaSJosh Poimboeuf  * Convert a function address into the appropriate ftrace location.
124c349cdcaSJosh Poimboeuf  *
125c349cdcaSJosh Poimboeuf  * Usually this is just the address of the function, but on some architectures
126c349cdcaSJosh Poimboeuf  * it's more complicated so allow them to provide a custom behaviour.
127c349cdcaSJosh Poimboeuf  */
128c349cdcaSJosh Poimboeuf #ifndef klp_get_ftrace_location
129c349cdcaSJosh Poimboeuf static unsigned long klp_get_ftrace_location(unsigned long faddr)
130c349cdcaSJosh Poimboeuf {
131c349cdcaSJosh Poimboeuf 	return faddr;
132c349cdcaSJosh Poimboeuf }
133c349cdcaSJosh Poimboeuf #endif
134c349cdcaSJosh Poimboeuf 
135c349cdcaSJosh Poimboeuf static void klp_unpatch_func(struct klp_func *func)
136c349cdcaSJosh Poimboeuf {
137c349cdcaSJosh Poimboeuf 	struct klp_ops *ops;
138c349cdcaSJosh Poimboeuf 
139c349cdcaSJosh Poimboeuf 	if (WARN_ON(!func->patched))
140c349cdcaSJosh Poimboeuf 		return;
14119514910SPetr Mladek 	if (WARN_ON(!func->old_func))
142c349cdcaSJosh Poimboeuf 		return;
143c349cdcaSJosh Poimboeuf 
14419514910SPetr Mladek 	ops = klp_find_ops(func->old_func);
145c349cdcaSJosh Poimboeuf 	if (WARN_ON(!ops))
146c349cdcaSJosh Poimboeuf 		return;
147c349cdcaSJosh Poimboeuf 
148c349cdcaSJosh Poimboeuf 	if (list_is_singular(&ops->func_stack)) {
149c349cdcaSJosh Poimboeuf 		unsigned long ftrace_loc;
150c349cdcaSJosh Poimboeuf 
15119514910SPetr Mladek 		ftrace_loc =
15219514910SPetr Mladek 			klp_get_ftrace_location((unsigned long)func->old_func);
153c349cdcaSJosh Poimboeuf 		if (WARN_ON(!ftrace_loc))
154c349cdcaSJosh Poimboeuf 			return;
155c349cdcaSJosh Poimboeuf 
156c349cdcaSJosh Poimboeuf 		WARN_ON(unregister_ftrace_function(&ops->fops));
157c349cdcaSJosh Poimboeuf 		WARN_ON(ftrace_set_filter_ip(&ops->fops, ftrace_loc, 1, 0));
158c349cdcaSJosh Poimboeuf 
159c349cdcaSJosh Poimboeuf 		list_del_rcu(&func->stack_node);
160c349cdcaSJosh Poimboeuf 		list_del(&ops->node);
161c349cdcaSJosh Poimboeuf 		kfree(ops);
162c349cdcaSJosh Poimboeuf 	} else {
163c349cdcaSJosh Poimboeuf 		list_del_rcu(&func->stack_node);
164c349cdcaSJosh Poimboeuf 	}
165c349cdcaSJosh Poimboeuf 
166c349cdcaSJosh Poimboeuf 	func->patched = false;
167c349cdcaSJosh Poimboeuf }
168c349cdcaSJosh Poimboeuf 
169c349cdcaSJosh Poimboeuf static int klp_patch_func(struct klp_func *func)
170c349cdcaSJosh Poimboeuf {
171c349cdcaSJosh Poimboeuf 	struct klp_ops *ops;
172c349cdcaSJosh Poimboeuf 	int ret;
173c349cdcaSJosh Poimboeuf 
17419514910SPetr Mladek 	if (WARN_ON(!func->old_func))
175c349cdcaSJosh Poimboeuf 		return -EINVAL;
176c349cdcaSJosh Poimboeuf 
177c349cdcaSJosh Poimboeuf 	if (WARN_ON(func->patched))
178c349cdcaSJosh Poimboeuf 		return -EINVAL;
179c349cdcaSJosh Poimboeuf 
18019514910SPetr Mladek 	ops = klp_find_ops(func->old_func);
181c349cdcaSJosh Poimboeuf 	if (!ops) {
182c349cdcaSJosh Poimboeuf 		unsigned long ftrace_loc;
183c349cdcaSJosh Poimboeuf 
18419514910SPetr Mladek 		ftrace_loc =
18519514910SPetr Mladek 			klp_get_ftrace_location((unsigned long)func->old_func);
186c349cdcaSJosh Poimboeuf 		if (!ftrace_loc) {
187c349cdcaSJosh Poimboeuf 			pr_err("failed to find location for function '%s'\n",
188c349cdcaSJosh Poimboeuf 				func->old_name);
189c349cdcaSJosh Poimboeuf 			return -EINVAL;
190c349cdcaSJosh Poimboeuf 		}
191c349cdcaSJosh Poimboeuf 
192c349cdcaSJosh Poimboeuf 		ops = kzalloc(sizeof(*ops), GFP_KERNEL);
193c349cdcaSJosh Poimboeuf 		if (!ops)
194c349cdcaSJosh Poimboeuf 			return -ENOMEM;
195c349cdcaSJosh Poimboeuf 
196c349cdcaSJosh Poimboeuf 		ops->fops.func = klp_ftrace_handler;
197c349cdcaSJosh Poimboeuf 		ops->fops.flags = FTRACE_OPS_FL_SAVE_REGS |
198c349cdcaSJosh Poimboeuf 				  FTRACE_OPS_FL_DYNAMIC |
199c349cdcaSJosh Poimboeuf 				  FTRACE_OPS_FL_IPMODIFY;
200c349cdcaSJosh Poimboeuf 
201c349cdcaSJosh Poimboeuf 		list_add(&ops->node, &klp_ops);
202c349cdcaSJosh Poimboeuf 
203c349cdcaSJosh Poimboeuf 		INIT_LIST_HEAD(&ops->func_stack);
204c349cdcaSJosh Poimboeuf 		list_add_rcu(&func->stack_node, &ops->func_stack);
205c349cdcaSJosh Poimboeuf 
206c349cdcaSJosh Poimboeuf 		ret = ftrace_set_filter_ip(&ops->fops, ftrace_loc, 0, 0);
207c349cdcaSJosh Poimboeuf 		if (ret) {
208c349cdcaSJosh Poimboeuf 			pr_err("failed to set ftrace filter for function '%s' (%d)\n",
209c349cdcaSJosh Poimboeuf 			       func->old_name, ret);
210c349cdcaSJosh Poimboeuf 			goto err;
211c349cdcaSJosh Poimboeuf 		}
212c349cdcaSJosh Poimboeuf 
213c349cdcaSJosh Poimboeuf 		ret = register_ftrace_function(&ops->fops);
214c349cdcaSJosh Poimboeuf 		if (ret) {
215c349cdcaSJosh Poimboeuf 			pr_err("failed to register ftrace handler for function '%s' (%d)\n",
216c349cdcaSJosh Poimboeuf 			       func->old_name, ret);
217c349cdcaSJosh Poimboeuf 			ftrace_set_filter_ip(&ops->fops, ftrace_loc, 1, 0);
218c349cdcaSJosh Poimboeuf 			goto err;
219c349cdcaSJosh Poimboeuf 		}
220c349cdcaSJosh Poimboeuf 
221c349cdcaSJosh Poimboeuf 
222c349cdcaSJosh Poimboeuf 	} else {
223c349cdcaSJosh Poimboeuf 		list_add_rcu(&func->stack_node, &ops->func_stack);
224c349cdcaSJosh Poimboeuf 	}
225c349cdcaSJosh Poimboeuf 
226c349cdcaSJosh Poimboeuf 	func->patched = true;
227c349cdcaSJosh Poimboeuf 
228c349cdcaSJosh Poimboeuf 	return 0;
229c349cdcaSJosh Poimboeuf 
230c349cdcaSJosh Poimboeuf err:
231c349cdcaSJosh Poimboeuf 	list_del_rcu(&func->stack_node);
232c349cdcaSJosh Poimboeuf 	list_del(&ops->node);
233c349cdcaSJosh Poimboeuf 	kfree(ops);
234c349cdcaSJosh Poimboeuf 	return ret;
235c349cdcaSJosh Poimboeuf }
236c349cdcaSJosh Poimboeuf 
237d697bad5SPetr Mladek static void __klp_unpatch_object(struct klp_object *obj, bool nops_only)
238c349cdcaSJosh Poimboeuf {
239c349cdcaSJosh Poimboeuf 	struct klp_func *func;
240c349cdcaSJosh Poimboeuf 
241d697bad5SPetr Mladek 	klp_for_each_func(obj, func) {
242d697bad5SPetr Mladek 		if (nops_only && !func->nop)
243d697bad5SPetr Mladek 			continue;
244d697bad5SPetr Mladek 
245c349cdcaSJosh Poimboeuf 		if (func->patched)
246c349cdcaSJosh Poimboeuf 			klp_unpatch_func(func);
247d697bad5SPetr Mladek 	}
248c349cdcaSJosh Poimboeuf 
249d697bad5SPetr Mladek 	if (obj->dynamic || !nops_only)
250c349cdcaSJosh Poimboeuf 		obj->patched = false;
251c349cdcaSJosh Poimboeuf }
252c349cdcaSJosh Poimboeuf 
253d697bad5SPetr Mladek 
254d697bad5SPetr Mladek void klp_unpatch_object(struct klp_object *obj)
255d697bad5SPetr Mladek {
256d697bad5SPetr Mladek 	__klp_unpatch_object(obj, false);
257d697bad5SPetr Mladek }
258d697bad5SPetr Mladek 
259c349cdcaSJosh Poimboeuf int klp_patch_object(struct klp_object *obj)
260c349cdcaSJosh Poimboeuf {
261c349cdcaSJosh Poimboeuf 	struct klp_func *func;
262c349cdcaSJosh Poimboeuf 	int ret;
263c349cdcaSJosh Poimboeuf 
264c349cdcaSJosh Poimboeuf 	if (WARN_ON(obj->patched))
265c349cdcaSJosh Poimboeuf 		return -EINVAL;
266c349cdcaSJosh Poimboeuf 
267c349cdcaSJosh Poimboeuf 	klp_for_each_func(obj, func) {
268c349cdcaSJosh Poimboeuf 		ret = klp_patch_func(func);
269c349cdcaSJosh Poimboeuf 		if (ret) {
270c349cdcaSJosh Poimboeuf 			klp_unpatch_object(obj);
271c349cdcaSJosh Poimboeuf 			return ret;
272c349cdcaSJosh Poimboeuf 		}
273c349cdcaSJosh Poimboeuf 	}
274c349cdcaSJosh Poimboeuf 	obj->patched = true;
275c349cdcaSJosh Poimboeuf 
276c349cdcaSJosh Poimboeuf 	return 0;
277c349cdcaSJosh Poimboeuf }
278d83a7cb3SJosh Poimboeuf 
279d697bad5SPetr Mladek static void __klp_unpatch_objects(struct klp_patch *patch, bool nops_only)
280d83a7cb3SJosh Poimboeuf {
281d83a7cb3SJosh Poimboeuf 	struct klp_object *obj;
282d83a7cb3SJosh Poimboeuf 
283d83a7cb3SJosh Poimboeuf 	klp_for_each_object(patch, obj)
284d83a7cb3SJosh Poimboeuf 		if (obj->patched)
285d697bad5SPetr Mladek 			__klp_unpatch_object(obj, nops_only);
286d697bad5SPetr Mladek }
287d697bad5SPetr Mladek 
288d697bad5SPetr Mladek void klp_unpatch_objects(struct klp_patch *patch)
289d697bad5SPetr Mladek {
290d697bad5SPetr Mladek 	__klp_unpatch_objects(patch, false);
291d697bad5SPetr Mladek }
292d697bad5SPetr Mladek 
293d697bad5SPetr Mladek void klp_unpatch_objects_dynamic(struct klp_patch *patch)
294d697bad5SPetr Mladek {
295d697bad5SPetr Mladek 	__klp_unpatch_objects(patch, true);
296d83a7cb3SJosh Poimboeuf }
297