gettid.c File Reference

#include <stdio.h>
#include <sys/io.h>
#include "user/common/syscalls.h"

Go to the source code of this file.

Functions
tid_t	gettid (void)
	System call to retrieve the current tid.