Symbol: IR3MSKL
drivers/pci/controller/pci-xgene.c
518
xgene_pcie_writel(port, IR3MSKL, lower_32_bits(mask));
drivers/pci/controller/pci-xgene.c
519
xgene_pcie_writel(port, IR3MSKL + 0x4, upper_32_bits(mask));