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