getpid.c File Reference

#include <stdio.h>
#include <sys/io.h>
#include "user/common/syscalls.h"

Go to the source code of this file.

Functions
pid_t	getpid (void)
	System call to retrieve the current pid.