root/arch/x86/entry/vdso/vdso64/vgetcpu.c
#include "common/vgetcpu.c"