1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _LINUX_STATIC_CALL_H
3 #define _LINUX_STATIC_CALL_H
8 * Static calls use code patching to hard-code function pointers into direct
9 * branch instructions. They give the flexibility of function pointers, but
10 * with improved performance. This is especially important for cases where
11 * retpolines would otherwise be used, as retpolines can significantly impact
17 * DECLARE_STATIC_CALL(name, func);
18 * DEFINE_STATIC_CALL(name, func);
19 * DEFINE_STATIC_CALL_NULL(name, typename);
20 * DEFINE_STATIC_CALL_RET0(name, typename);
22 * __static_call_return0;
24 * static_call(name)(args...);
25 * static_call_cond(name)(args...);
26 * static_call_update(name, func);
27 * static_call_query(name);
29 * EXPORT_STATIC_CALL{,_TRAMP}{,_GPL}()
33 * # Start with the following functions (with identical prototypes):
34 * int func_a(int arg1, int arg2);
35 * int func_b(int arg1, int arg2);
37 * # Define a 'my_name' reference, associated with func_a() by default
38 * DEFINE_STATIC_CALL(my_name, func_a);
41 * static_call(my_name)(arg1, arg2);
43 * # Update 'my_name' to point to func_b()
44 * static_call_update(my_name, &func_b);
47 * static_call(my_name)(arg1, arg2);
50 * Implementation details:
52 * This requires some arch-specific code (CONFIG_HAVE_STATIC_CALL).
53 * Otherwise basic indirect calls are used (with function pointers).
55 * Each static_call() site calls into a trampoline associated with the name.
56 * The trampoline has a direct branch to the default function. Updates to a
57 * name will modify the trampoline's branch destination.
59 * If the arch has CONFIG_HAVE_STATIC_CALL_INLINE, then the call sites
60 * themselves will be patched at runtime to call the functions directly,
61 * rather than calling through the trampoline. This requires objtool or a
62 * compiler plugin to detect all the static_call() sites and annotate them
63 * in the .static_call_sites section.
66 * Notes on NULL function pointers:
68 * Static_call()s support NULL functions, with many of the caveats that
69 * regular function pointers have.
71 * Clearly calling a NULL function pointer is 'BAD', so too for
72 * static_call()s (although when HAVE_STATIC_CALL it might not be immediately
73 * fatal). A NULL static_call can be the result of:
75 * DECLARE_STATIC_CALL_NULL(my_static_call, void (*)(int));
77 * which is equivalent to declaring a NULL function pointer with just a
80 * void (*my_func_ptr)(int arg1) = NULL;
82 * or using static_call_update() with a NULL function. In both cases the
83 * HAVE_STATIC_CALL implementation will patch the trampoline with a RET
84 * instruction, instead of an immediate tail-call JMP. HAVE_STATIC_CALL_INLINE
85 * architectures can patch the trampoline call to a NOP.
87 * In all cases, any argument evaluation is unconditional. Unlike a regular
88 * conditional function pointer call:
93 * where the argument evaludation also depends on the pointer value.
95 * When calling a static_call that can be NULL, use:
97 * static_call_cond(name)(arg1);
99 * which will include the required value tests to avoid NULL-pointer
102 * To query which function is currently set to be called, use:
104 * func = static_call_query(name);
107 * DEFINE_STATIC_CALL_RET0 / __static_call_return0:
109 * Just like how DEFINE_STATIC_CALL_NULL() / static_call_cond() optimize the
110 * conditional void function call, DEFINE_STATIC_CALL_RET0 /
111 * __static_call_return0 optimize the do nothing return 0 function.
113 * This feature is strictly UB per the C standard (since it casts a function
114 * pointer to a different signature) and relies on the architecture ABI to
115 * make things work. In particular it relies on Caller Stack-cleanup and the
116 * whole return register being clobbered for short return values. All normal
117 * CDECL style ABIs conform.
119 * In particular the x86_64 implementation replaces the 5 byte CALL
120 * instruction at the callsite with a 5 byte clear of the RAX register,
121 * completely eliding any function call overhead.
123 * Notably argument setup is unconditional.
126 * EXPORT_STATIC_CALL() vs EXPORT_STATIC_CALL_TRAMP():
128 * The difference is that the _TRAMP variant tries to only export the
129 * trampoline with the result that a module can use static_call{,_cond}() but
130 * not static_call_update().
134 #include <linux/types.h>
135 #include <linux/cpu.h>
136 #include <linux/static_call_types.h>
138 #ifdef CONFIG_HAVE_STATIC_CALL
139 #include <asm/static_call.h>
142 * Either @site or @tramp can be NULL.
144 extern void arch_static_call_transform(void *site, void *tramp, void *func, bool tail);
146 #define STATIC_CALL_TRAMP_ADDR(name) &STATIC_CALL_TRAMP(name)
149 #define STATIC_CALL_TRAMP_ADDR(name) NULL
152 #define static_call_update(name, func) \
154 typeof(&STATIC_CALL_TRAMP(name)) __F = (func); \
155 __static_call_update(&STATIC_CALL_KEY(name), \
156 STATIC_CALL_TRAMP_ADDR(name), __F); \
159 #define static_call_query(name) (READ_ONCE(STATIC_CALL_KEY(name).func))
161 #ifdef CONFIG_HAVE_STATIC_CALL_INLINE
163 extern int __init static_call_init(void);
165 extern void static_call_force_reinit(void);
167 struct static_call_mod {
168 struct static_call_mod *next;
169 struct module *mod; /* for vmlinux, mod == NULL */
170 struct static_call_site *sites;
173 /* For finding the key associated with a trampoline */
174 struct static_call_tramp_key {
179 extern void __static_call_update(struct static_call_key *key, void *tramp, void *func);
180 extern int static_call_mod_init(struct module *mod);
181 extern int static_call_text_reserved(void *start, void *end);
183 extern long __static_call_return0(void);
185 #define DEFINE_STATIC_CALL(name, _func) \
186 DECLARE_STATIC_CALL(name, _func); \
187 struct static_call_key STATIC_CALL_KEY(name) = { \
191 ARCH_DEFINE_STATIC_CALL_TRAMP(name, _func)
193 #define DEFINE_STATIC_CALL_NULL(name, _func) \
194 DECLARE_STATIC_CALL(name, _func); \
195 struct static_call_key STATIC_CALL_KEY(name) = { \
199 ARCH_DEFINE_STATIC_CALL_NULL_TRAMP(name)
201 #define DEFINE_STATIC_CALL_RET0(name, _func) \
202 DECLARE_STATIC_CALL(name, _func); \
203 struct static_call_key STATIC_CALL_KEY(name) = { \
204 .func = __static_call_return0, \
207 ARCH_DEFINE_STATIC_CALL_RET0_TRAMP(name)
209 #define static_call_cond(name) (void)__static_call(name)
211 #define EXPORT_STATIC_CALL(name) \
212 EXPORT_SYMBOL(STATIC_CALL_KEY(name)); \
213 EXPORT_SYMBOL(STATIC_CALL_TRAMP(name))
214 #define EXPORT_STATIC_CALL_GPL(name) \
215 EXPORT_SYMBOL_GPL(STATIC_CALL_KEY(name)); \
216 EXPORT_SYMBOL_GPL(STATIC_CALL_TRAMP(name))
218 /* Leave the key unexported, so modules can't change static call targets: */
219 #define EXPORT_STATIC_CALL_TRAMP(name) \
220 EXPORT_SYMBOL(STATIC_CALL_TRAMP(name)); \
221 ARCH_ADD_TRAMP_KEY(name)
222 #define EXPORT_STATIC_CALL_TRAMP_GPL(name) \
223 EXPORT_SYMBOL_GPL(STATIC_CALL_TRAMP(name)); \
224 ARCH_ADD_TRAMP_KEY(name)
226 #elif defined(CONFIG_HAVE_STATIC_CALL)
228 static inline int static_call_init(void) { return 0; }
230 #define DEFINE_STATIC_CALL(name, _func) \
231 DECLARE_STATIC_CALL(name, _func); \
232 struct static_call_key STATIC_CALL_KEY(name) = { \
235 ARCH_DEFINE_STATIC_CALL_TRAMP(name, _func)
237 #define DEFINE_STATIC_CALL_NULL(name, _func) \
238 DECLARE_STATIC_CALL(name, _func); \
239 struct static_call_key STATIC_CALL_KEY(name) = { \
242 ARCH_DEFINE_STATIC_CALL_NULL_TRAMP(name)
244 #define DEFINE_STATIC_CALL_RET0(name, _func) \
245 DECLARE_STATIC_CALL(name, _func); \
246 struct static_call_key STATIC_CALL_KEY(name) = { \
247 .func = __static_call_return0, \
249 ARCH_DEFINE_STATIC_CALL_RET0_TRAMP(name)
251 #define static_call_cond(name) (void)__static_call(name)
254 void __static_call_update(struct static_call_key *key, void *tramp, void *func)
257 WRITE_ONCE(key->func, func);
258 arch_static_call_transform(NULL, tramp, func, false);
262 static inline int static_call_text_reserved(void *start, void *end)
267 extern long __static_call_return0(void);
269 #define EXPORT_STATIC_CALL(name) \
270 EXPORT_SYMBOL(STATIC_CALL_KEY(name)); \
271 EXPORT_SYMBOL(STATIC_CALL_TRAMP(name))
272 #define EXPORT_STATIC_CALL_GPL(name) \
273 EXPORT_SYMBOL_GPL(STATIC_CALL_KEY(name)); \
274 EXPORT_SYMBOL_GPL(STATIC_CALL_TRAMP(name))
276 /* Leave the key unexported, so modules can't change static call targets: */
277 #define EXPORT_STATIC_CALL_TRAMP(name) \
278 EXPORT_SYMBOL(STATIC_CALL_TRAMP(name))
279 #define EXPORT_STATIC_CALL_TRAMP_GPL(name) \
280 EXPORT_SYMBOL_GPL(STATIC_CALL_TRAMP(name))
282 #else /* Generic implementation */
284 static inline int static_call_init(void) { return 0; }
286 static inline long __static_call_return0(void)
291 #define __DEFINE_STATIC_CALL(name, _func, _func_init) \
292 DECLARE_STATIC_CALL(name, _func); \
293 struct static_call_key STATIC_CALL_KEY(name) = { \
294 .func = _func_init, \
297 #define DEFINE_STATIC_CALL(name, _func) \
298 __DEFINE_STATIC_CALL(name, _func, _func)
300 #define DEFINE_STATIC_CALL_NULL(name, _func) \
301 __DEFINE_STATIC_CALL(name, _func, NULL)
303 #define DEFINE_STATIC_CALL_RET0(name, _func) \
304 __DEFINE_STATIC_CALL(name, _func, __static_call_return0)
306 static inline void __static_call_nop(void) { }
309 * This horrific hack takes care of two things:
311 * - it ensures the compiler will only load the function pointer ONCE,
312 * which avoids a reload race.
314 * - it ensures the argument evaluation is unconditional, similar
315 * to the HAVE_STATIC_CALL variant.
317 * Sadly current GCC/Clang (10 for both) do not optimize this properly
318 * and will emit an indirect call for the NULL case :-(
320 #define __static_call_cond(name) \
322 void *func = READ_ONCE(STATIC_CALL_KEY(name).func); \
324 func = &__static_call_nop; \
325 (typeof(STATIC_CALL_TRAMP(name))*)func; \
328 #define static_call_cond(name) (void)__static_call_cond(name)
331 void __static_call_update(struct static_call_key *key, void *tramp, void *func)
333 WRITE_ONCE(key->func, func);
336 static inline int static_call_text_reserved(void *start, void *end)
341 #define EXPORT_STATIC_CALL(name) EXPORT_SYMBOL(STATIC_CALL_KEY(name))
342 #define EXPORT_STATIC_CALL_GPL(name) EXPORT_SYMBOL_GPL(STATIC_CALL_KEY(name))
344 #endif /* CONFIG_HAVE_STATIC_CALL */
346 #endif /* _LINUX_STATIC_CALL_H */