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@lists.xen.org https://lists.xen.org/xen-devel
