blob: 3728c1aa694d451a70f34ea376e4ff0f602a8af4 [file] [log] [blame]
#include <unistd.h>
#include "syscall.h"
pid_t getpid(void) {
return __syscall(SYS_getpid);
}