linux-zen-server/arch/x86/entry/vdso/vdso32/vgetcpu.o