Re: [PATCH 5/7] clocksource/drivers/arm_arch_timer: Replace CONFIG_GENERIC_GETTIMEOFDAY ifdeffery with IS_ENABLED()

[Marc Zyngier]

On Thu, 09 Jul 2026 12:32:41 +0100,
Thomas Weißschuh <thomas.weissschuh@xxxxxxxxxxxxx> wrote:
> 
> Now that there is a dummy declaration of VDSO_CLOCKMODE_ARCHTIMER,
> even if no vDSO is built, the ugly ifdeffery can be replaced with
> a cleaner IS_ENABLED() check.
> 
> Signed-off-by: Thomas Weißschuh <thomas.weissschuh@xxxxxxxxxxxxx>

Acked-by: Marc Zyngier <maz@xxxxxxxxxx>

	M.

-- 
Jazz isn't dead. It just smells funny.