blob: 4e005e65f91738bceffc2048ebe9f0bdf4bd77a9 [file] [log] [blame]
#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