l4_pf_trampoline_t Struct Reference

State for page fault trampoline handler. More...

#include <pf_trampoline.h>

Collaboration diagram for l4_pf_trampoline_t:

Data Fields
l4_umword_t	handler_ip
	instruction pointer of trampoline handler
l4_umword_t	user_data [2]
	for userland maintenance
l4_umword_t	saved_mr0
	MR[0] at entry of page fault handler.
l4_umword_t	flags
	See L4_pf_trampoline_flags.
l4_pf_trampoline_regs_tl4_pf_trampoline_regs_t	state
	register state at entry of PF handler

Detailed Description

State for page fault trampoline handler.

Definition at line 84 of file pf_trampoline.h.

---

The documentation for this struct was generated from the following file:

• l4/sys/pf_trampoline.h