gettid.c File Reference

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

Include dependency graph for gettid.c:

Go to the source code of this file.

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