From: Stewart Hildebrand Date: Wed, 24 Apr 2024 16:27:22 +0000 (-0400) Subject: arm/vpci: make prefetchable mem 64 bit X-Git-Tag: 4.19.0-rc1~272 X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=232ee07c23b23fbbafbbf27e475dbbc5b27e4bbb;p=xen.git arm/vpci: make prefetchable mem 64 bit The vPCI prefetchable memory range is >= 4GB, so the memory space flags should be set to 64-bit. See IEEE Std 1275-1994 [1] chapter 2.2.1.1 for a definition of the field. [1] https://www.devicetree.org/open-firmware/bindings/pci/pci2_1.pdf Signed-off-by: Stewart Hildebrand Acked-by: Michal Orzel Reviewed-by: Rahul Singh --- diff --git a/xen/include/public/arch-arm.h b/xen/include/public/arch-arm.h index e167e14f8d..289af81bd6 100644 --- a/xen/include/public/arch-arm.h +++ b/xen/include/public/arch-arm.h @@ -487,7 +487,7 @@ typedef uint64_t xen_callback_t; #define GUEST_RAM0_SIZE xen_mk_ullong(0xc0000000) /* 4GB @ 4GB Prefetch Memory for VPCI */ -#define GUEST_VPCI_ADDR_TYPE_PREFETCH_MEM xen_mk_ullong(0x42000000) +#define GUEST_VPCI_ADDR_TYPE_PREFETCH_MEM xen_mk_ullong(0x43000000) #define GUEST_VPCI_PREFETCH_MEM_ADDR xen_mk_ullong(0x100000000) #define GUEST_VPCI_PREFETCH_MEM_SIZE xen_mk_ullong(0x100000000)