Subject: [PATCH v4 3/7] arm64: Introduce a kernel configuration option for VA_BITS

From: [email-masked] (Catalin Marinas)
Date: Tue, 29 Apr 2014 15:45:06 +0100

On Tue, Apr 29, 2014 at 05:59:23AM +0100, Jungseok Lee wrote:
> +config ARM64_VA_BITS
> +	int "Virtual address space size"
> +	range 39 39 if ARM64_4K_PAGES && ARM64_3_LEVELS
> +	range 42 42 if ARM64_64K_PAGES && ARM64_2_LEVELS
> +	help
> +	  This feature is determined by a combination of page size and
> +	  level of translation tables.

OK, so you are doing the VA bits selection already. But see my other
email about setting only exposing this and hiding the number of levels
(though number of levels can be mentioned in the help).

-- 
Catalin