kcore_vsyscall 1221 arch/x86/mm/init_64.c static struct kcore_list kcore_vsyscall; kcore_vsyscall 1254 arch/x86/mm/init_64.c kclist_add(&kcore_vsyscall, (void *)VSYSCALL_ADDR, PAGE_SIZE, KCORE_USER);