[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

To: Stefano Stabellini <sstabellini@xxxxxxxxxx>
From: Julien Grall <julien.grall@xxxxxxx>
Date: Wed, 31 Aug 2016 12:04:36 +0100
Cc: proskurin@xxxxxxxxxxxxx, wei.chen@xxxxxxxxxx, steve.capper@xxxxxxx, xen-devel@xxxxxxxxxxxxx
Delivery-date: Wed, 31 Aug 2016 11:04:54 +0000
List-id: Xen developer discussion <xen-devel.lists.xen.org>

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,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel

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

Prev by Date: Re: [Xen-devel] [RFC 06/22] xen/arm: traps: Check the P2M before injecting a data/instruction abort
Next by Date: Re: [Xen-devel] Xen virtual IOMMU high level design doc
Previous by thread: Re: [Xen-devel] [RFC 09/22] xen/arm: p2m: Change the type of level_shifts from paddr_t to unsigned int
Next by thread: Re: [Xen-devel] [RFC 11/22] xen/arm: p2m: Introduce p2m_get_root_pointer and use it in __p2m_lookup
Index(es):
- Date
- Thread

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.