| #ifndef _USERMODE_H_ |
| #define _USERMODE_H_ |
| |
| #include "x86/msr.h" |
| #include "x86/processor.h" |
| #include "x86/apic-defs.h" |
| #include "x86/apic.h" |
| #include "x86/desc.h" |
| #include "x86/isr.h" |
| #include "alloc.h" |
| #include "setjmp.h" |
| |
| #include "libcflat.h" |
| #include <stdint.h> |
| |
| typedef uint64_t (*usermode_func)(void); |
| |
| /* |
| * Run function in user mode |
| * Supports running functions with up to 4 arguments. |
| * fault_vector: exception vector that might get thrown during the function. |
| * raised_vector: outputs true if exception occurred. |
| * |
| * returns: return value returned by function, or 0 if an exception occurred. |
| */ |
| uint64_t run_in_user(usermode_func func, unsigned int fault_vector, |
| uint64_t arg1, uint64_t arg2, uint64_t arg3, |
| uint64_t arg4, bool *raised_vector); |
| |
| #endif |