On Mon, 8 Oct 2018 at 14:50, Marek Szyprowski <m.szyprow...@samsung.com> wrote: > > Exynos Multi-Core Timer driver is used only on device-tree based > systems, so remove non-dt related code.
You can also mention that in case of !CONFIG_OF the code is anyway equal because of_irq_count() has a stub returning 0. Reviewed-by: Krzysztof Kozlowski <k...@kernel.org> Best regards, Krzysztof