user.h File Reference

Userland control mechanisms. More...

#include <kernel/types.h>
#include <kernel/error.h>

Include dependency graph for user.h:

Go to the source code of this file.

Detailed Description

• User/kernel buffer management
• User credentials