On Mon, 8 Oct 2018 at 14:50, Marek Szyprowski <m.szyprowski@xxxxxxxxxxx> 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 <krzk@xxxxxxxxxx> Best regards, Krzysztof
