PCIE_IRQ_PULSE
u32 val = exynos_pcie_readl(pci->elbi_base, PCIE_IRQ_PULSE);
exynos_pcie_writel(pci->elbi_base, val, PCIE_IRQ_PULSE);