Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1757883AbaD2Opm (ORCPT ); Tue, 29 Apr 2014 10:45:42 -0400 Received: from fw-tnat.austin.arm.com ([217.140.110.23]:34982 "EHLO collaborate-mta1.arm.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1757819AbaD2Opk (ORCPT ); Tue, 29 Apr 2014 10:45:40 -0400 Date: Tue, 29 Apr 2014 15:45:06 +0100 From: Catalin Marinas To: Jungseok Lee Cc: "linux-arm-kernel@lists.infradead.org" , "kvmarm@lists.cs.columbia.edu" , Marc Zyngier , Christoffer Dall , "linux-kernel@vger.kernel.org" , linux-samsung-soc , "steve.capper@linaro.org" , "sungjinn.chung@samsung.com" , Arnd Bergmann , "kgene.kim@samsung.com" , "ilho215.lee@samsung.com" Subject: Re: [PATCH v4 3/7] arm64: Introduce a kernel configuration option for VA_BITS Message-ID: <20140429144506.GK17007@arm.com> References: <000301cf6367$ca12e150$5e38a3f0$@samsung.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <000301cf6367$ca12e150$5e38a3f0$@samsung.com> User-Agent: Mutt/1.5.21 (2010-09-15) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org 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 -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/