l4_fpage_t Union Reference
[Fpage types for 32bit, Fpage types for 64bit]

L4 flexpage type. More...

#include <__l4_fpage-32bit.h>

Data Fields
l4_umword_t	fpage
	Plain 32 bit value.
l4_umword_t	raw
	Raw value.
l4_fpage_struct_t	fp
	Flexpage structure.
l4_iofpage_struct_t	iofp
	I/O flexpage structure.
l4_capfpage_struct_t	capfp
	Capability flexpage structure.

---

Detailed Description

L4 flexpage type.

Definition at line 61 of file __l4_fpage-32bit.h.

---

Field Documentation

l4_umword_t l4_fpage_t::fpage

Plain 32 bit value.

Plain 64 bit value.

Definition at line 62 of file __l4_fpage-32bit.h.

Referenced by l4_is_io_page_fault().

---

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

• __l4_fpage-32bit.h
• __l4_fpage-64bit.h