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

Marc Zyngier <[email protected]> Mon, 13 Jul 2026 16:23:30 +0100
Newsgroups org.kernel.vger.linux-kbuild,dev.linux.lists.loongarch,org.infradead.lists.linux-arm-kernel,org.infradead.lists.linux-riscv,org.kernel.vger.linux-arch,org.kernel.vger.linux-kernel,org.kernel.vger.linux-mips
Message-ID <[email protected]>
On Thu, 09 Jul 2026 12:32:41 +0100,
Thomas Weißschuh <[email protected]> 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 <[email protected]>

Acked-by: Marc Zyngier <[email protected]>

	M.

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