>>> On 25.05.16 at 13:41, <julien.gr...@arm.com> wrote: > --- a/xen/include/public/memory.h > +++ b/xen/include/public/memory.h > @@ -220,7 +220,10 @@ DEFINE_XEN_GUEST_HANDLE(xen_machphys_mapping_t); > #define XENMAPSPACE_gmfn_range 3 /* GMFN range, XENMEM_add_to_physmap > only. */ > #define XENMAPSPACE_gmfn_foreign 4 /* GMFN from another dom, > * XENMEM_add_to_physmap_batch only. */ > -#define XENMAPSPACE_dev_mmio 5 /* device mmio region */ > +#define XENMAPSPACE_dev_mmio 5 /* device mmio region > + On ARM, the region will be mapped > + in stage-2 using the memory attribute > + Device_nGnRE. */
Since this is unimplemented on x86, may I suggest to make this "ARM only; the region will be ..."? Also - is Device_nGnRE a term uniform between ARM32 and ARM64? Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
