1// SPDX-License-Identifier: GPL-2.0
2#include <linux/bug.h>
3
4void 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