tree 080a7193b70d86ad14e2f1d72291e0f502463ad0
parent c61ba7291b81ed7fd8c1dba1b45d05cae3f150f7
author Ian Campbell <ian.campbell@citrix.com> 1350404355 +0100
committer Ian Campbell <ian.campbell@citrix.com> 1354193959 +0000

xen: correctly use xen_pfn_t in remap_domain_mfn_range.

For Xen on ARM a PFN is 64 bits so we need to use the appropriate
type here.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
[v2: include the necessary header,
     Reported-by: Fengguang Wu <fengguang.wu@intel.com> ]