[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 at linutronix.de>

Good idea

Reviewed-by: Arnd Bergmann <arnd at arndb.de>