1*67dcdd4dSDan Williams // SPDX-License-Identifier: GPL-2.0 2*67dcdd4dSDan Williams #include <linux/bug.h> 3*67dcdd4dSDan Williams 4*67dcdd4dSDan Williams void check(void) 5*67dcdd4dSDan Williams { 6*67dcdd4dSDan Williams /* 7*67dcdd4dSDan Williams * These kconfig symbols must be set to "m" for cxl_test to load 8*67dcdd4dSDan Williams * and operate. 9*67dcdd4dSDan Williams */ 10*67dcdd4dSDan Williams BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_BUS)); 11*67dcdd4dSDan Williams BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_ACPI)); 12*67dcdd4dSDan Williams BUILD_BUG_ON(!IS_MODULE(CONFIG_CXL_PMEM)); 13*67dcdd4dSDan Williams } 14