l4_fpage_struct_t Struct Reference
[Fpage types for 32bit, Fpage types for 64bit]

L4 flexpage structure. More...

#include <__l4_fpage-32bit.h>

Data Fields
unsigned	grant:1
	Grant page (send flexpage).
unsigned	write:1
	Map writable (send flexpage).
unsigned	size:6
	Flexpage size (log2).
unsigned	zero:1
	Unused (must be 0).
unsigned	cache:3
	Cachebility options.
unsigned	page:20
	Page address.
unsigned long	page:52
	Page address.

---

Detailed Description

L4 flexpage structure.

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

---

Field Documentation

unsigned l4_fpage_struct_t::cache

Cachebility options.

Cachebility option.

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

---

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

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