arch/x86/xen/vdso.h
include/asm-x86/vdso.h