PCIDeviceConfig
writel(1, base + PCIDeviceConfig);
if ((readl(base + PCIDeviceConfig) & 1) == 0)
writel(1, ioaddr + PCIDeviceConfig);
writel(0x00800000 | readl(ioaddr + PCIDeviceConfig),
ioaddr + PCIDeviceConfig);