__vdso_read_begin   38 arch/arm/vdso/vgettimeofday.c 	seq = __vdso_read_begin(vdata);
__vdso_read_begin   38 arch/nds32/kernel/vdso/gettimeofday.c 	seq = __vdso_read_begin(vdata);