#include "syscall.h"
DEFINE(__getpid)
SYSTEM(SYS_getpid)