From 4f8589e11558f1151d95a4a3e9fce902f042df3d Mon Sep 17 00:00:00 2001 From: Isaku Yamahata Date: Fri, 30 Oct 2009 21:21:10 +0900 Subject: pci: typedef pcibus_t as uint64_t instead of uint32_t. This patch is preliminary for 64bit bar. For 64bit bar support, change pcibus_t which represents pci bus addr/size from uint32_t to uint64_t. And also change FMT_pcibus for printf. In pci_update_mapping() checks 32bit overflow. So the check must be updated too. Signed-off-by: Isaku Yamahata Signed-off-by: Anthony Liguori --- hw/pci.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'hw/pci.h') diff --git a/hw/pci.h b/hw/pci.h index fa2077d..305c030 100644 --- a/hw/pci.h +++ b/hw/pci.h @@ -71,8 +71,8 @@ extern target_phys_addr_t pci_mem_base; #define PCI_DEVICE_ID_VIRTIO_BALLOON 0x1002 #define PCI_DEVICE_ID_VIRTIO_CONSOLE 0x1003 -typedef uint32_t pcibus_t; -#define FMT_PCIBUS PRIx32 +typedef uint64_t pcibus_t; +#define FMT_PCIBUS PRIx64 typedef void PCIConfigWriteFunc(PCIDevice *pci_dev, uint32_t address, uint32_t data, int len); -- cgit v1.1