Re: [Xen-devel] [RFC 09/22] xen/arm: p2m: Change the type of level_shifts from paddr_t to unsigned int

2016-08-31 Thread Julien Grall
Hi Stefano, On 23/08/16 02:20, Stefano Stabellini wrote: On Thu, 28 Jul 2016, Julien Grall wrote: The level shift can be encoded with 32-bit. So it is not necessary to use paddr_t (i.e 64-bit). You might as well use 8 bit. Good point. I will change it in the next version. Regards, --

Re: [Xen-devel] [RFC 09/22] xen/arm: p2m: Change the type of level_shifts from paddr_t to unsigned int

2016-08-22 Thread Stefano Stabellini
On Thu, 28 Jul 2016, Julien Grall wrote: > The level shift can be encoded with 32-bit. So it is not necessary to > use paddr_t (i.e 64-bit). You might as well use 8 bit. > Signed-off-by: Julien Grall > --- > xen/arch/arm/p2m.c | 2 +- > 1 file changed, 1 insertion(+), 1

[Xen-devel] [RFC 09/22] xen/arm: p2m: Change the type of level_shifts from paddr_t to unsigned int

2016-07-28 Thread Julien Grall
The level shift can be encoded with 32-bit. So it is not necessary to use paddr_t (i.e 64-bit). Signed-off-by: Julien Grall --- xen/arch/arm/p2m.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/p2m.c b/xen/arch/arm/p2m.c index