1 // SPDX-License-Identifier: GPL-2.0
2 #include <linux/bug.h>
3
4 void check(void)
5 {
6 /*
7 * These kconfig symbols must be set to "m" for cxl_test to load
8 * and operate.
9 */
10 BUILD_BUG_ON(!IS_ENABLED(CONFIG_64BIT));
11 BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_BUS));
12 BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_ACPI));
13 BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_PMEM));
14 BUILD_BUG_ON(!IS_ENABLED(CONFIG_CXL_REGION_INVALIDATION_TEST));
15 BUILD_BUG_ON(!IS_ENABLED(CONFIG_NVDIMM_SECURITY_TEST));
16 BUILD_BUG_ON(!IS_ENABLED(CONFIG_DEBUG_FS));
17 }
18
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.