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

L4 Capability flexpage structure. More...

#include <__l4_fpage-32bit.h>

Data Fields
unsigned	grant:1
	Grant I/O page (send I/O flexpage).
unsigned	zero1:1
	Unused (no write permissions, must be 0).
unsigned	order:6
	Number of tasks (log2).
unsigned	one:4
	Unused (must be =1!).
unsigned	taskno:16
	Task number.
unsigned	f: 4
	Unused, must be 0xF.
unsigned long	grant:1
	Grant I/O page (send I/O flexpage).
unsigned long	zero1:1
	Unused (no write permissions, must be 0).
unsigned long	order:6
	Number of tasks (log2).
unsigned long	zero2:4
	Unused (must be 1).
unsigned long	taskno:16
	Task number.
unsigned long	f: 36
	Unused, must be 0xF.

---

Detailed Description

L4 Capability flexpage structure.

Definition at line 48 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