test_mpam_devices.c

  1// SPDX-License-Identifier: GPL-2.0
  2// Copyright (C) 2025 Arm Ltd.
  3/* This file is intended to be included into mpam_devices.c */
  4
  5#include <kunit/test.h>
  6
  7/*
  8 * This test catches fields that aren't being sanitised - but can't tell you
  9 * which one...
 10 */
 11static void test__props_mismatch(struct kunit *test)
 12{
 13	struct mpam_props parent = { 0 };
 14	struct mpam_props child;
 15
 16	memset(&child, 0xff, sizeof(child));
 17	__props_mismatch(&parent, &child, false);
 18
 19	memset(&child, 0, sizeof(child));
 20	KUNIT_EXPECT_EQ(test, memcmp(&parent, &child, sizeof(child)), 0);
 21
 22	memset(&child, 0xff, sizeof(child));
 23	__props_mismatch(&parent, &child, true);
 24
 25	KUNIT_EXPECT_EQ(test, memcmp(&parent, &child, sizeof(child)), 0);
 26}
 27
 28static struct list_head fake_classes_list;
 29static struct mpam_class fake_class = { 0 };
 30static struct mpam_component fake_comp1 = { 0 };
 31static struct mpam_component fake_comp2 = { 0 };
 32static struct mpam_vmsc fake_vmsc1 = { 0 };
 33static struct mpam_vmsc fake_vmsc2 = { 0 };
 34static struct mpam_msc fake_msc1 = { 0 };
 35static struct mpam_msc fake_msc2 = { 0 };
 36static struct mpam_msc_ris fake_ris1 = { 0 };
 37static struct mpam_msc_ris fake_ris2 = { 0 };
 38static struct platform_device fake_pdev = { 0 };
 39
 40static inline void reset_fake_hierarchy(void)
 41{
 42	INIT_LIST_HEAD(&fake_classes_list);
 43
 44	memset(&fake_class, 0, sizeof(fake_class));
 45	fake_class.level = 3;
 46	fake_class.type = MPAM_CLASS_CACHE;
 47	INIT_LIST_HEAD_RCU(&fake_class.components);
 48	INIT_LIST_HEAD(&fake_class.classes_list);
 49
 50	memset(&fake_comp1, 0, sizeof(fake_comp1));
 51	memset(&fake_comp2, 0, sizeof(fake_comp2));
 52	fake_comp1.comp_id = 1;
 53	fake_comp2.comp_id = 2;
 54	INIT_LIST_HEAD(&fake_comp1.vmsc);
 55	INIT_LIST_HEAD(&fake_comp1.class_list);
 56	INIT_LIST_HEAD(&fake_comp2.vmsc);
 57	INIT_LIST_HEAD(&fake_comp2.class_list);
 58
 59	memset(&fake_vmsc1, 0, sizeof(fake_vmsc1));
 60	memset(&fake_vmsc2, 0, sizeof(fake_vmsc2));
 61	INIT_LIST_HEAD(&fake_vmsc1.ris);
 62	INIT_LIST_HEAD(&fake_vmsc1.comp_list);
 63	fake_vmsc1.msc = &fake_msc1;
 64	INIT_LIST_HEAD(&fake_vmsc2.ris);
 65	INIT_LIST_HEAD(&fake_vmsc2.comp_list);
 66	fake_vmsc2.msc = &fake_msc2;
 67
 68	memset(&fake_ris1, 0, sizeof(fake_ris1));
 69	memset(&fake_ris2, 0, sizeof(fake_ris2));
 70	fake_ris1.ris_idx = 1;
 71	INIT_LIST_HEAD(&fake_ris1.msc_list);
 72	fake_ris2.ris_idx = 2;
 73	INIT_LIST_HEAD(&fake_ris2.msc_list);
 74
 75	fake_msc1.pdev = &fake_pdev;
 76	fake_msc2.pdev = &fake_pdev;
 77
 78	list_add(&fake_class.classes_list, &fake_classes_list);
 79}
 80
 81static void test_mpam_enable_merge_features(struct kunit *test)
 82{
 83	reset_fake_hierarchy();
 84
 85	mutex_lock(&mpam_list_lock);
 86
 87	/* One Class+Comp, two RIS in one vMSC with common features */
 88	fake_comp1.class = &fake_class;
 89	list_add(&fake_comp1.class_list, &fake_class.components);
 90	fake_comp2.class = NULL;
 91	fake_vmsc1.comp = &fake_comp1;
 92	list_add(&fake_vmsc1.comp_list, &fake_comp1.vmsc);
 93	fake_vmsc2.comp = NULL;
 94	fake_ris1.vmsc = &fake_vmsc1;
 95	list_add(&fake_ris1.vmsc_list, &fake_vmsc1.ris);
 96	fake_ris2.vmsc = &fake_vmsc1;
 97	list_add(&fake_ris2.vmsc_list, &fake_vmsc1.ris);
 98
 99	mpam_set_feature(mpam_feat_cpor_part, &fake_ris1.props);
100	mpam_set_feature(mpam_feat_cpor_part, &fake_ris2.props);
101	fake_ris1.props.cpbm_wd = 4;
102	fake_ris2.props.cpbm_wd = 4;
103
104	mpam_enable_merge_features(&fake_classes_list);
105
106	KUNIT_EXPECT_TRUE(test, mpam_has_feature(mpam_feat_cpor_part, &fake_class.props));
107	KUNIT_EXPECT_EQ(test, fake_class.props.cpbm_wd, 4);
108
109	reset_fake_hierarchy();
110
111	/* One Class+Comp, two RIS in one vMSC with non-overlapping features */
112	fake_comp1.class = &fake_class;
113	list_add(&fake_comp1.class_list, &fake_class.components);
114	fake_comp2.class = NULL;
115	fake_vmsc1.comp = &fake_comp1;
116	list_add(&fake_vmsc1.comp_list, &fake_comp1.vmsc);
117	fake_vmsc2.comp = NULL;
118	fake_ris1.vmsc = &fake_vmsc1;
119	list_add(&fake_ris1.vmsc_list, &fake_vmsc1.ris);
120	fake_ris2.vmsc = &fake_vmsc1;
121	list_add(&fake_ris2.vmsc_list, &fake_vmsc1.ris);
122
123	mpam_set_feature(mpam_feat_cpor_part, &fake_ris1.props);
124	mpam_set_feature(mpam_feat_cmax_cmin, &fake_ris2.props);
125	fake_ris1.props.cpbm_wd = 4;
126	fake_ris2.props.cmax_wd = 4;
127
128	mpam_enable_merge_features(&fake_classes_list);
129
130	/* Multiple RIS within one MSC controlling the same resource can be mismatched */
131	KUNIT_EXPECT_TRUE(test, mpam_has_feature(mpam_feat_cpor_part, &fake_class.props));
132	KUNIT_EXPECT_TRUE(test, mpam_has_feature(mpam_feat_cmax_cmin, &fake_class.props));
133	KUNIT_EXPECT_TRUE(test, mpam_has_feature(mpam_feat_cmax_cmin, &fake_vmsc1.props));
134	KUNIT_EXPECT_EQ(test, fake_class.props.cpbm_wd, 4);
135	KUNIT_EXPECT_EQ(test, fake_vmsc1.props.cmax_wd, 4);
136	KUNIT_EXPECT_EQ(test, fake_class.props.cmax_wd, 4);
137
138	reset_fake_hierarchy();
139
140	/* One Class+Comp, two MSC with overlapping features */
141	fake_comp1.class = &fake_class;
142	list_add(&fake_comp1.class_list, &fake_class.components);
143	fake_comp2.class = NULL;
144	fake_vmsc1.comp = &fake_comp1;
145	list_add(&fake_vmsc1.comp_list, &fake_comp1.vmsc);
146	fake_vmsc2.comp = &fake_comp1;
147	list_add(&fake_vmsc2.comp_list, &fake_comp1.vmsc);
148	fake_ris1.vmsc = &fake_vmsc1;
149	list_add(&fake_ris1.vmsc_list, &fake_vmsc1.ris);
150	fake_ris2.vmsc = &fake_vmsc2;
151	list_add(&fake_ris2.vmsc_list, &fake_vmsc2.ris);
152
153	mpam_set_feature(mpam_feat_cpor_part, &fake_ris1.props);
154	mpam_set_feature(mpam_feat_cpor_part, &fake_ris2.props);
155	fake_ris1.props.cpbm_wd = 4;
156	fake_ris2.props.cpbm_wd = 4;
157
158	mpam_enable_merge_features(&fake_classes_list);
159
160	KUNIT_EXPECT_TRUE(test, mpam_has_feature(mpam_feat_cpor_part, &fake_class.props));
161	KUNIT_EXPECT_EQ(test, fake_class.props.cpbm_wd, 4);
162
163	reset_fake_hierarchy();
164
165	/* One Class+Comp, two MSC with non-overlapping features */
166	fake_comp1.class = &fake_class;
167	list_add(&fake_comp1.class_list, &fake_class.components);
168	fake_comp2.class = NULL;
169	fake_vmsc1.comp = &fake_comp1;
170	list_add(&fake_vmsc1.comp_list, &fake_comp1.vmsc);
171	fake_vmsc2.comp = &fake_comp1;
172	list_add(&fake_vmsc2.comp_list, &fake_comp1.vmsc);
173	fake_ris1.vmsc = &fake_vmsc1;
174	list_add(&fake_ris1.vmsc_list, &fake_vmsc1.ris);
175	fake_ris2.vmsc = &fake_vmsc2;
176	list_add(&fake_ris2.vmsc_list, &fake_vmsc2.ris);
177
178	mpam_set_feature(mpam_feat_cpor_part, &fake_ris1.props);
179	mpam_set_feature(mpam_feat_cmax_cmin, &fake_ris2.props);
180	fake_ris1.props.cpbm_wd = 4;
181	fake_ris2.props.cmax_wd = 4;
182
183	mpam_enable_merge_features(&fake_classes_list);
184
185	/*
186	 * Multiple RIS in different MSC can't control the same resource,
187	 * mismatched features can not be supported.
188	 */
189	KUNIT_EXPECT_FALSE(test, mpam_has_feature(mpam_feat_cpor_part, &fake_class.props));
190	KUNIT_EXPECT_FALSE(test, mpam_has_feature(mpam_feat_cmax_cmin, &fake_class.props));
191	KUNIT_EXPECT_EQ(test, fake_class.props.cpbm_wd, 0);
192	KUNIT_EXPECT_EQ(test, fake_class.props.cmax_wd, 0);
193
194	reset_fake_hierarchy();
195
196	/* One Class+Comp, two MSC with incompatible overlapping features */
197	fake_comp1.class = &fake_class;
198	list_add(&fake_comp1.class_list, &fake_class.components);
199	fake_comp2.class = NULL;
200	fake_vmsc1.comp = &fake_comp1;
201	list_add(&fake_vmsc1.comp_list, &fake_comp1.vmsc);
202	fake_vmsc2.comp = &fake_comp1;
203	list_add(&fake_vmsc2.comp_list, &fake_comp1.vmsc);
204	fake_ris1.vmsc = &fake_vmsc1;
205	list_add(&fake_ris1.vmsc_list, &fake_vmsc1.ris);
206	fake_ris2.vmsc = &fake_vmsc2;
207	list_add(&fake_ris2.vmsc_list, &fake_vmsc2.ris);
208
209	mpam_set_feature(mpam_feat_cpor_part, &fake_ris1.props);
210	mpam_set_feature(mpam_feat_cpor_part, &fake_ris2.props);
211	mpam_set_feature(mpam_feat_mbw_part, &fake_ris1.props);
212	mpam_set_feature(mpam_feat_mbw_part, &fake_ris2.props);
213	fake_ris1.props.cpbm_wd = 5;
214	fake_ris2.props.cpbm_wd = 3;
215	fake_ris1.props.mbw_pbm_bits = 5;
216	fake_ris2.props.mbw_pbm_bits = 3;
217
218	mpam_enable_merge_features(&fake_classes_list);
219
220	/*
221	 * Multiple RIS in different MSC can't control the same resource,
222	 * mismatched features can not be supported.
223	 */
224	KUNIT_EXPECT_FALSE(test, mpam_has_feature(mpam_feat_cpor_part, &fake_class.props));
225	KUNIT_EXPECT_FALSE(test, mpam_has_feature(mpam_feat_mbw_part, &fake_class.props));
226	KUNIT_EXPECT_EQ(test, fake_class.props.cpbm_wd, 0);
227	KUNIT_EXPECT_EQ(test, fake_class.props.mbw_pbm_bits, 0);
228
229	reset_fake_hierarchy();
230
231	/* One Class+Comp, two MSC with overlapping features that need tweaking */
232	fake_comp1.class = &fake_class;
233	list_add(&fake_comp1.class_list, &fake_class.components);
234	fake_comp2.class = NULL;
235	fake_vmsc1.comp = &fake_comp1;
236	list_add(&fake_vmsc1.comp_list, &fake_comp1.vmsc);
237	fake_vmsc2.comp = &fake_comp1;
238	list_add(&fake_vmsc2.comp_list, &fake_comp1.vmsc);
239	fake_ris1.vmsc = &fake_vmsc1;
240	list_add(&fake_ris1.vmsc_list, &fake_vmsc1.ris);
241	fake_ris2.vmsc = &fake_vmsc2;
242	list_add(&fake_ris2.vmsc_list, &fake_vmsc2.ris);
243
244	mpam_set_feature(mpam_feat_mbw_min, &fake_ris1.props);
245	mpam_set_feature(mpam_feat_mbw_min, &fake_ris2.props);
246	mpam_set_feature(mpam_feat_cmax_cmax, &fake_ris1.props);
247	mpam_set_feature(mpam_feat_cmax_cmax, &fake_ris2.props);
248	fake_ris1.props.bwa_wd = 5;
249	fake_ris2.props.bwa_wd = 3;
250	fake_ris1.props.cmax_wd = 5;
251	fake_ris2.props.cmax_wd = 3;
252
253	mpam_enable_merge_features(&fake_classes_list);
254
255	/*
256	 * RIS with different control properties need to be sanitised so the
257	 * class has the common set of properties.
258	 */
259	KUNIT_EXPECT_TRUE(test, mpam_has_feature(mpam_feat_mbw_min, &fake_class.props));
260	KUNIT_EXPECT_TRUE(test, mpam_has_feature(mpam_feat_cmax_cmax, &fake_class.props));
261	KUNIT_EXPECT_EQ(test, fake_class.props.bwa_wd, 3);
262	KUNIT_EXPECT_EQ(test, fake_class.props.cmax_wd, 3);
263
264	reset_fake_hierarchy();
265
266	/* One Class Two Comp with overlapping features */
267	fake_comp1.class = &fake_class;
268	list_add(&fake_comp1.class_list, &fake_class.components);
269	fake_comp2.class = &fake_class;
270	list_add(&fake_comp2.class_list, &fake_class.components);
271	fake_vmsc1.comp = &fake_comp1;
272	list_add(&fake_vmsc1.comp_list, &fake_comp1.vmsc);
273	fake_vmsc2.comp = &fake_comp2;
274	list_add(&fake_vmsc2.comp_list, &fake_comp2.vmsc);
275	fake_ris1.vmsc = &fake_vmsc1;
276	list_add(&fake_ris1.vmsc_list, &fake_vmsc1.ris);
277	fake_ris2.vmsc = &fake_vmsc2;
278	list_add(&fake_ris2.vmsc_list, &fake_vmsc2.ris);
279
280	mpam_set_feature(mpam_feat_cpor_part, &fake_ris1.props);
281	mpam_set_feature(mpam_feat_cpor_part, &fake_ris2.props);
282	fake_ris1.props.cpbm_wd = 4;
283	fake_ris2.props.cpbm_wd = 4;
284
285	mpam_enable_merge_features(&fake_classes_list);
286
287	KUNIT_EXPECT_TRUE(test, mpam_has_feature(mpam_feat_cpor_part, &fake_class.props));
288	KUNIT_EXPECT_EQ(test, fake_class.props.cpbm_wd, 4);
289
290	reset_fake_hierarchy();
291
292	/* One Class Two Comp with non-overlapping features */
293	fake_comp1.class = &fake_class;
294	list_add(&fake_comp1.class_list, &fake_class.components);
295	fake_comp2.class = &fake_class;
296	list_add(&fake_comp2.class_list, &fake_class.components);
297	fake_vmsc1.comp = &fake_comp1;
298	list_add(&fake_vmsc1.comp_list, &fake_comp1.vmsc);
299	fake_vmsc2.comp = &fake_comp2;
300	list_add(&fake_vmsc2.comp_list, &fake_comp2.vmsc);
301	fake_ris1.vmsc = &fake_vmsc1;
302	list_add(&fake_ris1.vmsc_list, &fake_vmsc1.ris);
303	fake_ris2.vmsc = &fake_vmsc2;
304	list_add(&fake_ris2.vmsc_list, &fake_vmsc2.ris);
305
306	mpam_set_feature(mpam_feat_cpor_part, &fake_ris1.props);
307	mpam_set_feature(mpam_feat_cmax_cmin, &fake_ris2.props);
308	fake_ris1.props.cpbm_wd = 4;
309	fake_ris2.props.cmax_wd = 4;
310
311	mpam_enable_merge_features(&fake_classes_list);
312
313	/*
314	 * Multiple components can't control the same resource, mismatched features can
315	 * not be supported.
316	 */
317	KUNIT_EXPECT_FALSE(test, mpam_has_feature(mpam_feat_cpor_part, &fake_class.props));
318	KUNIT_EXPECT_FALSE(test, mpam_has_feature(mpam_feat_cmax_cmin, &fake_class.props));
319	KUNIT_EXPECT_EQ(test, fake_class.props.cpbm_wd, 0);
320	KUNIT_EXPECT_EQ(test, fake_class.props.cmax_wd, 0);
321
322	mutex_unlock(&mpam_list_lock);
323}
324
325static void test_mpam_reset_msc_bitmap(struct kunit *test)
326{
327	char __iomem *buf = kunit_kzalloc(test, SZ_16K, GFP_KERNEL);
328	struct mpam_msc fake_msc = {};
329	u32 *test_result;
330
331	if (!buf)
332		return;
333
334	fake_msc.mapped_hwpage = buf;
335	fake_msc.mapped_hwpage_sz = SZ_16K;
336	cpumask_copy(&fake_msc.accessibility, cpu_possible_mask);
337
338	/* Satisfy lockdep checks */
339	mutex_init(&fake_msc.part_sel_lock);
340	mutex_lock(&fake_msc.part_sel_lock);
341
342	test_result = (u32 *)(buf + MPAMCFG_CPBM);
343
344	mpam_reset_msc_bitmap(&fake_msc, MPAMCFG_CPBM, 0);
345	KUNIT_EXPECT_EQ(test, test_result[0], 0);
346	KUNIT_EXPECT_EQ(test, test_result[1], 0);
347	test_result[0] = 0;
348	test_result[1] = 0;
349
350	mpam_reset_msc_bitmap(&fake_msc, MPAMCFG_CPBM, 1);
351	KUNIT_EXPECT_EQ(test, test_result[0], 1);
352	KUNIT_EXPECT_EQ(test, test_result[1], 0);
353	test_result[0] = 0;
354	test_result[1] = 0;
355
356	mpam_reset_msc_bitmap(&fake_msc, MPAMCFG_CPBM, 16);
357	KUNIT_EXPECT_EQ(test, test_result[0], 0xffff);
358	KUNIT_EXPECT_EQ(test, test_result[1], 0);
359	test_result[0] = 0;
360	test_result[1] = 0;
361
362	mpam_reset_msc_bitmap(&fake_msc, MPAMCFG_CPBM, 32);
363	KUNIT_EXPECT_EQ(test, test_result[0], 0xffffffff);
364	KUNIT_EXPECT_EQ(test, test_result[1], 0);
365	test_result[0] = 0;
366	test_result[1] = 0;
367
368	mpam_reset_msc_bitmap(&fake_msc, MPAMCFG_CPBM, 33);
369	KUNIT_EXPECT_EQ(test, test_result[0], 0xffffffff);
370	KUNIT_EXPECT_EQ(test, test_result[1], 1);
371	test_result[0] = 0;
372	test_result[1] = 0;
373
374	mutex_unlock(&fake_msc.part_sel_lock);
375}
376
377static struct kunit_case mpam_devices_test_cases[] = {
378	KUNIT_CASE(test_mpam_reset_msc_bitmap),
379	KUNIT_CASE(test_mpam_enable_merge_features),
380	KUNIT_CASE(test__props_mismatch),
381	{}
382};
383
384static struct kunit_suite mpam_devices_test_suite = {
385	.name = "mpam_devices_test_suite",
386	.test_cases = mpam_devices_test_cases,
387};
388
389kunit_test_suites(&mpam_devices_test_suite);