arch_prctl.c File Reference

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

Include dependency graph for arch_prctl.c:

Go to the source code of this file.

Functions
uint64_t	arch_prctl (arch_prctl_t op, uintptr_t addr)
	System call for setting architecture specific thread data.