Hi Julien,
On 07/18/2017 02:25 PM, Sergej Proskurin wrote: > This commit adds functionality to walk the guest's page tables using the > short-descriptor translation table format for both ARMv7 and ARMv8. The > implementation is based on ARM DDI 0487B-a J1-6002 and ARM DDI 0406C-b > B3-1506. > > Signed-off-by: Sergej Proskurin <prosku...@sec.in.tum.de> > Acked-by: Julien Grall <julien.gr...@arm.com> As you have already Acked this patch I would like you to ask whether I should remove your Acked-by for now as I have extended the previous patch by additional casts of the pte.*.base fields to (paddr_t) as discussed in patch 00/14. Thanks, ~Sergej _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel