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,
--
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
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