- writel(0x18000000, PCI_CR_FCI_ADDR_MAP0);
- writel(0x18400000, PCI_CR_FCI_ADDR_MAP1);
- writel(0x18800000, PCI_CR_FCI_ADDR_MAP2);
- writel(0x18c00000, PCI_CR_FCI_ADDR_MAP3);
- writel(0x19000000, PCI_CR_FCI_ADDR_MAP4);
- writel(0x19400000, PCI_CR_FCI_ADDR_MAP5);
- writel(0x19800000, PCI_CR_FCI_ADDR_MAP6);
- writel(0x19c00000, PCI_CR_FCI_ADDR_MAP7);
+ ifxmips_w32(0x18000000, PCI_CR_FCI_ADDR_MAP0);
+ ifxmips_w32(0x18400000, PCI_CR_FCI_ADDR_MAP1);
+ ifxmips_w32(0x18800000, PCI_CR_FCI_ADDR_MAP2);
+ ifxmips_w32(0x18c00000, PCI_CR_FCI_ADDR_MAP3);
+ ifxmips_w32(0x19000000, PCI_CR_FCI_ADDR_MAP4);
+ ifxmips_w32(0x19400000, PCI_CR_FCI_ADDR_MAP5);
+ ifxmips_w32(0x19800000, PCI_CR_FCI_ADDR_MAP6);
+ ifxmips_w32(0x19c00000, PCI_CR_FCI_ADDR_MAP7);