Re: [PATCH 7/7] vdso/gettimeofday: Verify COMPAT_32BIT_TIME interactions

[Arnd Bergmann]

On Fri, Feb 27, 2026, at 07:57, Thomas Weißschuh wrote:
> If CONFIG_COMPAT_32BIT_TIME is disabled then the vDSO should not
> provide any 32-bit time related functionality.
>
> Add some build-time validations to make sure the architecture-specific
> glue satisfies this requirement.
>
> Signed-off-by: Thomas Weißschuh <thomas.weissschuh@xxxxxxxxxxxxx>

Good idea

Reviewed-by: Arnd Bergmann <arnd@xxxxxxxx>