pf_trampoline.h File Reference

Page fault trampoline handler definitions for ARM64. More...

Go to the source code of this file.

Data Structures
struct	l4_pf_trampoline_regs_t
	Register state for page fault trampoline handlers. More...

Detailed Description

Page fault trampoline handler definitions for ARM64.

Definition in file pf_trampoline.h.