167dcdd4dSDan Williams // SPDX-License-Identifier: GPL-2.0 267dcdd4dSDan Williams #include <linux/bug.h> 367dcdd4dSDan Williams check(void)467dcdd4dSDan Williamsvoid check(void) 567dcdd4dSDan Williams { 667dcdd4dSDan Williams /* 767dcdd4dSDan Williams * These kconfig symbols must be set to "m" for cxl_test to load 867dcdd4dSDan Williams * and operate. 967dcdd4dSDan Williams */ 10f45d63c1SLuis Chamberlain BUILD_BUG_ON(!IS_ENABLED(CONFIG_64BIT)); 1167dcdd4dSDan Williams BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_BUS)); 1267dcdd4dSDan Williams BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_ACPI)); 1367dcdd4dSDan Williams BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_PMEM)); 14878b2de6SDan Williams BUILD_BUG_ON(!IS_ENABLED(CONFIG_CXL_REGION_INVALIDATION_TEST)); 15878b2de6SDan Williams BUILD_BUG_ON(!IS_ENABLED(CONFIG_NVDIMM_SECURITY_TEST)); 16*30a8a105SAlison Schofield BUILD_BUG_ON(!IS_ENABLED(CONFIG_DEBUG_FS)); 1767dcdd4dSDan Williams } 18