# CONFIG_ARCH_SUPPORTS_PER_VMA_LOCK is not set
