On 30/6/26 09:38, 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 <[email protected]> --- lib/vdso/gettimeofday.c | 10 ++++++++++ 1 file changed, 10 insertions(+)
Reviewed-by: Philippe Mathieu-Daudé <[email protected]>
