Re: [PATCH linux-next] selftests/vDSO: fix array_size.cocci warning