Re: [PATCH 02/10] selftests: vDSO: Introduce vdso_types.h