pf_trampoline.h File Reference

Page fault trampoline handlers. More...

#include <l4/sys/types.h>
#include <l4/sys/compiler.h>
#include <l4/sys/l4int.h>
#include <l4/sys/arch/pf_trampoline.h>

Include dependency graph for pf_trampoline.h:

Go to the source code of this file.

Data Structures
struct	l4_pf_trampoline_t
	State for page fault trampoline handler. More...

Typedefs
typedef struct l4_pf_trampoline_regs_t	l4_pf_trampoline_regs_t
	Opaque type for the page fault trampoline register state.
typedef struct l4_pf_trampoline_t	l4_pf_trampoline_t
	Opaque type for the page fault trampoline state.

Enumerations
enum	L4_pf_trampoline_flags { Page_fault_in_progress = 1 << 0 , Trigger_exception_after_resume = 1 << 1 }
	Definitions for l4_pf_trampoline_t::flags. More...

Detailed Description

Page fault trampoline handlers.

Definition in file pf_trampoline.h.