# CONFIG_SPLIT_PMD_PTLOCKS is not set
