[xen master] arm/vpci: make prefetchable mem 64 bit

[patchbot@xxxxxxx]

commit 232ee07c23b23fbbafbbf27e475dbbc5b27e4bbb
Author:     Stewart Hildebrand <stewart.hildebrand@xxxxxxx>
AuthorDate: Wed Apr 24 12:27:22 2024 -0400
Commit:     Stefano Stabellini <stefano.stabellini@xxxxxxx>
CommitDate: Thu Apr 25 13:16:11 2024 -0700

    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 <stewart.hildebrand@xxxxxxx>
    Acked-by: Michal Orzel <michal.orzel@xxxxxxx>
    Reviewed-by: Rahul Singh <rahul.singh@xxxxxxx>
---
 xen/include/public/arch-arm.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
 
--
generated by git-patchbot for /home/xen/git/xen.git#master