#include "isa.h"
#include "sysbus.h"
-typedef uint32_t pci_addr_t;
+typedef uint32_t a_pci_addr;
#include "pci_host.h"
typedef PCIHostState I440FXState;
struct PCII440FXState {
PCIDevice dev;
- target_phys_addr_t isa_page_descs[384 / 4];
+ a_target_phys_addr isa_page_descs[384 / 4];
uint8_t smm_enabled;
PIIX3IrqState *irq_state;
};