PCIE_MSI_ADDR_HIGH_REG
advk_writel(pcie, 0, PCIE_MSI_ADDR_HIGH_REG);
advk_writel(pcie, upper_32_bits(msi_addr), PCIE_MSI_ADDR_HIGH_REG);