Hello Marc,

On 26/11/2019 10:42, Marc Gonzalez wrote:
> Hello,
> 
> Running 'make C=2' on v5.4 (arm64 defconfig) outputs:
> 
>   CHECK   arch/arm64/kernel/vdso/vgettimeofday.c

[...]

> 
> 
> Are the above warnings all false positives?
> Do I need to update my version of sparse maybe?
>

I downloaded the latest git of sparse and seems that the only warning I am
getting is:

linux/lib/vdso/gettimeofday.c:224:5: warning: symbol '__cvdso_clock_getres' was
not declared. Should it be static?

which seems legitimate. I am going to post a fix to it.

> Regards.
> 

-- 
Regards,
Vincenzo