Re: [PATCH 1/7] clocksource: exynos_mct: Remove dead code

[Krzysztof Kozlowski]

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