ref: adb4035a3ebf10016919dbdb940ca4770e9ecde6 dir: /sys/src/libc/9sys/getpid.c/
#include <u.h> #include <libc.h> #include <tos.h> int getpid(void) { return _tos->pid; }