__vdso_getcpu
int __vdso_getcpu(unsigned int *cpu, unsigned int *node, void *unused);
notrace long __vdso_getcpu(unsigned *cpu, unsigned *node, void *unused);