l4_pf_trampoline_regs_t Struct Reference

Register state for page fault trampoline handlers. More...

#include <pf_trampoline.h>

Collaboration diagram for l4_pf_trampoline_regs_t:

Data Fields
l4_umword_t	pfa
	page fault address
l4_umword_t	ip
	instruction pointer of faulting instruction

Detailed Description

Register state for page fault trampoline handlers.

Definition at line 24 of file pf_trampoline.h.

---

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

• arm/l4/sys/arch/pf_trampoline.h
• arm64/l4/sys/arch/pf_trampoline.h
• amd64/l4/sys/arch/pf_trampoline.h
• x86/l4/sys/arch/pf_trampoline.h
• riscv/l4/sys/arch/pf_trampoline.h