Symbol: IBAR3L
drivers/pci/controller/pci-xgene.c
516
xgene_pcie_writel(port, IBAR3L, bar_low);
drivers/pci/controller/pci-xgene.c
517
xgene_pcie_writel(port, IBAR3L + 0x4, upper_32_bits(cpu_addr));