PCI_MODE1_ADDRESS_REG
outl(PCI_MODE1_ADDRESS_REG, tag | reg);
outl(PCI_MODE1_ADDRESS_REG, 0);
outl(PCI_MODE1_ADDRESS_REG, tag | reg);
outl(PCI_MODE1_ADDRESS_REG, 0);
outl(PCI_MODE1_ADDRESS_REG, tag.mode1 | reg);
outl(PCI_MODE1_ADDRESS_REG, 0);
outl(PCI_MODE1_ADDRESS_REG, tag.mode1 | reg);
outl(PCI_MODE1_ADDRESS_REG, 0);
sav = inl(PCI_MODE1_ADDRESS_REG);
outl(PCI_MODE1_ADDRESS_REG, PCI_MODE1_ENABLE);
outb(PCI_MODE1_ADDRESS_REG + 3, 0);
outw(PCI_MODE1_ADDRESS_REG + 2, 0);
val = inl(PCI_MODE1_ADDRESS_REG);
outl(PCI_MODE1_ADDRESS_REG, 0);
val = inl(PCI_MODE1_ADDRESS_REG);
outl(PCI_MODE1_ADDRESS_REG, sav);
ioports_map[PCI_MODE1_ADDRESS_REG] = vcpu_exit_pci;
case PCI_MODE1_ADDRESS_REG: