1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0-only
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun * Kernel module for testing static keys.
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun * Copyright 2015 Akamai Technologies Inc. All Rights Reserved
6*4882a593Smuzhiyun *
7*4882a593Smuzhiyun * Authors:
8*4882a593Smuzhiyun * Jason Baron <jbaron@akamai.com>
9*4882a593Smuzhiyun */
10*4882a593Smuzhiyun
11*4882a593Smuzhiyun #include <linux/module.h>
12*4882a593Smuzhiyun #include <linux/jump_label.h>
13*4882a593Smuzhiyun
14*4882a593Smuzhiyun /* old keys */
15*4882a593Smuzhiyun struct static_key old_true_key = STATIC_KEY_INIT_TRUE;
16*4882a593Smuzhiyun struct static_key old_false_key = STATIC_KEY_INIT_FALSE;
17*4882a593Smuzhiyun
18*4882a593Smuzhiyun /* new api */
19*4882a593Smuzhiyun DEFINE_STATIC_KEY_TRUE(true_key);
20*4882a593Smuzhiyun DEFINE_STATIC_KEY_FALSE(false_key);
21*4882a593Smuzhiyun
22*4882a593Smuzhiyun /* external */
23*4882a593Smuzhiyun extern struct static_key base_old_true_key;
24*4882a593Smuzhiyun extern struct static_key base_inv_old_true_key;
25*4882a593Smuzhiyun extern struct static_key base_old_false_key;
26*4882a593Smuzhiyun extern struct static_key base_inv_old_false_key;
27*4882a593Smuzhiyun
28*4882a593Smuzhiyun /* new api */
29*4882a593Smuzhiyun extern struct static_key_true base_true_key;
30*4882a593Smuzhiyun extern struct static_key_true base_inv_true_key;
31*4882a593Smuzhiyun extern struct static_key_false base_false_key;
32*4882a593Smuzhiyun extern struct static_key_false base_inv_false_key;
33*4882a593Smuzhiyun
34*4882a593Smuzhiyun
35*4882a593Smuzhiyun struct test_key {
36*4882a593Smuzhiyun bool init_state;
37*4882a593Smuzhiyun struct static_key *key;
38*4882a593Smuzhiyun bool (*test_key)(void);
39*4882a593Smuzhiyun };
40*4882a593Smuzhiyun
41*4882a593Smuzhiyun #define test_key_func(key, branch) \
42*4882a593Smuzhiyun static bool key ## _ ## branch(void) \
43*4882a593Smuzhiyun { \
44*4882a593Smuzhiyun return branch(&key); \
45*4882a593Smuzhiyun }
46*4882a593Smuzhiyun
invert_key(struct static_key * key)47*4882a593Smuzhiyun static void invert_key(struct static_key *key)
48*4882a593Smuzhiyun {
49*4882a593Smuzhiyun if (static_key_enabled(key))
50*4882a593Smuzhiyun static_key_disable(key);
51*4882a593Smuzhiyun else
52*4882a593Smuzhiyun static_key_enable(key);
53*4882a593Smuzhiyun }
54*4882a593Smuzhiyun
invert_keys(struct test_key * keys,int size)55*4882a593Smuzhiyun static void invert_keys(struct test_key *keys, int size)
56*4882a593Smuzhiyun {
57*4882a593Smuzhiyun struct static_key *previous = NULL;
58*4882a593Smuzhiyun int i;
59*4882a593Smuzhiyun
60*4882a593Smuzhiyun for (i = 0; i < size; i++) {
61*4882a593Smuzhiyun if (previous != keys[i].key) {
62*4882a593Smuzhiyun invert_key(keys[i].key);
63*4882a593Smuzhiyun previous = keys[i].key;
64*4882a593Smuzhiyun }
65*4882a593Smuzhiyun }
66*4882a593Smuzhiyun }
67*4882a593Smuzhiyun
verify_keys(struct test_key * keys,int size,bool invert)68*4882a593Smuzhiyun static int verify_keys(struct test_key *keys, int size, bool invert)
69*4882a593Smuzhiyun {
70*4882a593Smuzhiyun int i;
71*4882a593Smuzhiyun bool ret, init;
72*4882a593Smuzhiyun
73*4882a593Smuzhiyun for (i = 0; i < size; i++) {
74*4882a593Smuzhiyun ret = static_key_enabled(keys[i].key);
75*4882a593Smuzhiyun init = keys[i].init_state;
76*4882a593Smuzhiyun if (ret != (invert ? !init : init))
77*4882a593Smuzhiyun return -EINVAL;
78*4882a593Smuzhiyun ret = keys[i].test_key();
79*4882a593Smuzhiyun if (static_key_enabled(keys[i].key)) {
80*4882a593Smuzhiyun if (!ret)
81*4882a593Smuzhiyun return -EINVAL;
82*4882a593Smuzhiyun } else {
83*4882a593Smuzhiyun if (ret)
84*4882a593Smuzhiyun return -EINVAL;
85*4882a593Smuzhiyun }
86*4882a593Smuzhiyun }
87*4882a593Smuzhiyun return 0;
88*4882a593Smuzhiyun }
89*4882a593Smuzhiyun
test_key_func(old_true_key,static_key_true)90*4882a593Smuzhiyun test_key_func(old_true_key, static_key_true)
91*4882a593Smuzhiyun test_key_func(old_false_key, static_key_false)
92*4882a593Smuzhiyun test_key_func(true_key, static_branch_likely)
93*4882a593Smuzhiyun test_key_func(true_key, static_branch_unlikely)
94*4882a593Smuzhiyun test_key_func(false_key, static_branch_likely)
95*4882a593Smuzhiyun test_key_func(false_key, static_branch_unlikely)
96*4882a593Smuzhiyun test_key_func(base_old_true_key, static_key_true)
97*4882a593Smuzhiyun test_key_func(base_inv_old_true_key, static_key_true)
98*4882a593Smuzhiyun test_key_func(base_old_false_key, static_key_false)
99*4882a593Smuzhiyun test_key_func(base_inv_old_false_key, static_key_false)
100*4882a593Smuzhiyun test_key_func(base_true_key, static_branch_likely)
101*4882a593Smuzhiyun test_key_func(base_true_key, static_branch_unlikely)
102*4882a593Smuzhiyun test_key_func(base_inv_true_key, static_branch_likely)
103*4882a593Smuzhiyun test_key_func(base_inv_true_key, static_branch_unlikely)
104*4882a593Smuzhiyun test_key_func(base_false_key, static_branch_likely)
105*4882a593Smuzhiyun test_key_func(base_false_key, static_branch_unlikely)
106*4882a593Smuzhiyun test_key_func(base_inv_false_key, static_branch_likely)
107*4882a593Smuzhiyun test_key_func(base_inv_false_key, static_branch_unlikely)
108*4882a593Smuzhiyun
109*4882a593Smuzhiyun static int __init test_static_key_init(void)
110*4882a593Smuzhiyun {
111*4882a593Smuzhiyun int ret;
112*4882a593Smuzhiyun int size;
113*4882a593Smuzhiyun
114*4882a593Smuzhiyun struct test_key static_key_tests[] = {
115*4882a593Smuzhiyun /* internal keys - old keys */
116*4882a593Smuzhiyun {
117*4882a593Smuzhiyun .init_state = true,
118*4882a593Smuzhiyun .key = &old_true_key,
119*4882a593Smuzhiyun .test_key = &old_true_key_static_key_true,
120*4882a593Smuzhiyun },
121*4882a593Smuzhiyun {
122*4882a593Smuzhiyun .init_state = false,
123*4882a593Smuzhiyun .key = &old_false_key,
124*4882a593Smuzhiyun .test_key = &old_false_key_static_key_false,
125*4882a593Smuzhiyun },
126*4882a593Smuzhiyun /* internal keys - new keys */
127*4882a593Smuzhiyun {
128*4882a593Smuzhiyun .init_state = true,
129*4882a593Smuzhiyun .key = &true_key.key,
130*4882a593Smuzhiyun .test_key = &true_key_static_branch_likely,
131*4882a593Smuzhiyun },
132*4882a593Smuzhiyun {
133*4882a593Smuzhiyun .init_state = true,
134*4882a593Smuzhiyun .key = &true_key.key,
135*4882a593Smuzhiyun .test_key = &true_key_static_branch_unlikely,
136*4882a593Smuzhiyun },
137*4882a593Smuzhiyun {
138*4882a593Smuzhiyun .init_state = false,
139*4882a593Smuzhiyun .key = &false_key.key,
140*4882a593Smuzhiyun .test_key = &false_key_static_branch_likely,
141*4882a593Smuzhiyun },
142*4882a593Smuzhiyun {
143*4882a593Smuzhiyun .init_state = false,
144*4882a593Smuzhiyun .key = &false_key.key,
145*4882a593Smuzhiyun .test_key = &false_key_static_branch_unlikely,
146*4882a593Smuzhiyun },
147*4882a593Smuzhiyun /* external keys - old keys */
148*4882a593Smuzhiyun {
149*4882a593Smuzhiyun .init_state = true,
150*4882a593Smuzhiyun .key = &base_old_true_key,
151*4882a593Smuzhiyun .test_key = &base_old_true_key_static_key_true,
152*4882a593Smuzhiyun },
153*4882a593Smuzhiyun {
154*4882a593Smuzhiyun .init_state = false,
155*4882a593Smuzhiyun .key = &base_inv_old_true_key,
156*4882a593Smuzhiyun .test_key = &base_inv_old_true_key_static_key_true,
157*4882a593Smuzhiyun },
158*4882a593Smuzhiyun {
159*4882a593Smuzhiyun .init_state = false,
160*4882a593Smuzhiyun .key = &base_old_false_key,
161*4882a593Smuzhiyun .test_key = &base_old_false_key_static_key_false,
162*4882a593Smuzhiyun },
163*4882a593Smuzhiyun {
164*4882a593Smuzhiyun .init_state = true,
165*4882a593Smuzhiyun .key = &base_inv_old_false_key,
166*4882a593Smuzhiyun .test_key = &base_inv_old_false_key_static_key_false,
167*4882a593Smuzhiyun },
168*4882a593Smuzhiyun /* external keys - new keys */
169*4882a593Smuzhiyun {
170*4882a593Smuzhiyun .init_state = true,
171*4882a593Smuzhiyun .key = &base_true_key.key,
172*4882a593Smuzhiyun .test_key = &base_true_key_static_branch_likely,
173*4882a593Smuzhiyun },
174*4882a593Smuzhiyun {
175*4882a593Smuzhiyun .init_state = true,
176*4882a593Smuzhiyun .key = &base_true_key.key,
177*4882a593Smuzhiyun .test_key = &base_true_key_static_branch_unlikely,
178*4882a593Smuzhiyun },
179*4882a593Smuzhiyun {
180*4882a593Smuzhiyun .init_state = false,
181*4882a593Smuzhiyun .key = &base_inv_true_key.key,
182*4882a593Smuzhiyun .test_key = &base_inv_true_key_static_branch_likely,
183*4882a593Smuzhiyun },
184*4882a593Smuzhiyun {
185*4882a593Smuzhiyun .init_state = false,
186*4882a593Smuzhiyun .key = &base_inv_true_key.key,
187*4882a593Smuzhiyun .test_key = &base_inv_true_key_static_branch_unlikely,
188*4882a593Smuzhiyun },
189*4882a593Smuzhiyun {
190*4882a593Smuzhiyun .init_state = false,
191*4882a593Smuzhiyun .key = &base_false_key.key,
192*4882a593Smuzhiyun .test_key = &base_false_key_static_branch_likely,
193*4882a593Smuzhiyun },
194*4882a593Smuzhiyun {
195*4882a593Smuzhiyun .init_state = false,
196*4882a593Smuzhiyun .key = &base_false_key.key,
197*4882a593Smuzhiyun .test_key = &base_false_key_static_branch_unlikely,
198*4882a593Smuzhiyun },
199*4882a593Smuzhiyun {
200*4882a593Smuzhiyun .init_state = true,
201*4882a593Smuzhiyun .key = &base_inv_false_key.key,
202*4882a593Smuzhiyun .test_key = &base_inv_false_key_static_branch_likely,
203*4882a593Smuzhiyun },
204*4882a593Smuzhiyun {
205*4882a593Smuzhiyun .init_state = true,
206*4882a593Smuzhiyun .key = &base_inv_false_key.key,
207*4882a593Smuzhiyun .test_key = &base_inv_false_key_static_branch_unlikely,
208*4882a593Smuzhiyun },
209*4882a593Smuzhiyun };
210*4882a593Smuzhiyun
211*4882a593Smuzhiyun size = ARRAY_SIZE(static_key_tests);
212*4882a593Smuzhiyun
213*4882a593Smuzhiyun ret = verify_keys(static_key_tests, size, false);
214*4882a593Smuzhiyun if (ret)
215*4882a593Smuzhiyun goto out;
216*4882a593Smuzhiyun
217*4882a593Smuzhiyun invert_keys(static_key_tests, size);
218*4882a593Smuzhiyun ret = verify_keys(static_key_tests, size, true);
219*4882a593Smuzhiyun if (ret)
220*4882a593Smuzhiyun goto out;
221*4882a593Smuzhiyun
222*4882a593Smuzhiyun invert_keys(static_key_tests, size);
223*4882a593Smuzhiyun ret = verify_keys(static_key_tests, size, false);
224*4882a593Smuzhiyun if (ret)
225*4882a593Smuzhiyun goto out;
226*4882a593Smuzhiyun return 0;
227*4882a593Smuzhiyun out:
228*4882a593Smuzhiyun return ret;
229*4882a593Smuzhiyun }
230*4882a593Smuzhiyun
test_static_key_exit(void)231*4882a593Smuzhiyun static void __exit test_static_key_exit(void)
232*4882a593Smuzhiyun {
233*4882a593Smuzhiyun }
234*4882a593Smuzhiyun
235*4882a593Smuzhiyun module_init(test_static_key_init);
236*4882a593Smuzhiyun module_exit(test_static_key_exit);
237*4882a593Smuzhiyun
238*4882a593Smuzhiyun MODULE_AUTHOR("Jason Baron <jbaron@akamai.com>");
239*4882a593Smuzhiyun MODULE_LICENSE("GPL");
240