1 2 3 4 5 6
/* This is a system call. We only have to provide the wrapper. */ int __getpid (void) { return getpid (); }