#include <stddef.h>
#include <sys/syscall.h>
#include <sys/types.h>

/* Get the current process' id */
pid_t
getpid(void)
{
	int ret;
	asm volatile("int $0x80" : "=a" (ret) : "0" (SYSCALL_GETPID),
	             "c" (0), "S" (NULL));
	return ret;
}