[kbuild-all] [linux-next:master 6288/9560] drivers/iommu/exynos-iommu.c:724:20: error: conflicting types for 'update_pte'