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

L4 I/O 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	iosize:6
	I/O flexpage size (log2).
unsigned	zero2:4
	Unused (must be 0).
unsigned	iopage:16
	I/O flexpage base address.
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	iosize:6
	I/O flexpage size.
unsigned long	zero2:4
	Unused (must be 0).
unsigned long	iopage:16
	I/O flexpage base address.
unsigned long	f: 36
	Unused, must be 0xF.

---

Detailed Description

L4 I/O flexpage structure.

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