# CONFIG_PROVE_CXL_LOCKING is not set