From mboxrd@z Thu Jan  1 00:00:00 1970
From: Julien Grall <julien.grall@linaro.org>
Subject: Re: [PATCH] xen/arm: Update VTCR to use region size of
 2^40 bytes instead of 2^39
Date: Thu, 06 Jun 2013 14:51:46 +0100
Message-ID: <51B093F2.3010702@linaro.org>
References: <1370520415-5598-1-git-send-email-julien.grall@linaro.org>
	<20130606131734.GA58645@ocelot.phlegethon.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <20130606131734.GA58645@ocelot.phlegethon.org>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Tim Deegan <tim@xen.org>
Cc: patches@linaro.org, stefano.stabellini@citrix.com, ian.campbell@citrix.com, xen-devel@lists.xen.org
List-Id: xen-devel@lists.xenproject.org

On 06/06/2013 02:17 PM, Tim Deegan wrote:

> At 13:06 +0100 on 06 Jun (1370524015), Julien Grall wrote:
>> According to the ARM manual, T0SZ is a 4-bit signed integer.
>> The current value of T0SZ = b1000 which is equal to -7. This is result
> 
> Really?  By my count, 4-bit -7 is b1001 and b1000 is indeed -8.


Indeed :/. I don't know why I find this value by hand.

-- 
Julien