IR3MSKL           528 drivers/pci/controller/pci-xgene.c 		xgene_pcie_writel(port, IR3MSKL, lower_32_bits(mask));
IR3MSKL           529 drivers/pci/controller/pci-xgene.c 		xgene_pcie_writel(port, IR3MSKL + 0x4, upper_32_bits(mask));