/kernel/trunk/generic/include/userspace.h |
---|
29,8 → 29,10 |
#ifndef __USERSPACE_H__ |
#define __USERSPACE_H__ |
#include <proc/thread.h> |
#include <arch/types.h> |
extern void userspace(__address entry) __attribute__ ((noreturn)); /**< Switch to user-space (CPU user priviledge level) */ |
/** Switch to user-space (CPU user priviledge level) */ |
extern void userspace(uspace_arg_t *uarg) __attribute__ ((noreturn)); |
#endif |