arch/arm64/include/asm/vdso/gettimeofday.h arch/mips/include/asm/vdso/gettimeofday.h arch/x86/include/asm/vdso/gettimeofday.h