#ifndef _X86_USERMODE_H_
#define _X86_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