/* getpid.c - getpid */ #include <conf.h> #include <kernel.h> #include <proc.h> /*------------------------------------------------------------------------ * getpid -- get the process id of currently executing process *------------------------------------------------------------------------ */ SYSCALL getpid() { return(currpid); }