# CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK is not set
