vdso64_start       59 arch/powerpc/kernel/vdso.c extern char vdso64_start, vdso64_end;
vdso64_start       60 arch/powerpc/kernel/vdso.c static void *vdso64_kbase = &vdso64_start;
vdso64_start      729 arch/powerpc/kernel/vdso.c 	vdso64_pages = (&vdso64_end - &vdso64_start) >> PAGE_SHIFT;
vdso64_start       39 arch/s390/kernel/vdso.c extern char vdso64_start, vdso64_end;
vdso64_start       40 arch/s390/kernel/vdso.c static void *vdso64_kbase = &vdso64_start;
vdso64_start      289 arch/s390/kernel/vdso.c 	vdso64_pages = ((&vdso64_end - &vdso64_start