PCIE_GLOBAL_INT_MASK1_REG  191 drivers/pci/controller/dwc/pcie-armada8k.c 	reg = dw_pcie_readl_dbi(pci, PCIE_GLOBAL_INT_MASK1_REG);
PCIE_GLOBAL_INT_MASK1_REG  194 drivers/pci/controller/dwc/pcie-armada8k.c 	dw_pcie_writel_dbi(pci, PCIE_GLOBAL_INT_MASK1_REG, reg);