1 /* SPDX-License-Identifier: GPL-2.0 */
8  * Copyright (C) 2009-2012 Jason Baron <jbaron@redhat.com>
9  * Copyright (C) 2011-2012 Red Hat, Inc., Peter Zijlstra
23  * DEFINE_STATIC_KEY_TRUE(key);
24  * DEFINE_STATIC_KEY_FALSE(key);
31  * self-modifying code. Assuming toolchain and architecture support, if we
32  * define a "key" that is initially false via "DEFINE_STATIC_KEY_FALSE(key)",
33  * an "if (static_branch_unlikely(&key))" statement is an unconditional branch
34  * (which defaults to false - and the true block is placed out of line).
35  * Similarly, we can define an initially true key via
36  * "DEFINE_STATIC_KEY_TRUE(key)", and use it in the same
37  * "if (static_branch_unlikely(&key))", in which case we will generate an
38  * unconditional branch to the out-of-line true branch. Keys that are
42  * At runtime we can change the branch target by setting the key
45  * these calls then we run-time modify the branch target via a
46  * no-op -> jump or jump -> no-op conversion. For example, for an
47  * initially false key that is used in an "if (static_branch_unlikely(&key))"
48  * statement, setting the key to true requires us to patch in a jump
49  * to the out-of-line of true branch.
52  * the key or branch direction via static_branch_{inc,dec}. Thus,
56  * Since this relies on modifying code, the branch modifying functions
61  * to the out-of-line block.
64  * decrement to avoid high frequency code modifications which can (and do)
71  * Additional babbling in: Documentation/staging/static-keys.rst
81 #define STATIC_KEY_CHECK_USE(key) WARN(!static_key_initialized,		      \  argument
82 				    "%s(): static key '%pS' used before call to jump_label_init()", \
83 				    __func__, (key))
97  * bit 0 => 1 if key is initially true
123 	s32 code;  member
125 	long key;	// key may be far away from the core kernel under KASLR  member
130 	return (unsigned long)&entry->code + entry->code;  in jump_entry_code()
135 	return (unsigned long)&entry->target + entry->target;  in jump_entry_target()
140 	long offset = entry->key & ~3L;  in jump_entry_key()
142 	return (struct static_key *)((unsigned long)&entry->key + offset);  in jump_entry_key()
149 	return entry->code;  in jump_entry_code()
154 	return entry->target;  in jump_entry_target()
159 	return (struct static_key *)((unsigned long)entry->key & ~3UL);  in jump_entry_key()
166 	return (unsigned long)entry->key & 1UL;  in jump_entry_is_branch()
171 	return (unsigned long)entry->key & 2UL;  in jump_entry_is_init()
176 	entry->key |= 2;  in jump_entry_set_init()
198 static __always_inline bool static_key_false(struct static_key *key)  in static_key_false()  argument
200 	return arch_static_branch(key, false);  in static_key_false()
203 static __always_inline bool static_key_true(struct static_key *key)  in static_key_true()  argument
205 	return !arch_static_branch(key, true);  in static_key_true()
222 extern void static_key_slow_inc(struct static_key *key);
223 extern void static_key_slow_dec(struct static_key *key);
224 extern void static_key_slow_inc_cpuslocked(struct static_key *key);
225 extern void static_key_slow_dec_cpuslocked(struct static_key *key);
227 extern int static_key_count(struct static_key *key);
228 extern void static_key_enable(struct static_key *key);
229 extern void static_key_disable(struct static_key *key);
230 extern void static_key_enable_cpuslocked(struct static_key *key);
231 extern void static_key_disable_cpuslocked(struct static_key *key);
236  * in 'low-level' headers. Thus, we are initializing .enabled with a
252 static inline int static_key_count(struct static_key *key)  in static_key_count()  argument
254 	return atomic_read(&key->enabled);  in static_key_count()
262 static __always_inline bool static_key_false(struct static_key *key)  in static_key_false()  argument
264 	if (unlikely(static_key_count(key) > 0))  in static_key_false()
269 static __always_inline bool static_key_true(struct static_key *key)  in static_key_true()  argument
271 	if (likely(static_key_count(key) > 0))  in static_key_true()
276 static inline void static_key_slow_inc(struct static_key *key)  in static_key_slow_inc()  argument
278 	STATIC_KEY_CHECK_USE(key);  in static_key_slow_inc()
279 	atomic_inc(&key->enabled);  in static_key_slow_inc()
282 static inline void static_key_slow_dec(struct static_key *key)  in static_key_slow_dec()  argument
284 	STATIC_KEY_CHECK_USE(key);  in static_key_slow_dec()
285 	atomic_dec(&key->enabled);  in static_key_slow_dec()
288 #define static_key_slow_inc_cpuslocked(key) static_key_slow_inc(key)  argument
289 #define static_key_slow_dec_cpuslocked(key) static_key_slow_dec(key)  argument
304 static inline void static_key_enable(struct static_key *key)  in static_key_enable()  argument
306 	STATIC_KEY_CHECK_USE(key);  in static_key_enable()
308 	if (atomic_read(&key->enabled) != 0) {  in static_key_enable()
309 		WARN_ON_ONCE(atomic_read(&key->enabled) != 1);  in static_key_enable()
312 	atomic_set(&key->enabled, 1);  in static_key_enable()
315 static inline void static_key_disable(struct static_key *key)  in static_key_disable()  argument
317 	STATIC_KEY_CHECK_USE(key);  in static_key_disable()
319 	if (atomic_read(&key->enabled) != 1) {  in static_key_disable()
320 		WARN_ON_ONCE(atomic_read(&key->enabled) != 0);  in static_key_disable()
323 	atomic_set(&key->enabled, 0);  in static_key_disable()
337 /* -------------------------------------------------------------------------- */
341  * type differentiation to emit the right code.
343  * All the below code is macros in order to play type games.
347 	struct static_key key;  member
351 	struct static_key key;  member
354 #define STATIC_KEY_TRUE_INIT  (struct static_key_true) { .key = STATIC_KEY_INIT_TRUE,  }
355 #define STATIC_KEY_FALSE_INIT (struct static_key_false){ .key = STATIC_KEY_INIT_FALSE, }
377 		[0 ... (count) - 1] = STATIC_KEY_TRUE_INIT,	\
382 		[0 ... (count) - 1] = STATIC_KEY_FALSE_INIT,	\
404  * -----------+-----------------------+------------------
408  *            |    <br-stmts>	      |	1: ...
411  *            |			      |	L: <br-stmts>
414  * -----------+-----------------------+------------------
418  *            |    <br-stmts>	      |	1: ...
421  *            |			      |	L: <br-stmts>
424  * -----------+-----------------------+------------------
429  * The branch type is encoded in the LSB of jump_entry::key,
435  * -----------------------------+-----------
458 		branch = !arch_static_branch(&(x)->key, true);			\
460 		branch = !arch_static_branch_jump(&(x)->key, true);		\
470 		branch = arch_static_branch_jump(&(x)->key, false);		\
472 		branch = arch_static_branch(&(x)->key, false);			\
480 #define static_branch_likely(x)		likely(static_key_enabled(&(x)->key))
481 #define static_branch_unlikely(x)	unlikely(static_key_enabled(&(x)->key))
489 #define static_branch_inc(x)		static_key_slow_inc(&(x)->key)
490 #define static_branch_dec(x)		static_key_slow_dec(&(x)->key)
491 #define static_branch_inc_cpuslocked(x)	static_key_slow_inc_cpuslocked(&(x)->key)
492 #define static_branch_dec_cpuslocked(x)	static_key_slow_dec_cpuslocked(&(x)->key)
498 #define static_branch_enable(x)			static_key_enable(&(x)->key)
499 #define static_branch_disable(x)		static_key_disable(&(x)->key)
500 #define static_branch_enable_cpuslocked(x)	static_key_enable_cpuslocked(&(x)->key)
501 #define static_branch_disable_cpuslocked(x)	static_key_disable_cpuslocked(&(x)->key)