#include <l4/sys/__l4_fpage-common.h>
Go to the source code of this file.
Data Structures | |
| struct | l4_fpage_struct_t |
| L4 flexpage structure. More... | |
| struct | l4_iofpage_struct_t |
| L4 I/O flexpage structure. More... | |
| struct | l4_capfpage_struct_t |
| L4 Capability flexpage structure. More... | |
| union | l4_fpage_t |
| L4 flexpage type. More... | |
Enumerations | |
| enum | { L4_WHOLE_ADDRESS_SPACE = 64 } |
| Constants for flexpages. More... | |
Functions | |
| l4_fpage_t | l4_fpage (unsigned long address, unsigned int size, unsigned char write, unsigned char grant) |
| Build flexpage descriptor. | |
| int | l4_is_io_page_fault (unsigned long address) |
| Test if fault address describes I/O pagefault. | |
| l4_fpage_t | l4_iofpage (unsigned port, unsigned int size, unsigned char grant) |
| Build I/O flexpage descriptor. | |
| l4_fpage_t | l4_capfpage (unsigned taskno, unsigned int order, unsigned char grant) |
| Build Cap flexpage descriptor. | |
Definition in file __l4_fpage-64bit.h.