1 // SPDX-License-Identifier: GPL-2.0 1 // SPDX-License-Identifier: GPL-2.0
2 #include <linux/bug.h> 2 #include <linux/bug.h>
3 3
4 void check(void) 4 void check(void)
5 { 5 {
6 /* 6 /*
7 * These kconfig symbols must be set t 7 * These kconfig symbols must be set to "m" for cxl_test to load
8 * and operate. 8 * and operate.
9 */ 9 */
10 BUILD_BUG_ON(!IS_ENABLED(CONFIG_64BIT) 10 BUILD_BUG_ON(!IS_ENABLED(CONFIG_64BIT));
11 BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_BUS 11 BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_BUS));
12 BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_ACP 12 BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_ACPI));
13 BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_PME 13 BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_PMEM));
14 BUILD_BUG_ON(!IS_ENABLED(CONFIG_CXL_RE 14 BUILD_BUG_ON(!IS_ENABLED(CONFIG_CXL_REGION_INVALIDATION_TEST));
15 BUILD_BUG_ON(!IS_ENABLED(CONFIG_NVDIMM 15 BUILD_BUG_ON(!IS_ENABLED(CONFIG_NVDIMM_SECURITY_TEST));
16 BUILD_BUG_ON(!IS_ENABLED(CONFIG_DEBUG_ 16 BUILD_BUG_ON(!IS_ENABLED(CONFIG_DEBUG_FS));
17 } 17 }
18 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.