Having trouble finding the method __kernel_vsyscall within the Linux kernel

Question

I am looking for the __kernel_vsyscall method within the linux kernel which is used to make system calls. I would like to observe its code to learn more about it, but my gre

Answer 1

Amusingly in your internet searches you didn't think to search stackoverflow.com: What is __kernel_vsyscall?

To answer your more specific question it looks like the symbol itself is defined in (for x86) arch/x86/vdso. It's in assembly, not C.