Searched refs:vsyscall32 (Results 1 – 1 of 1) sorted by relevance
71 static void (*vsyscall32)(void); variable80 sys32_helper(args, vsyscall32); in do_full_vsyscall32()416 vsyscall32 = (void *)getauxval(AT_SYSINFO); in main()
