I am trying to find the kernel function which the system call getpid() calls when it is invoked. However, when I look at the system call table all I am able to locate is the number associated with it (20) but no location of the file is given. Where would I have to look on the system to find this. Thank you!